A sound and complete proof theory for the generalized logic of only knowing

Document Type

Article

Publication Date

10-1-1998

Abstract

We present a sound and complete proof theory for the generalized logic of only knowing (GOL). The GOL logic is a modal logic proposed recently (Chen 1997) as a unified logical framework for non-monotonic reasoning, which extends the logic of only knowing (OL) of Levesque (1990), and covers the important notion of epistemic specification (Gelfond 1991, Gelfond and Przymusinska 1993) which is very useful for knowledge representation. The OL logic has been shown to have close connections with Lifschitz's minimal belief and negation as failure (Lifschitz 1994) and various other major non-monotonic formalisms. The GOL logic is more general and powerful than OL. The completeness result for the GOL proof theory establishes the theoretical foundation for answering queries in epistemic theories. This work is restricted to the propositional case only. © 1998 Taylor & Francis Group, LLC.

Publication Source (Journal or Book title)

Journal of Experimental and Theoretical Artificial Intelligence

First Page

421

Last Page

438

This document is currently not available here.

Share

COinS