Paraconsistent Labeling Semantics for Abstract Argumentation

被引：0
|
作者：
Lin, Yuanlei [1 ]
机构：
[1] Nanchang Univ, Dept Philosophy, Xuefu Rd 999, Nanchang 330031, Peoples R China
来源：
MATHEMATICS | 2024年 / 12卷 / 05期
关键词：
abstract argumentation; paraconsistent labeling semantics; modal logic;
D O I：
10.3390/math12050688
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Dung's abstract argumentation framework is a popular formalism in formal argumentation. The present work develops paraconsistent labeling semantics for abstract argumentation such that the incomplete and inconsistent information can be expressed, and it introduces a Hilbert-style axiomatic system which is proven to be sound and complete. Additionally, we make a comparison between the logic developed in the present work and some relevant theories of abstract argumentation.
引用
收藏
页数：13
相关论文
共 50 条
  • [41] A RECONSTRUCTION OF ABSTRACT ARGUMENTATION ADMISSIBLE SEMANTICS INTO DEFAULTS AND ANSWER SETS PROGRAMMING
    Nouiouaand, Farid
    Risch, Vincent
    ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, 2012, : 237 - 242
  • [42] Stochastic Local Search Algorithms for Abstract Argumentation Under Stable Semantics
    Thimm, Matthias
    COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2018), 2018, 305 : 169 - 180
  • [43] Focusing the Argumentative Process: Neighborhood-Based Semantics in Abstract Argumentation
    Escanuela Gonzalez, Melisa G.
    Budan, Maximiliano C. D.
    Martinez, Diego, I
    Laura Cobo, Maria
    Simari, Guillermo R.
    LOGIC AND ARGUMENTATION, CLAR 2021, 2021, 13040 : 20 - 39
  • [44] Solid Semantics for Abstract Argumentation Frameworks and the Preservation of Solid Semantic Properties
    Liu, Xiaolong
    Chen, Weiwei
    MULTI-AGENT SYSTEMS, EUMAS 2021, 2021, 12802 : 178 - 193
  • [45] Paraconsistent semantics of speech acts
    Dunin-Keplicz, Barbara
    Strachocka, Alina
    Szalas, Andrzej
    Verbrugge, Rineke
    NEUROCOMPUTING, 2015, 151 : 943 - 952
  • [46] Argumentation-Based Paraconsistent Logics
    Ben-Naim, Jonathan
    GRAPH-BASED REPRESENTATION AND REASONING, 2014, 8577 : 19 - 24
  • [47] Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract)
    Alfano, Gianvincenzo
    Greco, Sergio
    Parisi, Francesco
    Trubitsyna, Irina
    PROCEEDINGS OF THE THIRTIETH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2021, 2021, : 4735 - 4739
  • [48] Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions
    Thimm, Matthias
    Cerutti, Federico
    Vallati, Mauro
    PROCEEDINGS OF THE THIRTIETH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2021, 2021, : 2069 - 2075
  • [49] Power index-based semantics for ranking arguments in abstract argumentation frameworks
    Bistarelli, Stefano
    Taticchi, Carlo
    INTELLIGENZA ARTIFICIALE, 2019, 13 (02) : 137 - 154
  • [50] On the resolution-based family of abstract argumentation semantics and its grounded instance
    Baroni, P.
    Dunne, P. E.
    Giacomin, M.
    ARTIFICIAL INTELLIGENCE, 2011, 175 (3-4) : 791 - 813
12345