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 条

[11]

GROVE A, 1988, J PHILOS LOGIC, V17, P157

[12]

Hansson S., 1997, J APPL NONCLASSICAL, V7, P151

[13] Credibility limited revision [J].

Hansson, SO ;

Fermé, EL ;

Cantwell, J ;

Falappa, MA .

JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (04) :1581-1596

[14]

HANSSON SO, 1993, J SYMBOLIC LOGIC

[15]

HANSSON SO, 1996, TXB BELIEF DYNAMICS

[16]

Hansson Sven Ove, 1991, STUDIA LOGICA, V50, P251

[17]

Lewis D., 1973, COUNTERFACTUALS

[18]

Pagnucco M., 1996, THESIS U SYDNEY SYDN

[19]

PAGNUCCO M, 1994, P 7 AUSTR C ART INT

[20]

Poole D.L., 1985, Proceedings of IJCAI-85, P144

← 1 2 3 →