Minimal Change in AGM Revision for Non-Classical Logics.
Márcio Moretto RibeiroRenata WassermannPublished in: KR (2014)
Keyphrases
- minimal change
- belief revision
- belief change
- revision operators
- belief update
- propositional logic
- default reasoning
- nonmonotonic reasoning
- update operations
- model theoretic
- ctl model update
- belief set
- classical logic
- propositional knowledge base
- reasoning about actions
- belief base
- action theories
- epistemic states
- possibilistic logic
- logical framework
- knowledge base
- decision procedures
- fixpoint
- belief state
- logic programming
- logic programs
- bayesian networks
- databases
- database