aaai 1983 论文列表Proceedings of the National Conference on Artificial Intelligence, Washington, D.C., USA, August 22-26, 1983. |
IMPULSE: A Display Oriented Editor for STROBE.
Knowledge-Based Programming Using Abstract Data Types.
An Object-Oriented Simulator for the Apiary.
Specification-Based Computing Environments.
YAPS: A Production Rule System Meets Objects.
Massively Parallel Architectures for AI: NETL, Thistle, and Boltzmann Machines.
Predicting the Performance of Distributed Knowledge-Based Systems: A Modeling Approach.
Intelligent Control Using Integrity Constraints.
Non-Minimax Search Strategies for Use Against Fallible Opponents.
The Composite Decision Process: A Unifying Formulation for Heuristic Search, Dynamic Programming and Branch & Bound Procedures.
Solving the General Consistent Labeling (or Constraint Satisfaction) Problem: Two Algorithms and Their Expected Complexities.
The Optimality of A* Revisited.
A Theory of Game Trees.
Abstract Explanations of Strategy in a Diagnostic Consultation System.
Using Structural and Functional Information in Diagnostic Design.
TALIB: An IC Layout Design Assistant.
An Intelligent Aid for Circuit Redesign.
Tom M. Mitchell Louis I. Steinberg Smadar T. Kedar-Cabelli Van E. Kelly Jeffrey S. Shulman Timothy Weinrich
Analysis of Physiological Behavior Using a Causal Model Based on First Principles.
A New Inference Method for Frame-Based Expert Systems.
Diagnosis Via Causal Reasoning: Paths of Interaction and the Locality Principle.
Expert System Consultation Control Strategy.
A Rule-Based Approach to Information Retrieval: Some Results and Comments.
A Comparative Study of Control Strategies for Expert Systems: Age Implementation of Three Variations of PUFF.
The GIST Behavior Explainer.
The Advantages of Abstract Control Knowledge in Expert System Design.
The Design of a Legal Analysis Program.
An Analysis of Genetic-Based Pattern Tracking and Cognitive-Based Component Tracking Models of Adaptation.
A Doubly Layered, Genetic Penetrance Learning System.
Learning: The Construction of A Posteriori Knowledge Structures.
Learning by Re-Expressing Concepts for Efficient Recognition.
Generating Hypotheses to Explain Prediction Failures.
A Problem-Solver for Making Advice Operational.
Learning Physical Descriptions From Functional Definitions, Examples, and Precedents.
Why AM and Eurisko Appear to Work.
Schema Selection and Stochastic Inference in Modular Environments.
Operator Decomposability: A New Type of Problem Structure.
A Production System for Learning Plans From an Expert.
Human Procedural Skill Acquisition: Theory, Model and Psychological Validation.
Episodic Learning.
Interactive Script Instantiation.
An Overview of the Penman Text Generation System.
QE-III: A Formal Approach to Natural Language Ouerying.
Constraining a Deterministic Parser.
Mapping Between Semantic Representations Using Horn Clauses.
Inference-Driven Semantic Analysis.
MCHART: A Flexible, Modular Chart Parsing System.
Deterministic and Bottom-Up Parsing in Prolog.
Phonotactic and Lexical Constraints in Speech Recognition.
RESEARCHER: An Overview.
Reasons for Beliefs in Understanding: Applications of Non-Monotonic Dependencies to Story Processing.
Tracking User Goals in an Information-Seeking Environment.
Repairing Miscommunication: Relaxation in Reference.
Recursion in TEXT and Its Use in Language Generation.
Rule Based Strategies for Image Interpretation.
Find-Path for a PUMA-Class Robot.
Appropriate Lengths Between Phalanges of Multijointed Fingers for Stable Grasping.
A Design Method for Relaxation Labeling Applications.
Model-Based Interpretation of Range Imagery.
Perceptual Organization as a Basis for Visual Recognition.
Two Results Concerning Ambiguity in Shape From Shading.
An Iterative Method for Reconstructing Convex Polyhedra From External Guassian Images.
Surface Constraints From Linear Extents.
A Variational Approach to Edge Detection.
An Analysis of a Welfare Eligibility Determination Interview: A Planning Approach.
Learning Operator Semantics by Analogy.
STRATEGIST: A Program That Models Strategy-Driven and Content-Driven Inference Behavior.
Modeling Human Knowledge of Routes: Partial Knowledge and Individual Variation.
A Model of Learning by Incremental Analogical Reasoning and Debugging.
Planning and Goal Interaction: The Use of Past Solutions in Present Situations.
Six Problems for Story Understanders.
Three Dimensions of Design Development.
Derivational Analogy and Its Role in Problem Solving.
A Theorem-Prover for a Decidable Subset of Default Logic.
Default Reasoning Using Monotonic Logic: A Modest Proposal.
Default Reasoning as Likelihood Reasoning.
On Inheritance Hierarchies With Exceptions.
An Automatic Algorithm Designer: An Initial Implementation.
The Use of Qualitative and Quantitative Simulations.
Reasoning About State From Causation and Time in a Medical Domain.
The Decomposition of a Large Domain: Reasoning About Machines.
A Chess Program That Chunks.
Proving the Correctness of Digital Hardware Designs.
Analyzing the Roles of Descriptions and Actions in Open Systems.
The Bayesian Basis of Common Sense Medical Diagnosis.
Improving the Expressiveness of Many Sorted Logic.
Theory Resolution: Building in Nonequational Theories.
The Denotational Semantics of Horn Clauses as a Production System.
KRYPTON: Integrating Terminology and Assertion.
Data Dependencies on Inequalities.
Communication and Interaction in Multi-Agent Planning.
Finding All of the Solutions to a Problem.
An Overview of Meta-Level Architecture.