Epistemic Entrenchment in Autoepistemic Logic

Article type: Research Article

Authors: Boutilier, Craig

Affiliations: Department of Computer Science, University of British Columbia, Vancouver, British Columbia, Canada, V6T IZ2

Abstract: A drawback of existing epistemic logics is their inability to deal with entrenchment of beliefs. All beliefs have equal status; none can be held more firmly than others. We present a bimodal logic that generalizes Levesque’s reconstruction of autoepistemic logic. In our system standard epistemic concepts can be represented, including the notion of only knowing, but elements of a belief set may be more or less entrenched. This has important implications for the distinction between epistemic defaults and subjunctive (and normative) defaults, both of which are representable in our system.

DOI: 10.3233/FI-1992-171-203

Journal: Fundamenta Informaticae, vol. 17, no. 1-2, pp. 5-29, 1992