An Assumption-Based TMS
Explore this paper's citation graph
Summary
A new view of problem solving motivated by a new kind of truth maintenance system based on manipulating assumption sets is presented, which is possible to work effectively and efficiently with inconsistent information, context switching is free, and most backtracking is avoided.
- Type
- article
- Published
- 1987-10-01
- Cited by
- 2,012
- References
- 24
- OpenAlex
- https://openalex.org/W2147096558
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:17681414
Keywords
Backtracking, Computer science, Architecture, Context (archaeology), Artificial intelligence
References
- Choices Without Backtracking
- An Outlook on Truth Maintenance.
- Reasoning Utility Package User's Manual, Version One
- Causal and Teleological Reasoning In Circuit Recognition
- Local Methods for Localizing Faults in Electronic Circuits
- Reasoning in Multiple Belief Spaces
- QA4: A Procedural Calculus for Intuitive Reasoning.
- A Three Valued Truth Maintenance System.
- Pedagogical, natural language, and knowledge engineering techniques in SOPHIE-I, II and III
- A Truth Maintenance System
- Propagation of constraints applied to circuit synthesis
- How Circuits Work
- Extending the ATMS
- A Qualitative Physics Based on Confluences
- Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis
- Problem Solving with the ATMS
- Contexts and Data Dependencies: A Synthesis
- The definition and implementation of a computer programming language based on constraints
- Diagnosing Multiple Faults
- A Logic for Default Reasoning
Cited by
- Exploiting System Structure in Model-Based Diagnosis of Discrete-Event Systems
- Theory Reduction, Theory Revision, and Retranslation
- On the Value of Stochastic Abduction (if you fix everything, you lose fixes for everything else)
- Qualitative Reasoning with Microscopic Theories
- Model-Based Diagnosis using Causal Networks
- Physiological applications of consistency-based diagnosis
- Résolution de problèmes combinatoires par des approches fondées sur la notion d'explication
- A Model of Redundant Information in Dialogue: The Role of Resource Bounds (Dissertation Proposal)
- Correctness of Constraint Retraction Algorithms
- Expressive syndication on the web using a description logic-based approach
- Extending the BDI architecture with commitments
- QUALITATIVE KNOWLEDGE IN A DIAGNOSTIC EXPERT SYSTEM FOR NUCLEAR POWER PLANT SAFETY
- Diagnosis of Complex Systems: Bridging the Methodologies of the FDI and DX Communities
- Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00
- Synthesizing Algorithms with Performance Constraints
- Supporting rescheduling using CSP, RMS and POB—an example application
- How to Exploit Ontologies for Trust Negotiation
- Dominance and Subsumption in Constraint-Posting Planning
- Formal order-of-magnitude reasoning in process engineering
- Temporally Coarse Representation of Behavior for Model-based Troubleshooting of Digital Circuits
Related papers
- On research of optimization strategy for dynamic backtracking
- A backtracking survey propagation algorithm for K-satisfiability
- The Comparison and Analysis between the Standard Backtracking Algorithm and the Improved Backtracking Algorithm
- Study on University Courses Arrangement based on Constraint Satisfaction
- Effects of Cut Mechanisms on Backtracking in Visual Prolog