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
相关论文
共 50 条
  • [31] SAT and SMT Technology for Many-Valued Logics
    Ansotegui, Carlos
    Bofill, Miquel
    Manya, Felip
    Villaret, Mateu
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2015, 24 (1-4) : 151 - 172
  • [32] Ultraproducts of Z with an application to many-valued logics
    Brasó, JGI
    Mundici, D
    Torrell, AT
    JOURNAL OF ALGEBRA, 1999, 219 (01) : 214 - 233
  • [33] Expressivity of Many-Valued Modal Logics, Coalgebraically
    Bilkova, Marta
    Dostal, Matej
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, 2016, 9803 : 109 - 124
  • [34] AN AXIOMATISATION OF THE CONDITIONALS OF POSTS MANY-VALUED LOGICS
    SURMA, SJ
    MATHEMATICAL LOGIC QUARTERLY, 1995, 41 (03) : 369 - 372
  • [35] PROVABILITY ALGORITHMS FOR CLASSICAL MANY-VALUED LOGICS
    WILLIAMSON, J
    JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 445 - 445
  • [36] Dialogue Games for Many-Valued Logics — an Overview
    C. G. Fermüller
    Studia Logica, 2008, 90 (1) : 43 - 68
  • [37] Finitely many-valued logics and natural deduction
    Englander, Cecilia
    Haeusler, Edward Hermann
    Pereira, Luiz Carlos
    LOGIC JOURNAL OF THE IGPL, 2014, 22 (02) : 333 - 354
  • [38] Some algebraic structures for many-valued logics
    Cattaneo, G
    Dalla Chiara, ML
    Giuntini, R
    TATRA MOUNTAINS MATHEMATICAL PUBLICATIONS, VOL 15, 1998: QUANTUM STRUCTURES II, 1998, : 173 - 195
  • [39] MULTLOG - A SYSTEM FOR AXIOMATIZING MANY-VALUED LOGICS
    BAAZ, M
    LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 345 - 347
  • [40] Neighborhood semantics for modal many-valued logics
    Cintula, Petr
    Noguera, Carles
    FUZZY SETS AND SYSTEMS, 2018, 345 : 99 - 112
12345