Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference.
Jonas HaldimannChristoph BeierleGabriele Kern-IsbernerPublished in: FoIKS (2024)
Keyphrases
- belief base
- knowledge base
- belief revision
- probabilistic logic
- horn logic
- belief change
- possibilistic logic
- nonmonotonic inference
- logical properties
- belief merging
- preference relations
- cp nets
- default reasoning
- logical framework
- uncertain information
- nonmonotonic reasoning
- probabilistic reasoning
- epistemic states
- merging operators
- reasoning tasks
- propositional logic
- high level
- logic programming
- knowledge representation
- meta level
- artificial intelligence
- update operators
- logic programs
- knowledge representation and reasoning
- maximum entropy