Default Reasoning and Belief Revision: A Syntax-Independent Approach.
Dongmo ZhangZhaohui ZhuShifu ChenPublished in: J. Comput. Sci. Technol. (2000)
Keyphrases
- default reasoning
- belief revision
- nonmonotonic reasoning
- belief change
- propositional logic
- conditional logic
- logical properties
- logical framework
- temporal logic
- probabilistic logic
- belief update
- minimal change
- high level
- belief merging
- possibilistic logic
- default theories
- partial order
- general purpose
- probability distribution
- knowledge base
- epistemic states
- plausible inference