Formalizing Deceptive Reasoning in Breaking Bad: Default Reasoning in a Doxastic Logic.
John LicatoPublished in: AAAI Fall Symposia (2015)
Keyphrases
- default reasoning
- proof theory
- proof theoretic
- probabilistic logic
- conditional logic
- belief revision
- inheritance reasoning
- nonmonotonic reasoning
- probabilistic reasoning
- default rules
- default logic
- dependency directed backtracking
- epistemic logic
- partial order
- logic programming
- model theoretic
- bayesian networks
- computational properties
- inference rules
- default theories
- commonsense reasoning
- classical logic
- artificial intelligence
- modal logic
- machine learning