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 条
  • [41] MANY-VALUED NONMONOTONIC MODAL-LOGICS
    FITTING, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 139 - 150
  • [42] Many-valued logics in classical and quantum gates
    Lungarzo, Carlos A.
    LOGIC JOURNAL OF THE IGPL, 2005, 13 (01) : 127 - 138
  • [43] MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
    Priest, Graham
    REVIEW OF SYMBOLIC LOGIC, 2008, 1 (02): : 190 - 203
  • [44] A REMARK ON PEIRCES RULE IN MANY-VALUED LOGICS
    ONO, K
    NAGOYA MATHEMATICAL JOURNAL, 1968, 31 (JAN) : 69 - &
  • [45] A many-valued approach to quantum computational logics
    Dalla Chiara, M. L.
    Giuntini, R.
    Sergioli, G.
    Leporini, R.
    FUZZY SETS AND SYSTEMS, 2018, 335 : 94 - 111
  • [46] An exercise on the generation of many-valued dynamic logics
    Madeira, Alexandre
    Neves, Renato
    Martins, Manuel A.
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (05) : 1011 - 1037
  • [47] Modal systems based on many-valued logics
    Bou, F.
    Esteva, F.
    Godo, L.
    NEW DIMENSIONS IN FUZZY LOGIC AND RELATED TECHNOLOGIES, VOL I, PROCEEDINGS, 2007, : 177 - 182
  • [48] ManyVal 2015 - Workshop on Many-Valued Logics
    Noguera, Carles
    ERCIM NEWS, 2016, (105): : 6 - 6
  • [49] A NOTE ON SATURATED MODELS FOR MANY-VALUED LOGICS
    Flaminio, Tommaso
    Bianchi, Matteo
    MATHEMATICA SLOVACA, 2015, 65 (04) : 747 - 760
  • [50] Towards Tractable Approximations to Many-Valued Logics: The Case of First Degree Entailment
    D'Agostino, Marcello
    Solares-Rojas, Alejandro
    LOGICA YEARBOOK 2021, 2022, : 57 - 76
12345