A Logic for Reasoning about Justified Uncertain Beliefs.
Tuan-Fang FanChurn-Jung LiauPublished in: IJCAI (2015)
Keyphrases
- modal operators
- formal theory
- modal logic
- propositional dynamic logic
- decision making
- belief update
- dynamic logic
- temporal logic
- situation calculus
- classical logic
- multi valued
- partially ordered
- logic programming
- truth maintenance systems
- description logics
- incomplete information
- belief revision
- sound and complete axiomatization
- possibility theory
- neural network
- nonmonotonic logics
- spatial reasoning
- epistemic logic
- probabilistic knowledge
- complete axiomatization
- uncertain information
- causal reasoning