Towards an Implementation of Merging Operators in Many-Valued Logics

被引：1

作者：

Costa, Vicent ^{[1
,2
,3
]}

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

机构：

[1] Univ Autonoma Barcelona, Dept Filosofia, Barcelona, Spain

[2] Univ Autonoma Barcelona, Inst Hist Ciencia IHC, Barcelona, Spain

[3] Inst Invest Intel Ligencia Aritificial IIIA CSIC, Bellaterra, Spain

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

来源：

ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT | 2022年 / 356卷

基金：

欧盟地平线“2020”;

关键词：

Belief merging; Signed logic; Horn fragment; Implementation; Manyvalued logics;

D O I：

10.3233/FAIA220306

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：7 / 8

页数：2

共 11 条

[1]

[Anonymous], 1993, P 12 ACM SIGACT SIGM

[2]

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

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

Creignou, Nadia ;

Papini, Odile ;

Ruemmele, Stefan ;

Woltran, Stefan .

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

[4] A Characterization of Belief Merging Operators in the Regular Horn Fragment of Signed Logic [J].

Dellunde, Pilar .

MODELING DECISIONS FOR ARTIFICIAL INTELLIGENCE (MDAI 2020), 2020, 12256 :3-15

[5]

Hahnle R., 1994, International Series of Monographs on Computer Science, V10

[6] Merging in the Horn Fragment [J].

Haret, Adrian ;

Rummele, Stefan ;

Woltran, Stefan .

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2017, 18 (01)

[7] An application of belief merging for the diagnosis of oral cancer [J].

Kareem, Sameem Abdul ;

Pozos-Parra, Pilar ;

Wilson, Nic .

APPLIED SOFT COMPUTING, 2017, 61 :1105-1112

[8] Merging information under constraints:: A logical framework [J].

Konieczny, S ;

Pérez, RP .

JOURNAL OF LOGIC AND COMPUTATION, 2002, 12 (05) :773-808

[9] Logic Based Merging [J].

Konieczny, Sebastien ;

Perez, Ramon Pino .

JOURNAL OF PHILOSOPHICAL LOGIC, 2011, 40 (02) :239-270

[10]

Parra PP, 2007, LECT NOTES ARTIF INT, V4827, P225

← 1 2 →