A Characterization of Belief Merging Operators in the Regular Horn Fragment of Signed Logic

被引：3

作者：

Dellunde, Pilar ^{[1
,2
,3
]}

机构：

[1] Univ Autonoma Barcelona, Barcelona, Spain

[2] Barcelona Grad Sch Math, Barcelona, Spain

[3] Artificial Intelligence Res Inst IIIA CSIC, Barcelona, Spain

来源：

MODELING DECISIONS FOR ARTIFICIAL INTELLIGENCE (MDAI 2020) | 2020年 / 12256卷

关键词：

Belief merging; Belief change; Signed logic; Horn clause; CONTRACTION; REVISION;

D O I：

10.1007/978-3-030-57524-3_1

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this paper, we present a set of logical postulates for belief merging in the set of all regular signed Horn formulas. Proving a representation result, we show that regular Horn merging in signed logic can be seen as an aggregation problem on rankings of possible interpretations in this many-valued setting.

引用

页码：3 / 15

页数：13

共 22 条

[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], 2008, FORMULARI ESCALA GEN

[3]

Armengol E, 2017, STUD COMPUT INTELL, V671, P169, DOI 10.1007/978-3-319-47557-8_11

[4]

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

[5] Transformations between signed and classical clause logic [J].

Beckert, B ;

Hähnle, R ;

Manyà, F .

1999 29TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1999, :248-255

[6]

Booth R., 2003, P UAI, P81

[7]

Booth R, 2011, J ARTIF INTELL RES, V42, P31

[8] Belief Merging within Fragments of Propositional Logic [J].

Creignou, Nadia ;

Papini, Odile ;

Ruemmele, Stefan ;

Woltran, Stefan .

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2016, 17 (03)

[9] Belief revision within fragments of propositional logic [J].

Creignou, Nadia ;

Papini, Odile ;

Pichler, Reinhard ;

Woltran, Stefan .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2014, 80 (02) :427-449

[10] Belief revision in Horn theories [J].

Delgrande, James P. ;

Peppas, Pavlos .

ARTIFICIAL INTELLIGENCE, 2015, 218 :1-22

← 1 2 3 →