Representing defaults with epistemic concepts
Kurt Konolige, Karen L. Myers · Computational Intelligence · 1989
Reasoning about defaults—implications that typically hold, but which may have exceptions—is an important part of commonsense reasoning. We present some parts of a theory of defaults, concentrating on distinctions between various subtle ways in which defaults can be defeated, and on inferences which seem plausible but which are not correct in all cases. To represent this theory in a formal system, it is natural to use the epistemic concept of self‐belief. We show how to express the theory by a local translation into autoepistemic logic, which contains the requisite epistemic operators.