On ASPIC+ and Defeasible Logic

被引:7
|
作者
Lam, Ho-Pun [1 ]
Governatori, Guido [1 ]
Riveret, Regis [1 ]
机构
[1] CSIRO NICTA, Data61, Sydney, NSW, Australia
来源
关键词
ASPIC(+); Defeasible Logic; argumentation; ARGUMENTATION; FRAMEWORK;
D O I
10.3233/978-1-61499-686-6-359
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Dung-like argumentation framework ASPIC(+) and Defeasible Logic (DL) are both well-studied rule-based formalisms for defeasible reasoning. We compare the two frameworks and establish a linkage between an instantiation of ASPIC+ and a DL variant, which leads to a better understanding and cross-fertilization - in particular our work sheds light on features such as ambiguity propagating/blocking, team defeat and strict rules for argumentation, while emphasizing the argumentation-theoretic features of DL.
引用
收藏
页码:359 / 370
页数:12
相关论文
共 50 条
  • [1] Dealing with Inconsistencies in ASPIC+
    Silva, Rafael
    Alcantara, Joao
    [J]. INTELLIGENT SYSTEMS, PT I, 2022, 13653 : 488 - 503
  • [2] TOAST: online ASPIC+ implementation
    Snaith, Mark
    Reed, Chris
    [J]. Computational Models of Argument, 2012, 245 : 509 - 510
  • [3] Clarifying some misconceptions on the ASPIC+ framework
    Prakken, Henry
    Modgil, Sanjay
    [J]. COMPUTATIONAL MODELS OF ARGUMENT, 2012, 245 : 442 - +
  • [4] Formalising a legal opinion on a legislative proposal in the ASPIC+ framework
    Prakken, Henry
    [J]. LEGAL KNOWLEDGE AND INFORMATION SYSTEMS (JURIX 2012), 2012, 250 : 119 - 128
  • [5] An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework
    Lehtonen, Tuomo
    Wallner, Johannes P.
    Jarvisalo, Matti
    [J]. KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 636 - 646
  • [6] Rationality and maximal consistent sets for a fragment of ASPIC+ without undercut
    Heyninck, Jesse
    Strasser, Christian
    [J]. ARGUMENT & COMPUTATION, 2021, 12 (01) : 3 - 47
  • [7] On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic
    Allaire, Marc
    Governatori, Guido
    [J]. PRIMA 2014: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS, 2014, 8861 : 74 - 90
  • [8] Defeasible logic
    Nute, D
    [J]. WEB KNOWLEDGE MANAGEMENT AND DECISION SUPPORTS, 2003, 2543 : 151 - 169
  • [9] Extending defeasible logic and defeasible prolog
    Pietarinen, AV
    [J]. ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 1075 - 1076
  • [10] DABASCO: Generating AF, ADF, and ASPIC+ Instances from Real-World Discussions
    Neugebauer, Daniel
    [J]. COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2018), 2018, 305 : 469 - 470