A truth maintenance system

1979/11/01 by Jon Doyle · 1,785 citations
Computer Science · Decision Sciences · #Action (physics) #Artificial intelligence #Backtracking #Belief revision #Computer science #Control (management) #Dependency (UML) #Embedding #Epistemology #Logic, programming, and type systems #Problem solver #Programming language #Scientific Computing and Data Management #Set (abstract data type) #Software Engineering Research #Software engineering #Solver #Theoretical computer science

paper · open access · doi:10.1016/0004-3702(79)90008-0

published in Artificial Intelligence 12(3), 231-272 (Elsevier BV)

openalex publication_date 1979/11/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29

Cited by

• Lifted State Hypothesis in Large Language Models
• Truth Maintenance Under Uncertainty
• Logical Consistency as a Dynamical Invariant: A Quantum Model of Self-Reference and Paradox
• In the Mind or in the World? Types of Beliefs and the Locality of Evidence
• Extending and Implementing the Stable Model Semantics
• Incremental Probabilistic Inference
• Constraint compiling into rules formalism constraint compiling into rules formalism for dynamic CSPs computing
• Relevance Sensitive Non-Monotonic Inference on Belief Sequences
• Nonmonotonic Reasoning as a Temporal Activity
• A Reason Maintenace System Dealing with Vague Data
• An Evolutionary-Based Approach to Learning Multiple Decision Models from Underrepresented Data
• Rational Nonmonotonic Reasoning
• MADE: Belief-Driven Dual-Agent Coordination for Autonomous Model Deployment
• Applying Cognitive Design Patterns to General LLM Agents
• On Definite Iterated Belief Revision with Belief Algebras
• A Framework for Non-Monotonic Reasoning About Probabilistic Assumptions
• Dynamic Reasoning Systems
• Logic of design actions
• Truth maintenance systems and their application for verifying Expert System Knowledge Bases
• Logic programming and knowledge representation
• Fusion, propagation, and structuring in belief networks
• A blackboard architecture for control
• Artificial intelligence and the future
• On the Boolean Network Theory of Datalog^¬
• Neural correlates of causal power judgments. [europepmc]
• Diagnosing a Strong-Fault Model by Conflict and Consistency. [europepmc]
• Nobel Turing Challenge: creating the engine for scientific discovery. [europepmc]