Minimal knowledge problem: A new approach

Grigori Schwarz; Mirosław Truszczyński

doi:10.1016/0004-3702(94)90013-2

Minimal knowledge problem: A new approach

Grigori Schwarz, Mirosław Truszczyński

Computer Science

Research output: Contribution to journal › Article › peer-review

29 Scopus citations

Abstract

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 language	English
Pages (from-to)	113-141
Number of pages	29
Journal	Artificial Intelligence
Volume	67
Issue number	1
DOIs	https://doi.org/10.1016/0004-3702(94)90013-2
State	Published - 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.

Funding

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.

Funders	Funder number
NationaSl cienceF oundatioGn rantI	RI-9012902

ASJC Scopus subject areas

Language and Linguistics
Linguistics and Language
Artificial Intelligence

Access to Document

10.1016/0004-3702(94)90013-2

Cite this

@article{cb6bd31ebca64bbd9a8db7dc0f9f40c2,

title = "Minimal knowledge problem: A new approach",

abstract = "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.",

author = "Grigori Schwarz and Miros{\l}aw Truszczy{\'n}ski",

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.",

year = "1994",

month = may,

doi = "10.1016/0004-3702(94)90013-2",

language = "English",

volume = "67",

pages = "113--141",

number = "1",

}

TY - JOUR

T1 - Minimal knowledge problem

T2 - A new approach

AU - Schwarz, Grigori

AU - Truszczyński, Mirosław

N1 - 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.

PY - 1994/5

Y1 - 1994/5

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0028426711&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0028426711&partnerID=8YFLogxK

U2 - 10.1016/0004-3702(94)90013-2

DO - 10.1016/0004-3702(94)90013-2

M3 - Article

AN - SCOPUS:0028426711

SN - 0004-3702

VL - 67

SP - 113

EP - 141

JO - Artificial Intelligence

JF - Artificial Intelligence

IS - 1

ER -

Minimal knowledge problem: A new approach

Abstract

Bibliographical note

Funding

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this