Minimal knowledge problem: A new approach

Grigori Schwarz, Mirosław Truszczyński

Research output: Contribution to journalArticlepeer-review

29 Scopus citations


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.

Original languageEnglish
Pages (from-to)113-141
Number of pages29
JournalArtificial Intelligence
Issue number1
StatePublished - May 1994

Bibliographical note

Funding 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


Dive into the research topics of 'Minimal knowledge problem: A new approach'. Together they form a unique fingerprint.

Cite this