Nonmonotonic Reasoning and Multiple Belief Revision.
Dongmo ZhangShifu ChenWujia ZhuHongbing LiPublished in: IJCAI (1) (1997)
Keyphrases
- nonmonotonic reasoning
- belief revision
- default reasoning
- belief change
- conditional logic
- propositional logic
- nonmonotonic inference
- logical properties
- abductive reasoning
- logic programming
- knowledge base
- possibility theory
- logical framework
- nonmonotonic logics
- possibilistic logic
- autoepistemic logic
- default logic
- temporal logic
- belief merging
- argumentation systems
- minimal change
- belief update
- cost based abduction
- default theories
- artificial intelligence
- fixpoint
- state space