Merging information under constraints:: A logical framework

被引：268

作者：

Konieczny, S ^{[1
]}

Pérez, RP ^{[1
]}

机构：

[1] Univ Artois, Ctr Rech Informat Lens, F-62300 Lens, France

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2002年 / 12卷 / 05期

关键词：

logic-based merging; belief revision; integrity constraints;

D O I：

10.1093/logcom/12.5.773

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The paper considers the problem of merging several belief bases in the presence of integrity constraints and proposes a logical characterization of operators having a majority behaviour or a consensual one. Then a representation theorem in terms of pre-orders on interpretations is given. The close connection between belief revision and merging operators is shown and it is shown that the proposal extends the pure merging case (i.e. without integrity constraints) studied in a previous work. Finally it is shown that Liberatore and Schaerf commutative revision operators can be seen as a special case of merging.

引用

页码：773 / 808

页数：36

共 28 条

[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], 1998, KR 98

[3]

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

[4]

Baral C., 1991, IEEE Transactions on Knowledge and Data Engineering, V3, P208, DOI 10.1109/69.88001

[5]

BATINI C, 1986, COMPUT SURV, V18, P323, DOI 10.1145/27633.27634

[6]

BREWKA G, 1989, P 11 INT JOINT C ART, P1043

[7]

Cholvy L, 1997, LECT NOTES ARTIF INT, V1244, P86, DOI 10.1007/BFb0035614

[8]

CHOLVY L, 1998, HDB DEFEASIBLE REASO, V3, P233

[9]

Dalal M., 1988, P AAAI, P449

[10] Refinements of the maximin approach to decision-making in a fuzzy environment [J].

Dubois, D ;

Fargier, H ;

Prade, H .

FUZZY SETS AND SYSTEMS, 1996, 81 (01) :103-122

← 1 2 3 →