Truth Maintenance Systems and Belief Revision.
Laura GiordanoAlberto MartelliPublished in: Truth Maintenance Systems (ECAI Workshop) (1990)
Keyphrases
- belief revision
- truth maintenance systems
- nonmonotonic reasoning
- propositional logic
- belief change
- default reasoning
- reason maintenance
- logical properties
- knowledge base
- temporal logic
- belief merging
- minimal change
- belief update
- autoepistemic logic
- possibility theory
- information flow
- knowledge based systems
- search space
- nonmonotonic logics
- epistemic states
- artificial intelligence
- belief set
- machine learning