Keyphrases
- plan recognition
- belief revision
- default reasoning
- propositional logic
- nonmonotonic reasoning
- belief change
- decision theoretic
- plan generation
- plan library
- logical properties
- belief update
- conditional logic
- belief merging
- possibilistic logic
- cost based abduction
- minimal change
- possibility theory
- smart home
- knowledge base
- plausible inference
- belief base
- belief set
- bayesian networks
- artificial intelligence