A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision.
Didier DuboisJérôme LangHenri PradePublished in: Truth Maintenance Systems (ECAI Workshop) (1990)
Keyphrases
- belief revision
- possibility theory
- possibilistic logic
- nonmonotonic reasoning
- truth maintenance systems
- possibilistic networks
- propositional logic
- causal networks
- default reasoning
- belief change
- knowledge base
- plausible inference
- logical properties
- minimal change
- temporal logic
- belief update
- plausible reasoning
- logical framework
- conditional logic
- classical logic
- belief state
- dynamic aspects
- graphical models
- revision operators
- decision making
- belief base
- probability theory
- update operators