Simple Contrapositive Assumption-Based Frameworks

被引:0
|
作者
Heyninck, Jesse [1 ]
Arieli, Ofer [2 ]
机构
[1] Ruhr Univ Bochum, Bochum, Germany
[2] Acad Coll Tel Aviv, Tel Aviv, Israel
基金
以色列科学基金会;
关键词
ABA frameworks; Dung semantics; Defeasible reasoning;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We study the Dung semantics for extended forms of assumption based argumentation frameworks (ABFs), based on any contrapositive propositional logic, and whose defeasible rules are expressed by arbitrary formulas in that logic. New results on the well-founded semantics for such ABFs are reported, the redundancy of the closure condition is shown, and the use of disjunctive attacks is investigated. Useful properties of the generalized frameworks are also considered.
引用
收藏
页码:2018 / 2020
页数:3
相关论文
共 50 条
  • [1] Simple Contrapositive Assumption-Based Frameworks
    Heyninck, Jesse
    Arieli, Ofer
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2019, 2019, 11481 : 75 - 88
  • [2] Simple contrapositive assumption-based argumentation frameworks
    Heyninck, Jesse
    Arieli, Ofer
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2020, 121 : 103 - 124
  • [3] Prioritized Simple Contrapositive Assumption-Based Frameworks
    Arieli, Ofer
    Heyninck, Jesse
    [J]. ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, 325 : 608 - 615
  • [4] On the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks
    Heyninck, Jesse
    Arieli, Ofer
    [J]. COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2018), 2018, 305 : 9 - 20
  • [6] Simple contrapositive assumption-based argumentation part II: Reasoning with preferences
    Arieli, Ofer
    Heyninck, Jesse
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2021, 139 (139) : 28 - 53
  • [7] Learning Assumption-Based Argumentation Frameworks
    Proietti, Maurizio
    Toni, Francesca
    [J]. INDUCTIVE LOGIC PROGRAMMING, ILP 2022, 2024, 13779 : 100 - 116
  • [8] Conflict Resolution in Assumption-Based Frameworks
    Balaz, Martin
    Frtus, Jozef
    Flouris, Giorgos
    Homola, Martin
    Sefranek, Jan
    [J]. MULTI-AGENT SYSTEMS (EUMAS 2014), 2015, 8953 : 360 - 369
  • [9] Doing Analogical Reasoning in Dynamic Assumption-based Argumentation Frameworks
    Racharak, Teeradaj
    [J]. 2022 IEEE 34TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, ICTAI, 2022, : 383 - 390
  • [10] AN ASSUMPTION-BASED TMS
    DEKLEER, J
    [J]. ARTIFICIAL INTELLIGENCE, 1986, 28 (02) : 127 - 162