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

Document Type

Conference Proceeding

Publication Date

1-1-1994

Abstract

We define GOL, the generalized logic of only knowing, and propose to use it as a unified framework for non-monotonic reasoning. The GOL logic is a generalization of the logic of only knowing (OL) by Levesque [8], and it covers the important notion of epistemic specification by Gelfond [3, 5] which is very useful in knowledge representation. By giving a model-theoretic account for epistemic specifications, the GOL helps clarify the conceptual understanding for 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. In recent works [1-2], we established the relations between OL logic and MBNF (the logic of minimal belief and negation as failure by Lifschitz [9]), between OL and extended logic programs, and showed that OL is a fairly general logical framework for non-monotonic reasoning. This work further generalizes the OL logic to enhance the expressive power to include epistemic specifications. We also present a proof theory for GOL together with the soundness and completeness results. This work is restricted to the propositional case only.

Publication Source (Journal or Book title)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

First Page

478

Last Page

487

This document is currently not available here.

Share

COinS