A semantics for reasoning consistently in the presence of inconsistency

被引：23

作者：

Lin, JX

机构：

[1] Enterprise Integration Lab., Department of Industrial Engineering, Univerisity of Toronto, Toronto

[2] Department of Computer Science, University of Toronto, Toronto

来源：

ARTIFICIAL INTELLIGENCE | 1996年 / 86卷 / 01期

关键词：

logic of knowledge and belief; knowledge representation; reasoning with inconsistency; knowledge base systems;

D O I：

10.1016/0004-3702(95)00100-X

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

A great deal of research has been devoted to nontrivial reasoning in the presence of inconsistency. However, previous formalisms on this account do not permit consistent reasoning in the presence of inconsistency-they may conclude a statement on one hand and the negation of the statement on the other. In this paper, we propose a logic that allows an agent to reason consistently, even though there are inconsistencies in the agent's beliefs. We first give the semantics of the logic and then present a simple, sound and complete axiomatization for the logic, thus forming the formal basis of reasoning consistently in the presence of inconsistency.

引用

页码：75 / 95

页数：21

共 29 条

[1]

Anderson A. R., 1975, Entailment: The Logic of Relevance and Necessity, VI

[2]

[Anonymous], 1991, STUD LOGICA, DOI DOI 10.1007/BF00370190

[3]

Baral C., 1992, Computational Intelligence, V8, P45, DOI 10.1111/j.1467-8640.1992.tb00337.x

[4]

BELNAP ND, 1975, MODERN USES MULTIPLE

[5]

Boutilier C., 1991, P IJCAI 91 SYDN, P413

[6] INTUITIVE SEMANTICS FOR 1ST-DEGREE ENTAILMENTS AND COUPLED TREES [J].

DUNN, JM .

PHILOSOPHICAL STUDIES, 1976, 29 (03) :149-168

[7] BELIEF, AWARENESS, AND LIMITED REASONING [J].

FAGIN, R ;

HALPERN, JY .

ARTIFICIAL INTELLIGENCE, 1987, 34 (01) :39-76

[8] A MODEL-THEORETIC ANALYSIS OF KNOWLEDGE [J].

FAGIN, R ;

HALPERN, JY ;

VARDI, MY .

JOURNAL OF THE ACM, 1991, 38 (02) :382-428

[9]

FAGIN R, 1990, P 3 C THEOR ASP REAS

[10]

FITTING M, 1990, 1 ORDER LOGIC AUTOMA

← 1 2 3 →