Measuring minimal change in argument premise revision.
Mark SnaithChris ReedPublished in: ICCSW (2011)
Keyphrases
- minimal change
- belief revision
- belief change
- belief update
- revision operators
- logic program updates
- model theoretic
- reasoning about actions
- update operations
- propositional logic
- propositional knowledge base
- belief base
- default reasoning
- temporal logic
- ctl model update
- nonmonotonic reasoning
- belief set
- epistemic states
- knowledge base