Book One
Expert Systems
A Comparative Study of Control Strategies for Expert Systems: Age Implementation of Three Variations of PUFF
PDFThe Advantages of Abstract Control Knowledge in Expert System Design
PDFDiagnosis Via Causal Reasoning: Paths of Interaction and the Locality Principle
PDFThe Design of a Legal Analysis Program
PDFThe GIST Behavior Explainer
PDFUsing Structural and Functional Information in Diagnostic Design
PDFAbstract Explanations of Strategy in a Diagnostic Consultation System
PDFTALIB: An IC Layout Design Assistant
PDFAnalysis of Physiological Behavior Using a Causal Model Based on First Principles
PDFAn Intelligent Aid for Circuit Redesign
PDFA New Inference Method for Frame-Based Expert Systems
PDFExpert System Consultation Control Strategy
PDFA Rule-Based Approach to Information Retrieval: Some Results and Comments
PDF
Support Hardware and Software
IMPULSE: A Display Oriented Editor for STROBE
PDFYAPS: A Production Rule System Meets Objects
PDFSpecification-Based Computing Environments
PDFMassively Parallel Architectures for Al: NETL, Thistle, and Boltzmann Machines
PDFAn Object-Oriented Simulator for the Apiary
PDFKnowledge-Based Programming Using Abstract Data Types
PDF
Natural Language
An Overview of the Penman Text Generation System
PDFRecursion in TEXT and Its Use in Language Generation
PDFReasons for Beliefs in Understanding: Applications of Non-Monotonic Dependencies to Story Processing
PDFInference-Driven Semantic Analysis
PDFInteractive Script Instantiation
PDFDeterministic and Bottom-Up Parsing in Prolog
PDFMCHART: A Flexible, Modular Chart Parsing System
PDFMapping Between Semantic Representations Using Horn Clauses
PDFConstraining a Deterministic Parser
PDFTracking User Goals in an Information-Seeking Environment
PDFQE-III: A Formal Approach to Natural Language Querying
PDFRepairing Miscommunication: Relaxation in Reference
PDFPhonotactic and Lexical Constraints in Speech Recognition
PDFRESEARCHER: An Overview
PDF
Knowledge Representation and Problem Solving
Theory Resolution: Building in Nonequational Theories
PDFAnalyzing the Roles of Descriptions and Actions in Open Systems / 162
PDFThe Decomposition of a Large Domain: Reasoning about Machines
PDFFinding All of the Solutions to a Problem
PDFThe Use of Qualitative and Quantitative Simulations
PDFDefault Reasoning as Likelihood Reasoning
PDFDefault Reasoning Using Monotonic Logic: A Modest Proposal
PDFData Dependencies on Inequalities
PDFReasoning about State From Causation and Time in a Medical Domain
PDFThe Denotational Semantics of Horn Clauses as a Production System
PDFAn Automatic Algorithm Designer: An Initial Implementation
PDFProving the Correctness of Digital Hardware Designs
PDFCommunication and Interaction in Multi-Agent Planning
PDFAn Overview of Meta-Level Architecture
PDFOn Inheritance Hierarchies with Exceptions
PDFImproving the Expressiveness of Many Sorted Logic
PDFThe Bayesian Basis of Common Sense Medical Diagnosis
PDFDerivational Analogy and Its Role in Problem Solving
PDFA Chess Program That Chunks
PDFKRYPTON: Integrating Terminology and Assertion
PDFA Theorem-Prover for a Decidable Subset of Default Logic
PDF
Learning
A Production System for Learning Plans from an Expert
PDFLearning by Re-Expressing Concepts for Efficient Recognition
PDFEpisodic Learning
PDFOperator Decomposability: A New Type of Problem Structure
PDFWhy AM and Eurisko Appear to Work
PDFA Problem-Solver for Making Advice Operational
PDFAn Analysis of Genetic-Based Pattern Tracking and Cognitive-Based Component Tracking Models of Adaptation
PDFA Doubly Layered, Genetic Penetrance Learning System
PDFGenerating Hypotheses to Explain Prediction Failures
PDFLearning: The Construction of A Posteriori Knowledge Structures
PDFSchema Selection and Stochastic Inference in Modular Environments
PDFHuman Procedural Skill Acquisition: Theory, Model and Psychological Validation
PDFLearning Physical Descriptions From Functional Definitions, Examples, and Precedents
PDF
Vision and Robotics
Two Results Concerning Ambiguity in Shape From Shading
PDFFind-Path for a PUMA-Class Robot
PDFA Variational Approach to Edge Detection
PDFA Design Method for Relaxation Labeling Applications
PDFSurface Constraints from Linear Extents
PDFModel-Based Interpretation of Range Imagery
PDFAn Iterative Method for Reconstructing Convex Polyhedra from External Guassian Images
PDFPerceptual Organization as a Basis for Visual Recognition
PDFAppropriate Lengths between Phalanges of Multijointed Fingers for Stable Grasping
PDFRule Based Strategies for Image Interpretation
PDF
Cognitive Modeling
Learning Operator Semantics by Analogy
PDFThree Dimensions of Design Development
PDFSTRATEGIST: A Program That Models Strategy-Driven and Content-Driven Inference Behavior
PDFPlanning and Goal Interaction: The Use of Past Solutions in Present Situations
PDFModeling Human Knowledge of Routes: Partial Knowledge and Individual Variation
PDFSix Problems for Story Understanders
PDFAn Analysis of a Welfare Eligibility Determination Interview: A Planning Approach
PDFA Model of Learning by Incremental Analogical Reasoning and Debugging
PDF
Search
The Optimality of A + Revisited
PDFIntelligent Control Using Integrity Constraints
PDFThe Composite Decision Process: A Unifying Formulation for Heuristic Search, Dynamic Programming and Branch & Bound Procedures +
PDFSolving the General Consistent Labeling (or Constraint Satisfaction) Problem: Two Algorithms and Their Expected Complexities
PDFPredicting the Performance of Distributed Knowledge-Based Systems: A Modeling Approach
PDFNon-Minimax Search Strategies for Use Against Fallible Opponents
PDFA Theory of Game Trees
PDF