aaai 1988 论文列表Proceedings of the 7th National Conference on Artificial Intelligence, St. Paul, MN, USA, August 21-26, 1988. |
How to Draw Three People in a Botanical Garden.
Future Intelligent Information Systems: AI and Database Technologies Working Together.
Performance of a System to Locate Address Blocks on Mail Pieces.
Feature Recognition Using Correlated Information Contained in Multiple Neighborboods.
On the Extraction of Shape Information from Shading.
Multi-Modal References in Human-Computer Dialogue.
Specification by Reformulation: A Paradigm for Building Integrated User Support Environments.
Automatic Construction of User-Interface Displays.
Knowledge-Based Spreadsheets.
Situated Vision in a Dynamic World: Chasing Objects.
Connectionist Networks for Learning Coordinated Motion in Autonomous Systems.
Inferring Ignorance from the Locality of Visual Perception.
Subassembly Stability.
A Robust, Qualitative Method for Robot Spatial Learning.
Reasoning About Grasping.
Compliance Viewed as Programming a Damped Spring.
Exploiting User Expertise in Answer Expression.
Beyond Semantic Ambiguity.
The Interpretation of Temporal Relations in Narrative.
Acquiring Lexical Knowledge from Text: A Case Study.
Data-Driven Execution of Multi-Layered Networks for Automatic Speech Recognition.
Using Dialog-Level Knowledge Sources to Improve Speech Recognition.
The Integration of Unification-Based Syntax/Semantics and Memory-Based Pragmatics for Real-Time Understanding of Noisy Continuous Speech Input.
Principle-Based Interpretation of Natural Language Quantifiers.
Representing Pronouns in Logical Form: Computational Constraints and Linguistic Evidence.
The Challenge of Real-Time Process Control for Production Systems.
Optimizing Rules in Production System Programs.
Comparison of the Rete and Treat Production Matchers for Soar.
Suitability of Message Passing Computers for Implementing Production Systems.
Parallel Hardware for Constraint Satisfaction.
A Tree Representation for Parallel Problem Solving.
Tuning a Blackboard-Based Application: A Case Study Using GBB.
Knowledge-Based Real-Time Control: A Parallel Processing Perspective.
Generality versus Specificity: An Experience with AI and OR Techniques.
Towards a Virtual Parallel Inference Engine.
Knowledge Base Refinement Using Apprenticeship Learning Techniques.
Tree-Structured Bias.
Learning Complicated Concepts Reliably and Usefully.
Functionality in Neural Nets.
Infering Probabilistic Theofies from Data.
Recovery from Incorrect knowledge in Soar.
Combining Symbolic Learning Techniques and Statistical Regression Analysis.
Bayesian Classification.
Perceptron Trees: A Case Study In Hybrid Concept Representations.
Credit Assignment in Genetic Learning Systems.
Theory Revision via Prior Operationalization.
Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy.
Some Philosophical Problems with Formal Learning Theory.
IMEX: Overcoming Intactability In Explanation Based Learning.
Approximate Theory Formation: An Explanation-Based Approach.
Quantitative Results Concerning the Utility of Explanation-Based Learning.
The Automatic Acquisition of Proof Methods.
Simulation-Assisted Inductive Learning.
Parsing to Learn Fine Gralned Rules.
Explanation-Based Indexing of Cases.
Learning from Opportunities: Storing and Re-using Execution-Time Optimizations.
The Utility of Difference-Based Reasoning.
Probabilistic Temporal Reasoning.
Why Things Go Wrong: A Formal Theory of Causal Reasoning.
Satisfying First-Order Constraints About Time Intervals.
Stable Closures, Defeasible Logic and Contradiction Tolerant Reasoning.
Representing and Computing Temporally Scoped Beliefs.
The Persistence of Derived Information.
Normal Multimodal Logics.
Adding Number Restrictions to a Four-Valued Terminological Logic.
A Logic for Hypothetical Reasoning.
Investigations into a Theory of Knowledge Base Revision.
A Circumscriptive Theorem Prover.
Some Computational Aspects of Circumscription.
On Reducing Parallel Circumscription.
Compiling Circumscriptive Theories into Logic Programs.
On the Logic of Defaults.
On the Relationship Between Logic Programming and Nonmonotonic Reasoning.
Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning.
Nonmonotonic Inheritance and Generic Reflexives.
Mixing Strict and Defeasible Inheritance.
Tractable Theories of Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics.
Beyond ISA: Structures for Plausible Inference In Semantic Networks.
A Model and Representation for Type Information and Its Use in Reasoning with Defaults.
A Deductive Pattern Matcher.
Mechanisms for Reasoning about Sets.
Overview of an Approach to Representation Design.
Representing Genetic Information with Formal Grammars.
How to Print a File: An Expert System Approach to Software Knowledge Representation.
Robust Operative Diagnosis as Problem Solving in a Hypothesis Space.
Specialized Strategies: An Altenative to First Principles in Diagnostic Problem Solving.
Design for Testability.
The Induction of Fault Diagnosis Systems from Qualitative Models.
From Kinematics to Shape: An Approach to Innovative Design.
Function Sharing in Mechanical Design.
Upgrading Design Systems.
Assembling a Device.
Using Incomplete Quantitative Knowledge In Qualitative Reasoning.
Controlling Qualitative Resolution.
Causal Ordering in a Mixed Structure.
Formal Basis for Commonsense Abstraction of Dynamic Systems.
Setting up Large-Scale Qualitative Models.
Qualitative Reasoning at Multiple Resolutions.
Exaggeration.
Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation.
Generating Global Behaviors using Deep knowledge of Local Dynamics.
Global Filters for Qualitative Behaviors.
A Qualitative Approach to Mechanical Constraint.
MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning.
Reasoning about Evidence in Causal Explanations.
Evaluating Explanations.
Resolving Goal Conflicts via Negotiation.
Waiting on Weighting: A Symbolic Least Commitment Approach.
A Computational Account of Basic Level and Typicality Effects.
Ethical Understanding: Recognizing and Using Belief Conflict in Narrative Processing.
Learning a Second Language.
A Note on Probabilistic Logic.
Belief Maintenance: An Integrated Approach to Uncertainty Management.
Evidential Reasoning Using DELEF.
Massively Parallel Assumption-Based Truth Maintenance.
Focusing the ATMS.
A General Labeling Algorithm for Assumption-Based Truth Maintenance.
An Efficient ATMS for Equivalence Relations.
A General Proof Method for Modal Predicate Logic without the Barcan Formula.
Tableau-Based Theorem Proving In Normal Conditional Logics.
Goal-Directed Equation Solving.
Using Specialists to Accelerate General Reasoning.
A Rearrangement Search Strategy for Determining Propositional Satisfiability.
Tree-Clustering Schemes for Constraint-Processing.
An Exact Best-First Search Procedure for the Constrained Rectangular Guillotine Knapsack Problem.
Real-Tme Heuristic Search: New Results.
Some Experiments with Case-Based Search.
Distributed Tree Search and Its Application to Alpha-Beta Pruning.
Parallel Best-First Search of State-Space Graphs: A Summary of Results.
Conflict Resolution in Fuzzy Forward-Chaining Production Systems.
Reasoning under Varying and Uncertain Resource Constraints.
Geometric Reasoning and Organized Optimization for Automated Process Planning.
Plan Abstraction Based on Operator Generalization.
A Theory of Debugging Plans and Interpretations.
Reasoning about Action Using a Possible Models Approach.
Integrating Planning, Execution and Monitoring.
Reactive Plan Revision.
Intelligent Real-Time Monitoring.
Predictability Versus Responsiveness: Coordinating Problem Solvers in Dynamic Domains.
Goals as Parallel Program Specifications.
Extending Conventional Planning Techniques to Handle Actions with Context-Depen dent Effects.
An Analysis of Time-Dependent Planning.
Prevention Techniques for a Temporal Planner.
Belief Maintenance in Dynamic Constraint Networks.
FRM: An Intelligent Assistant for Financial Resource Management.
Andrew Gelman Susan Altman Matt Pallakoff Ketan Doshi Catherine Manago Thomas C. Rindfleisch Bruce G. Buchanan
Dominic II: Meta-Level Control in Iterative Redesign.
Being Suspicious: Critiquing Problem Specifications.
Invariant Logic: A Calculus for Problem Reformulation.
Integrating Multiple Sources of Knowledge Into Designer Soar, an Automatic Algorithm Designer.
Facilitating Self-Education by Questioning Assumptive Reasoning.