Credibility limited revision

被引：67

作者：

Hansson, SO ^{[1
]}

Fermé, EL

Cantwell, J

Falappa, MA

机构：

[1] Royal Inst Technol, Philosophy Unit, S-10044 Stockholm, Sweden

[2] Univ Buenos Aires, Fac Ciencias Exactas & Nat, Dept Computac, RA-1428 Buenos Aires, DF, Argentina

[3] Univ Nacl Sur, Dept Ciencias Computac, RA-8000 Bahia Blanca, Buenos Aires, Argentina

来源：

JOURNAL OF SYMBOLIC LOGIC | 2001年 / 66卷 / 04期

关键词：

D O I：

10.2307/2694963

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Five types of constructions are introduced for non-prioritized belief revision, ie:, belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.

引用

页码：1581 / 1596

页数：16

共 19 条

[1] 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

[2]

[Anonymous], 1997, THEORIA

[3] Some logics of iterated belief change [J].

Cantwell J. .

Studia Logica, 1999, 63 (1) :49-84

[4] Selective revision [J].

Fermé E.L. ;

Ove Sven H. .

Studia Logica, 1999, 63 (3) :331-342

[5]

Fuhrmann A., 1997, STUDIES LOGIC LANGUA

[6]

GARDENFORS P, 1988, 2ND P C THEOR ASP RE, P83

[7]

Gardenfors P., 1988, Knowledge in Flux

[8]

Gardenfors P., 1995, HDB LOGIC ARTIFICIAL, V4, P35

[9]

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

[10]

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

← 1 2 →