Belief Horn merging operators: Characterization results and implementations

被引：0

作者：

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

Costa, Vicent ^{[2
]}

Rivas-Barragan, Daniel ^{[2
]}

机构：

[1] Univ Autonoma Barcelona, Dept Philosophy, Bellaterra, Spain

[2] Artificial Intelligence Res Inst IIIA CSIC, Bellaterra, Spain

[3] Barcelona Grad Sch Math BGSMath, Barcelona, Spain

来源：

FUZZY SETS AND SYSTEMS | 2024年 / 497卷

基金：

欧盟地平线“2020”;

关键词：

Many-valued logics; Horn clause; Belief merging; Horn merging operator; Disability; Quality of life; CONTRACTION; REVISION; LOGIC;

D O I：

10.1016/j.fss.2024.109099

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The paper contributes to the study of belief merging in many-valued logics, taking both a theoretical and implementation approach motivated by applications in real-world scenarios. We focus, in particular, on the Horn fragment of signed logic. On the one hand, a characterization of the class of models of a signed regular Horn formula and a sufficient condition for a signed Horn merging operator to satisfy logical IC-postulates are provided. On the other hand, an implementation of the belief merging process in the signed regular Horn fragment is presented.

引用

页数：17

共 43 条

[1] ON THE LOGIC OF THEORY CHANGE - PARTIAL MEET CONTRACTION AND REVISION FUNCTIONS
ALCHOURRON, CE
GARDENFORS, P
MAKINSON, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) : 510 - 530
[2] [Anonymous], 1993, P 12 ACM SIGACT SIGM
[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
Beckert, B
Hähnle, R
Manyà, F
[J]. 1999 29TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1999, : 248 - 255
[6] The 2-SAT problem of regular signed CNF formulas
Beckert, B
Hähnle, R
Manyà, F
[J]. 30TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2000, : 331 - 336
[7] On revising fuzzy belief bases
Booth R.
Richter E.
[J]. Studia Logica, 2005, 80 (1) : 29 - 61
[8] Booth R, 2011, J ARTIF INTELL RES, V42, P31
[9] Burkhard W.A., 1978, Proceedings of the 10th Annual ACM Symposium on Theory of Computing, May 1-3, 1978, San Diego, California, USA, P216
[10] Calmet J., 1996, Lecture Notes in Computer Science, V1079, P202

← 1 2 3 4 5 →