Explanations, belief revision and defeasible reasoning

被引：55

作者：

Falappa, MA

Kern-Isberner, G

Simari, GR

机构：

[1] Univ Nacl Sur, Artificial Intelligence Res & Dev Lab, Dept Comp Sci & Engn, Bahia Blanca, Argentina

[2] Fern Univ Hagen, Dept Comp Sci, LG Prakt Informat 8, D-58084 Hagen, Germany

来源：

ARTIFICIAL INTELLIGENCE | 2002年 / 141卷 / 1-2期

关键词：

belief revision; change theory; knowledge representation; explanations; defeasible reasoning;

D O I：

10.1016/S0004-3702(02)00258-8

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We present different constructions for nonprioritized belief revision, that is, belief changes in which the input sentences are not always accepted. First, we present the concept of explanation in a deductive way. Second, we define multiple revision operators with respect to sets of sentences (representing explanations), giving representation theorems. Finally, we relate the formulated operators with argumentative systems and default reasoning frameworks. (C) 2002 Elsevier Science B.V. All rights reserved.

引用

页码：1 / 28

页数：28

共 27 条

[1]

ALCHOURRON C, 1993, DEFEASIBLE CONDITION

[2] ON THE LOGIC OF THEORY CHANGE - PARTIAL MEET CONTRACTION AND REVISION FUNCTIONS [J].

ALCHOURRON, CE ;

GARDENFORS, P ;

MAKINSON, D .

JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) :510-530

[3]

[Anonymous], 1970, Scientific Explanation

[4]

BOUTILIER C, 1993, ABDUCTION BELIEF REV

[5]

FALAPPA MA, 1995, JAIIO 95

[6]

Ferme E., 1998, STUDIA LOGICA, V63, P331

[7]

Fuhrmann A., 1997, STUDIES LOGIC LANGUA

[8]

GARCIA AJ, 1998, P ECAI 98 WORKSH PRA, P13

[9]

GARDENFORS P, 1988, MODELLING DYNAMICS E

[10] COUNTERFACTUALS [J].

GINSBERG, ML .

ARTIFICIAL INTELLIGENCE, 1986, 30 (01) :35-79

← 1 2 3 →