Simultaneous Representation of Knowledge and Belief for Epistemic Planning with Belief Revision.
David BuckinghamDaniel KasenbergMatthias ScheutzPublished in: KR (2020)
Keyphrases
- belief revision
- belief change
- knowledge base
- epistemic states
- minimal change
- propositional logic
- nonmonotonic reasoning
- belief state
- default reasoning
- logical properties
- dynamic aspects
- belief update
- belief set
- possibilistic logic
- logical framework
- conditional logic
- knowledge representation
- temporal logic
- modal operators
- belief merging
- iterated belief revision
- possibility theory
- spatial relations
- planning problems
- truth maintenance systems
- description logics
- plausible inference