A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking.
Laura GiordanoAlberto MartelliPublished in: Comput. Intell. (1995)
Keyphrases
- dependency directed backtracking
- truth maintenance systems
- default reasoning
- nonmonotonic reasoning
- default logic
- belief revision
- explanation based learning
- autoepistemic logic
- constraint propagation
- model theoretic
- inference mechanism
- propositional logic
- default theories
- logic programming
- temporal reasoning
- artificial intelligence
- linear programming
- probabilistic model
- domain knowledge
- knowledge base