Gerhard Lakemeyer, Hector J. Levesque
The idea of only-knowing a collection of sentences has been previously shown to have a close connection with autoepistemic logic. Here we propose a more general account of only-knowing that captures not only autoepistemic logic but default logic as well. This allows us not only to study the properties of default logic in terms of an underlying model of belief, but also the relationship among different forms of nonmonotonic reasoning, all within a classical monotonic logic characterized semantically in terms of possible worlds.
Content Area: 10. Knowledge Representation & Reasoning
Subjects: 11. Knowledge Representation; 3.3 Nonmonotonic Reasoning
Submitted: May 10, 2005