On Well-Founded Set-Inductions and Locally Monotone Operators

Abstract

In the past, compelling arguments in favour of the well-founded semantics for autoepistemic logic have been presented. In this article, we show that for certain classes of theories, this semantics fails to identify the unique intended model. We solve this problem by refining the well-founded semantics. We develop our work in approximation fixpoint theory… (More)
DOI: 10.1145/2963096

Topics

3 Figures and Tables

Slides referencing similar topics