Possibilistic Justification Logic: Reasoning About Justified Uncertain Beliefs.
Che-Ping SuTuan-Fang FanChurn-Jung LiauPublished in: ACM Trans. Comput. Log. (2017)
Keyphrases
- modal operators
- possibility theory
- possibilistic logic
- modal logic
- formal theory
- intuitionistic logic
- probability theory
- possibilistic networks
- logic programming
- classical logic
- belief functions
- propositional dynamic logic
- belief revision
- decision making
- subjective probabilities
- partially ordered
- temporal logic
- dynamic logic
- incomplete information
- nonmonotonic reasoning
- nonmonotonic logics
- partial order
- belief base
- causal reasoning
- uncertain databases
- uncertain information
- probabilistic knowledge
- asynchronous circuits
- causal networks
- truth maintenance systems
- complete axiomatization
- propositional variables
- possibility distributions
- rational agents
- probabilistic logic
- multi valued
- mental states
- inference rules
- graphical models
- description logics