Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5.
Tivadar PapaiHenry A. KautzDaniel StefankovicPublished in: CoRR (2013)
Keyphrases
- modal logic
- principle of maximum entropy
- maximum entropy
- decision procedures
- inference rules
- temporal logic
- nonmonotonic logics
- deterministic annealing
- epistemic logic
- legal reasoning
- classical logic
- default logic
- logical framework
- situation calculus
- knowledge base
- automated reasoning
- reasoning tasks
- knowledge representation
- global optimization
- model checking
- reasoning about actions
- sufficient conditions
- multi agent