aaai2

aaai 1982 论文列表

Proceedings of the National Conference on Artificial Intelligence, Pittsburgh, PA, USA, August 18-20, 1982.

Foundations of Envisioning.
The Role of Logic in Knowledge Representation and Commonsense Reasoning.
Efficient Minimum Information Updating for Bayesian Inferencing in Expert Systems.
Monitors as Responses to Questions: Determining Competence.
Circumscription Implies Predicate Completion (Sometimes).
Acquisition of Appropriate Bias for Inductive Concept Learning.
Automatic Schema Acquisition in a Natural Language Environment.
GIST English Generator.
Using Temporal Abstraction to Understand Recursive Programs Involving Side Effects.
Stability of Automatic Guidance for a Mobile Robot.
An Efficient Collision Warning Algorithm for Robot Arms.
Development of an Overall Direction-of-Action Sensor for Robots.
Final Position Control in Planar Horizontal Arm Movements.
Solving the Find-Path Problem by Good Representation of Free Space.
The CMU Rover.
Graphical Animation From Knowledge.
ARBY: Diagnosis With Shallow Causal Models.
An Overview of PhiNIX.
Toward a Learning of Object Models Using Analogical Objects and Verbal Instruction.
User Participation in the Reasoning Processes of Expert Systems.
Induction of Causal Relationships From a Time-Oriented Clinical Database: An Overview of the RX Project.
Deep Versus Compiled Knowledge Approaches to Diagnostic Problem-Solving.
Information Acquisition in Diagnosis.
SPEX: A Second-Generation Experiment Design System.
An Expert System That Volunteers Advice.
Plan Recognition Strategies in Student Modeling: Prediction and Description.
SWIRL: An Object-Oriented Air Battle Simulator.
Frame-Based Computer Network Monitoring.
Building Expert Systems for Controlling Complex Programs.
Expert Systems: A User's Perspective of Some Current Tools.
RABBIT: An Intelligent Database Assistant.
Removing Restrictions in the Relational Data Base Model: An Application of Problem Solving Techniques.
Knowledge Management: A Practical Amalgam of Knowledge and Data Base Technology.
A CSA Model-Based Nuclear Power Plant Consultant.
REACTOR: An Expert System for Diagnosis and Treatment of Nuclear Reactor Accidents.
IDT: An Intelligent Diagnostic Tool.
The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications.
Diagnosis Using Hierarchical Design Models.
The Role of Experience in Development of Expertise.
On Being Contradictory.
Affect Processing for Narratives.
Plan Understanding, Narrative Comprehension, and Story Schemas.
Route Finding in Street Maps by Computers and People.
Learning by Chunking: Summary of a Task and a Model.
Why Do Children Misunderstand Reversible Passives? The CHILD Program Learns to Understand Passive Sentences.
Toward Connectionist Parsing.
DADO: A Tree-Structured Machine Architecture for Production Systems.
GLISP: A High-Level Language for A.I. Programming.
Multiple Inheritance in Smalltalk-BO.
A Nonclausal Connection-Graph Resolution Theorem-Proving Program.
Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover.
Inheritance of Statistical Properties.
PLANT/ds Revisited: Non-Homogeneous Evaluation Schema in Expert Systems.
The QBKG System: Generating Explanations From a Non-Discrete Knowledge Representation.
Getting the Envisionment Right.
Modeling Motion With Qualitative Process Theory.
Circumscriptive Ignorance.
A System for Reasoning About Time.
Knowledge Representation Languages and Predicate Calculus: How to Have Your Cake and Eat It Too.
Competence in Knowledge Representation.
PANDORA: A Program for Doing Commonsense Planning in Complex Situations.
A Framework for Distributed Problem Solving.
Scenarios as an Aid to Planning.
Error Detection and Recovery in a Dynamic Planning Environment.
Experiential Learning in Analogical Problem Solving.
A Program That Learns to Solve Rubik's Cube.
Heuretics: Theoretical and Experimental Study of Heuristic Rules.
Job-Shop Scheduling: An Investigation in Constraint-Directed Reasoning.
Spatial and Temporal Reasoning in Geologic Map Interpretation.
Knowledge Integration in Text Recognition.
Unifying Data-Directed and Goal-Directed Control: An Example and Experiments.
Diagnosis Based on Description of Structure and Function.
Reverend Bayes on Inference Engines: A Distributed Hierarchical Approach.
Consistent-Labeling Problems and Their Algorithms.
Evaluating Search Methods Analytically.
A General Paradigm for A.I. Search Procedures.
Synchronization of Multi-Agent Plans.
A Search Procedure for Perfect Information Games of Chance: Its Formulation and Analysis.
An Expert System for Interpreting Speech Patterns.
Talking to UNIX in English: An Overview of UC.
Word Learning With Hierarchy-Guided Inference.
Word Sense and Case Slot Disambiguation.
A Synthetic Approach to Temporal Information Processing.
An Explanation for Minimal Attachment and Right Association.
Event Shape Diagrams.
Conceptual Dependency and Montague Grammar: A Step Toward Conciliation.
Salience as a Simplifying Metaphor for Natural Language Generation.
Dividing Up the Question Answering Process.
ARGOT: The Rochester Dialogue System.
Argument Molecules: A Functional Representation of Argument Structure.
Planning Natural-Language Utterances.
Determining Surface Type From Surface Normals.
A Systematic Approach to Continuous Graph Labeling With Application to Computer Vision.
A Corner Finding Algorithm for Image Analysis and Registration.
Segmentation of Images Into Regions Using Edge Information.
Intensity-Based Edge Classification.
Modeling and Using Physical Constraints in Scene Analysis.
Edge Detection in Optical Flow Fields.
Local Computation of Shape.
A Model Based Vision System for Recognition of Machine Parts.
Tracking Known Three-Dimensional Objects.
Why Perspective Is Difficult: How Two Algorithms Fail.
Representing Smooth Plane Curves for Recognition: Implications for Figure-Ground Reversal.
The Role of Eye Position Information in Algorithms for Stereoscopic Matching.