All I Know About Tweety

It has been shown that the beliefs of an autoepistemic reasoner can be captured within a classical belief logic if we add the concept of “this is all I know” to the logic, where “this” can be understood as the knowledge base of the agent in question. In this paper we introduce a new construct, which allows us to express that “this is all I know about a certain subject matter.“ This relativized all-I-know concept turns out to be sufficient to model autoepistemic reasoning.