aaai 1987 论文列表Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, WA, USA, July 1987. |
Design as Refinement Plus Constraint Propagation: The VEXED Experience.
Assessing the Maintainability of XCON-in-RIME: Coping with the Problems of a VERY Large Rule-Base.
Script-based Reasoning for Situation Monitoring.
TEST: A Model-driven Application Shell.
An Automated Reasoning Technique for Providing Moment-by-Moment Advice Concerning the Operation of a Process.
KADBASE - A Prototype Expert System-Database Interface for Integrated CAE Environments.
A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits.
CAMEX - An Expert System for Process Planning on CNC Machines.
Diagnostic Improvement through Qualitative Sensitivity Analysis and Aggregation.
MU: A Development Environment for Prospective Reasoning Systems.
Data Validation during Diagnosis: A Step beyond Traditional Sensor Validation.
Visual Estimation of 3-D Line Segments from Motion - A Mobile Robot Vision System.
Perceptual Significance Hierarchy: A Computer Vision Theory for Color Separation.
Shadow Stereo-Locating Object Boundaries Using Shadows.
Energy Constraints on Deformable Models: Recovering Shape and Non-Rigid Motion.
Regularization Uses Fractal Priors.
Bounds on Translational and Angular Velocity Components from First Order Derivatives of Image Flow.
Closed Form Solution to the Structure from Motion Problem from Line Correspondences.
Range Image Interpretation of Mail Pieces with Superquadrics.
Similitude-Invariant Pattern Recognition Using Parallel Distributed Processing.
An Integrated System that Unifies Multiple Shape from Texture Algorithms.
Hypothesis Testing in a Computational Theory of Visual Word Recognition.
Detecting Runways in Aerial Images.
Using Generic Geometric Models for Intelligent Shape Extraction.
The Sensitivity of Motion and Structure Computations.
Insertions Using Geometric Analysis and Hybrid Force-Position Control on a PUMA 560 with VAL II.
Qualitative Landmark-based Path Planning and Following.
Visual Grammars for Visual Languages.
Reactive Reasoning and Planning.
An Architecture for Intelligent Task Automation.
Extracting Qualitative Dynamics from Numerical Experiments.
Probabilistic Semantics for Qualitative Influences.
Piecewise Linear Reasoning.
Hierarchical Reasoning about Inequalities.
Reasoning about Discontinuous Change.
PROMPT: An Innovative Design Tool.
Making Partial Choices in Constraint Reasoning Problems.
Reasoning with Orders of Magnitude and Approximate Relations.
Abstraction by Time-Scale in Qualitative Simulation.
Critical Hypersurfaces and the Quantity Space.
Shape and Function in Mechanical Devices.
Explanation-based Failure Recovery.
Troubleshooting: When Modeling Is the Trouble.
Extending the Mathematics in Qualitative Process Theory.
Reasoning about Fluids via Molecular Collections.
Nondestructive Graph Unification.
Memory-based Reasoning Applied to English Pronunciation.
Ambiguity Procrastination.
The Acquisition of Conceptual Structure for the Lexicon.
Inference in Text Understanding.
Porting and Extensible Natural Language Interface: A Case History.
Word-Order Variation in Natural Language Generation.
Interpretation in Generation.
Recovering from Erroneous Inferences.
UNITRAN: An Interlingual Approach to Machine Translation.
Interpreting Clues in Conjunction with Processing Restrictions in Arguments and Discourse.
Optimizing the Predictive Value of Diagnostic Decision Rules.
BAGGER: An EBL System that Extends and Generalizes Explanations.
Learning and Representation Change.
A Declarative Approach to Bias in Concept Learning.
Knowledge Level Learning in Soar.
PROLEARN: Towards a Prolog Interpreter that Learns.
A KNACK for Knowledge Acquisition.
Defining Operationality for Explanation-based Learning.
Formulating Concepts According to Purpose.
An Experimental Comparison of Knowledge Engineering for Expert Systems and for Decision Analysis.
Learning Conjunctive Concepts in Structural Domains.
Improving Inference through Conceptual Clustering.
Learning to Control a Dynamic Physical System.
Assimilation: A Strategy for Implementing Self-Reorganizing Knowledge Bases.
Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults.
Curing Anomalous Extensions.
Algorithm Synthesis through Problem Reformulation.
All I Know: An Abridged Report.
Complexity in Classificatory Reasoning.
TAXI: A Taxonomic Assistant.
Intention = Choice + Commitment.
Representing Databases in Frames.
Partial Compilation of Strategic Knowledge.
The Goal/Subgoal Knowledge Representation for Real-Time Process Monitoring.
A Theory of Default Reasoning.
Default Reasoning through Belief Revision Strategy.
The Logic of Representing Dependencies by Directed Graphs.
Embracing Causality in Formal Reasoning.
Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report).
A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks.
More on Inheritance Hierarchies with Exceptions: Default Theories and Inferential Distance.
Counterfactual Reasoning with Direct Models.
An Approach to Default Reasoning Based on a First-Order Conditional Logic.
Incremental Inference: Getting Multiple Agents to Agree on What to Do Next.
Goal-based Generation of Motivational Expressions in a Learning Environment.
Analogical Processing: A Simulation and Empirical Corroboration.
Information Retrieval from Never-Ending Stories.
AQUA: Asking Questions and Understanding Answers.
Material Handling: A Conservative Domain for Neural Connectivity and Propagation.
Case-based Problem Solving with a Large Knowledge Base of Learned Cases.
Rules for the Implicit Acquisition of Knowledge about the User.
A Mechanism for Early Piagetian Learning.
Reducing Indeterminism in Consultation: A Cognitive Model of User/Librarian Interactions.
Modular Learning in Neural Networks.
Compare and Contrast: A Test of Expertise.
Pengi: An Implementation of a Theory of Activity.
Validating Generalized Plans in the Presence of Incomplete Information.
The Satisfiability of Temporal Constraint Networks.
The Consistent Labeling Problem in Temporal Reasoning.
A Model for Concurrent Actions Having Temporal Extent.
Localized Representation and Planning Methods for Parallel Domains.
Models of Axioms for Time Intervals.
Compiling Plan Operators from Domains Expressed in Qualitative Process Theory.
Using Goal Interactions to Guide Planning.
Simple Causal Minimizations for Temporal Persistence and Projection.
Possible Worlds and the Qualification Problem.
On Stratified Autoepistemic Theories.
An Investigation into Reactive Planning in Complex Domains.
Incremental Causal Reasoning.
Reasoning about Exceptions during Plan Execution Monitoring.
Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report.
A Parallel Implementation of Iterative-Deepening-A*.
Efficiency Analysis of Multiple-Context TMSs in Scene Representation.
Revised Dependencydirected Backtracking for Default Reasoning.
Path Dissolution: A Strongly Complete Rule of Inference.
The Deductive Synthesis of Imperative LISP Programs.
Synthesizing Algorithms with Performance Constraints.
A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts.
Reasoning in the Presence of Inconsistency.
Real-Time Heuristic Search: First Results.
Inferring Formal Software Specifications from Episodic Descriptions.
On the Expressiveness of Rule-based Systems for Reasoning with Uncertainty.
Filming a Terrain under Uncertainty Using Temporal and Probahilistic Reasoning.
Computational Costs versus Benefits of Control Reasoning.
Removing Redundancies in Constraint Networks.
Comparing Minimax and Product in a Variety of Games.
Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching.
A Model of Two-Player Evaluation Functions.
Building a Community Memory for Intelligent Tutoring Systems.
Plan Inference and Student Modeling in ICAI.
An Intelligent Tutoring System for Interpreting Ground Tracks.
From Intelligent Tutoring to Computerized Psychotherapy.
Non-Deterministic Lisp with Dependency-directed Backtracking.
CP as a General-Purpose Constraint-Language.
Joshua: Uniform Access to Heterogeneous Knowledge Structures, or why Joshing Is Better than Conniving or Planning.
TREAT: A Better Match Algorithm for AI Production System Matching.
A Multiprocessor Architecture for Production System Matching.
Integrating Diverse Reasoning Methods in the BB1 Blackboard Control Architecture.
Forward Chaining Logic Programming with the ATMS.
Achieving Flexibility, Efficiency, and Generality in Blackboard Architectures.
A Parallel Resolution Procedure Based on Connection Graph.
CCLISP™ on the iPSC™ Concurrent Computer.
Recent Developments in Butterfly™ Lisp.