Prime Implicate-based Belief Revision Operators

被引：12

作者：

Bienvenu, Meghyn ^{[1
]}

Herzig, Andreas ^{[2
]}

Qi, Guilin ^{[3
]}

机构：

[1] Univ Toulouse 3, IRIT, F-31062 Toulouse, France

[2] IRIT CNRS, Toulouse, France

[3] Univ Karlsruhe, Inst AIFB, Karlsruhe, Germany

来源：

ECAI 2008, PROCEEDINGS | 2008年 / 178卷

关键词：

D O I：

10.3233/978-1-58603-891-5-741

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：741 / +

页数：2

共 12 条

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

DALAI M, P 7 NAT C ART INT, P475

[3]

Fagin Ronald, 1983, P 2 ACM SIGACT SIGMO, P352

[4] COUNTERFACTUALS [J].

GINSBERG, ML .

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

[5]

GROVE A, 1988, J PHILOS

[6] PROPOSITIONAL KNOWLEDGE BASE REVISION AND MINIMAL CHANGE [J].

KATSUNO, H ;

MENDELZON, AO .

ARTIFICIAL INTELLIGENCE, 1991, 52 (03) :263-294

[7]

MARQUIS P, 2000, HDB DEFEASIBLE REASO, V5, P41

[8]

Nebel B., 1998, HDB DEFEASIBLE REASO, V3

[9]

Parikh R., 1999, LOGIC LANGUAGE COMPU, V2

[10]

Satoh K., 1988, P INT C 5 GEN COMP S, P455

← 1 2 →