In this paper we propose a new logic of minimal knowledge. Our approach falls into the general scheme of Shoham's preference semantics. It stems from an earlier work on logics of minimal knowledge by Halpern and Moses, Lin and Shoham, and Lifschitz. The novelty of our work is in a procedure for minimizing knowledge which we propose in this paper, and which is different from earlier proposals. We show that our logic preserves most desirable properties of earlier formalisms and at the same time avoids some of their drawbacks. In addition to a semantic definition of our system, we provide its equivalent syntactic characterization which relates our logic with the nonmonotonic modal logic S4F and allows us to use in our investigations standard modal logic techniques.
|Number of pages||29|
|State||Published - May 1994|
Bibliographical noteFunding Information:
The authorsa re thankfutl o Vladimir Lifschitz,F angzhenL in and Wiktor Marek for usefuld iscussionos n the subjecto f the paper.T he authorsa re thankfutlo the anonymourse fereefso r numeroucso nstructivseu ggestionosn improvingth epaper. The seconda uthorg ratefullya cknowledgeths e supporto f the following grants:A rmy ResearchO ffice Grant DAAL03-89-K-0124N, ationalS cience Foundatioann dt heC ommonwealothf K entuckyE PSCoR GrantR II 8610671, NationaSl cienceF oundatioGn rantI RI-9012902.
ASJC Scopus subject areas
- Language and Linguistics
- Linguistics and Language
- Artificial Intelligence