Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases.
Gabriele Kern-IsbernerChristoph BeierleGerhard BrewkaPublished in: KR (2020)
Keyphrases
- belief revision
- nonmonotonic reasoning
- belief merging
- conditional logic
- nonmonotonic inference
- epistemic states
- default reasoning
- belief base
- belief change
- belief update
- logical properties
- minimal change
- propositional logic
- possibility theory
- knowledge base
- revision operators
- abductive reasoning
- possibilistic logic
- logical framework
- nonmonotonic logics
- argumentation systems
- temporal logic
- merging operators
- belief set
- natural language
- general purpose
- probabilistic logic
- expert systems