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 条
  • [1] Storage operators and multiplicative quantifiers in many-valued logics
    Montagna, F
    JOURNAL OF LOGIC AND COMPUTATION, 2004, 14 (02) : 299 - 322
  • [2] Paraconsistentization and many-valued logics
    De Souza, Edelcio G.
    Costa-Leite, Alexandre
    Dias, Diogo H. B.
    LOGIC JOURNAL OF THE IGPL, 2024, 32 (01) : 76 - 93
  • [3] ON INTUITIONISTIC MANY-VALUED LOGICS
    HANAZAWA, M
    TAKANO, M
    JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1986, 38 (03) : 409 - 419
  • [4] GENERALIZED MANY-VALUED LOGICS
    MARQUETT.A
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 419 - 419
  • [5] Complexity of many-valued logics
    Hähnle, R
    BEYOND TWO: THEORY AND APPLICATIONS OF MULTIPLE-VALUED LOGIC, 2003, 114 : 211 - 233
  • [6] RESOLUTION FOR MANY-VALUED LOGICS
    MORGAN, CG
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 199 - 200
  • [7] Many-valued modal logics
    Fitting, Melvin C., 1600, (15): : 3 - 4
  • [8] Calculi for Many-Valued Logics
    Kaminski, Michael
    Francez, Nissim
    LOGICA UNIVERSALIS, 2021, 15 (02) : 193 - 226
  • [9] CERES in many-valued logics
    Baaz, M
    Leitsch, A
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 1 - 20
  • [10] Calculi for Many-Valued Logics
    Michael Kaminski
    Nissim Francez
    Logica Universalis, 2021, 15 : 193 - 226
12345