Modular orders on defaults in formal argumentation

被引:3
|
作者
Pardo, Pere [1 ]
Strasser, Christian [2 ]
机构
[1] Univ Luxembourg, Comp Sci Dept, L-4364 Esch Sur Alzette, Luxembourg
[2] Ruhr Univ Bochum, Inst Philosophy II, D-44801 Bochum, Germany
关键词
STRUCTURED ARGUMENTATION; LOGIC;
D O I
10.1093/logcom/exac084
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Default logic and formal argumentation are paradigmatic methods in the study of nonmonotonic inference. Defeasible information often comes in different strengths stemming from different degrees of reliability in epistemic applications or from varying strengths of authorities issuing norms in deontic applications. In both paradigms, methods have been developed to deal with prioritized knowledge bases and normative systems. Questions of comparability of these methods therefore naturally arise. Argumentation theory has been developed with a strong emphasis on unification. It is therefore a desideratum to obtain natural representations of various approaches to (prioritized) default logic within frameworks of structured argumentation, such as ASPIC. Important steps in this direction have been presented in Liao et al. (2016, 2018). In this work, we identify and address some problems in earlier translations, we broaden the focus from total to modular orderings of defaults and we consider non-normal defaults.
引用
收藏
页码:665 / 697
页数:33
相关论文
共 50 条
  • [1] Prioritized Norms and Defaults in Formal Argumentation
    Liao, Beishui
    Oren, Nir
    van der Torre, Leendert
    Villata, Serena
    [J]. DEONTIC LOGIC AND NORMATIVE SYSTEMS, 2016, : 139 - 154
  • [2] Logic Programming with Defaults and Argumentation Theories
    Wan, Hui
    Grosof, Benjamin
    Kifer, Michael
    Fodor, Paul
    Liang, Senlin
    [J]. LOGIC PROGRAMMING, 2009, 5649 : 432 - +
  • [3] Defeasibility in answer set programs with defaults and argumentation rules
    Wan, Hui
    Kifer, Michael
    Grosof, Benjamin
    [J]. SEMANTIC WEB, 2015, 6 (01) : 81 - 98
  • [4] FORMAL LOGIC AND ARGUMENTATION
    Oller, Carlos A.
    [J]. REVISTA DE FILOSOFIA Y TEORIA POLITICA, 2006, 37 : 83 - 91
  • [5] ENFORCEMENT IN FORMAL ARGUMENTATION
    Baumann, Ringo
    Doutre, Sylvie
    Mailly, Jean-Guy
    Wallner, Johannes P.
    [J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (06): : 1623 - 1677
  • [6] Enforcement in formal argumentation
    Baumann, Ringo
    Doutre, Sylvie
    Mailly, Jean-Guy
    Wallner, Johannes P.
    [J]. Journal of Applied Logics, 2021, 8 (06): : 1623 - 1678
  • [7] ARGUMENT STRENGTH IN FORMAL ARGUMENTATION
    Beirlaen, Mathieu
    Heyninck, Jesse
    Pardo, Pere
    Strasser, Christian
    [J]. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2018, 5 (03): : 629 - 675
  • [8] The Formal Argumentation Libraries of Tweety
    Thimm, Matthias
    [J]. THEORY AND APPLICATIONS OF FORMAL ARGUMENTATION, TAFA 2017, 2018, 10757 : 137 - 142
  • [9] Prioritized norms in formal argumentation
    Liao, Beishui
    Oren, Nir
    van der Torre, Leendert
    Villata, Serena
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2019, 29 (02) : 215 - 240
  • [10] A logical account of formal argumentation
    Caminada M.W.A.
    Gabbay D.M.
    [J]. Studia Logica, 2009, 93 (2-3) : 109 - 145