Nonmonotonic Reasoning and Belief Revision: Syntactic, Semantic, Foundational, and Coherence Approaches.
Alvaro del ValPublished in: J. Appl. Non Class. Logics (1997)
Keyphrases
- belief revision
- nonmonotonic reasoning
- default reasoning
- conditional logic
- belief change
- propositional logic
- syntactic semantic
- nonmonotonic inference
- logic programming
- logical properties
- minimal change
- logical framework
- default logic
- knowledge base
- possibility theory
- belief update
- abductive reasoning
- defeasible logic
- possibilistic logic
- nonmonotonic logics
- temporal logic
- plausible inference
- autoepistemic logic
- machine learning
- fixpoint
- belief state
- epistemic states
- probabilistic reasoning
- belief set
- relational databases
- belief merging
- cost based abduction