Logic-based argumentation with existential rules

被引：7
|
作者：
Arioua, Abdallah [1 ]
Croitoru, Madalina [2 ]
Vesic, Srdjan [3 ,4 ]
机构：
[1] Univ Claude Bernard Lyon 1, LIRIS CNRS, Lyon, France
[2] Univ Montpellier 2, LIRMM, INRIA, Montpellier, France
[3] CNRS, CRIL, Lens, France
[4] Univ Artois, Lens, France
来源：
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING | 2017年 / 90卷
关键词：
Logic-based argumentation; Existential rules; Universal acceptance; Dialectical proof theory;
D O I：
10.1016/j.ijar.2017.07.004
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper we are interested in the use of argumentation for handling inconsistency in inconsistent knowledge bases expressed with existential rules. We propose an instantiation of an argumentation framework and demonstrate it is coherent, relatively grounded and non-trivial, therefore satisfying the rationality postulates from the literature. We demonstrate how argumentation semantics relate to the state of the art of handling inconsistency in this setting, allowing us to propose the first dialectical proof in the literature for a given semantics. (C) 2017 Elsevier Inc. All rights reserved.
引用
收藏
页码：76 / 106
页数：31
相关论文
共 50 条
  • [1] Explainable Logic-Based Argumentation
    Arieli, Ofer
    Borg, AnneMarie
    Hesse, Matthis
    Strasser, Christian
    [J]. COMPUTATIONAL MODELS OF ARGUMENT, COMMA 2022, 2022, 353 : 32 - 43
  • [2] Postulates for logic-based argumentation systems
    Amgoud, Leila
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2014, 55 (09) : 2028 - 2048
  • [3] Basic Equivalence in Logic-Based Argumentation
    Amgoud, Leila
    Vesic, Srdjan
    [J]. 2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011), 2011, : 613 - 620
  • [4] On the Equivalence of Logic-Based Argumentation Systems
    Amgoud, Leila
    Vesic, Srdjan
    [J]. SCALABLE UNCERTAINTY MANAGEMENT, 2011, 6929 : 123 - 136
  • [5] Postulates for logic-based argumentation systems
    20143600038673
    [J]. Amgoud, Leila, 1600, Elsevier Inc. (55):
  • [6] A Conditional Logic-Based Argumentation Framework
    Besnard, Philippe
    Gregoire, Eric
    Raddaoui, Badran
    [J]. SCALABLE UNCERTAINTY MANAGEMENT, SUM 2013, 2013, 8078 : 44 - 56
  • [7] Logic-based approaches to formal argumentation
    Arieli, Ofer
    Borg, Annemarie
    Heyninck, Jesse
    Strasser, Christian
    [J]. Journal of Applied Logics, 2021, 8 (06): : 1793 - 1898
  • [8] Towards a logic-based theory of argumentation
    Besnard, P
    Hunter, A
    [J]. SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, : 411 - 416
  • [9] Complexity Classifications for Logic-Based Argumentation
    Creignou, Nadia
    Egly, Uwe
    Schmidt, Johannes
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2014, 15 (03)
  • [10] LOGIC-BASED APPROACHES TO FORMAL ARGUMENTATION
    Arieli, Ofer
    Borg, Anne Marie
    Heyninck, Jesse
    Strasser, Christian
    [J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (06): : 1793 - 1898
12345