The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications

Document Type

Article

Publication Date

1-1-1997

Abstract

GOL, the generalized logic of only knowing, is defined and its use proposed as a unified framework for non-monotonic reasoning. The GOL logic is a generalization of logic of Levesque's only knowing (OL) and it covers Gelfond's important notion of epistemic specification (ES), which is very useful for knowledge representation. By giving a modeltheoretic account of epistemic specifications, the GOL helps clarify the conceptual understanding of epistemic theories. The GOL logic contains the OL logic as a subset and thus it retains the important features of OL The OL logic is a modal logic which can be used to formalize an agent's introspective reasoning and to answer epistemic queries to databases. The relations between OL logic and MBNF (the logic of minimal belief and negation as failure by Lifschitz), and between OL and extended logic programs have recently been established and it has been shown that OL is a fairly general logical framework for non-monotonic reasoning. In this paper, the OL logic is further generalized to enhance the expressive power to include epistemic specifications. A sound proof theory for GOL is also presented. This work is restricted to the propositional case only.

Publication Source (Journal or Book title)

Journal of Logic and Computation

First Page

159

Last Page

174

This document is currently not available here.

Share

COinS