Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5.
Tivadar PapaiHenry A. KautzDaniel StefankovicPublished in: TARK (2013)
Keyphrases
- modal logic
- principle of maximum entropy
- maximum entropy
- temporal logic
- decision procedures
- inference rules
- nonmonotonic logics
- automated reasoning
- deterministic annealing
- knowledge representation
- situation calculus
- classical logic
- epistemic logic
- default logic
- logical framework
- objective function
- reasoning tasks
- knowledge base
- probabilistic reasoning
- autoepistemic logic
- propositional logic
- upper bound