Minimal Change and Maximal Coherence: A Basis for Belief Revision and Reasoning about Actions.
Anand S. RaoNorman Y. FooPublished in: IJCAI (1989)
Keyphrases
- minimal change
- reasoning about actions
- belief revision
- belief change
- belief update
- action theories
- logic programming
- situation calculus
- default reasoning
- propositional logic
- knowledge base
- revision operators
- nonmonotonic reasoning
- logical framework
- high level
- artificial intelligence
- belief state
- modal logic
- temporal logic
- reinforcement learning