On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc.
Paolo LiberatorePublished in: KR (1998)
Keyphrases
- belief revision
- reasoning about actions
- minimal change
- propositional logic
- belief change
- default reasoning
- situation calculus
- belief state
- belief update
- logic programming
- action language
- nonmonotonic reasoning
- action theories
- logical properties
- domain description
- logical theories
- conditional logic
- plausible inference
- knowledge base
- belief merging
- initial state
- planning problems
- ai planning
- plausible reasoning
- cost based abduction
- database
- temporal logic
- heuristic search
- belief base
- possibilistic logic
- belief set
- domain independent
- general purpose
- software engineering