ASSUMPTIVE SEQUENT-BASED ARGUMENTATION

被引:0
|
作者
Borg, AnneMarie [1 ]
机构
[1] Univ Utrecht, Dept Informat & Comp Sci, Utrecht, Netherlands
关键词
ADAPTIVE LOGICS; TUTORIAL;
D O I
暂无
中图分类号
B81 [逻辑学(论理学)];
学科分类号
010104 ; 010105 ;
摘要
In many expert and everyday reasoning contexts it is very useful to reason on the basis of defeasible assumptions. For instance, if the information at hand is incomplete we often use plausible assumptions, or if the information is conflicting we interpret it as consistently as possible. In this paper sequent-based argumentation, a form of logical argumentation in which arguments are represented by a sequent, is extended to incorporate defeasible assumptions. The resulting assumptive framework is general, in that several other approaches to reasoning with assumptions from the literature can adequately be represented in it. Moreover, assumptive sequent-based argumentation has many desirable properties. It will be shown that assumptive sequent-based argumentation can easily be extended to a prioritized setting, it satisfies rationality postulates and reasoning with maximally consistent subsets can be represented in it.
引用
收藏
页码:227 / 294
页数:68
相关论文
共 50 条
  • [1] Assumptive sequent-based argumentation
    Borg, Anne Marie
    [J]. Borg, Anne Marie (a.borg@uu.nl), 1600, College Publications (07): : 227 - 294
  • [2] Sequent-based logical argumentation
    Arieli, Ofer
    Strasser, Christian
    [J]. ARGUMENT & COMPUTATION, 2015, 6 (01) : 73 - 99
  • [3] Prioritized Sequent-Based Argumentation
    Arieli, Ofer
    Borg, AnneMarie
    Strasser, Christian
    [J]. PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 1105 - 1113
  • [4] A Sequent-Based Representation of Logical Argumentation
    Arieli, Ofer
    [J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, 2013, 8143 : 69 - 85
  • [5] Normative reasoning by sequent-based argumentation
    Strasser, Christian
    Arieli, Ofer
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2019, 29 (03) : 387 - 415
  • [6] Attack principles in sequent-based argumentation theory
    Corsi, Esther Anna
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2024,
  • [7] Equipping Sequent-Based Argumentation with Defeasible Assumptions
    Borg, AnneMarie
    [J]. COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2018), 2018, 305 : 129 - 136
  • [8] Dynamic Derivations for Sequent-Based Logical Argumentation
    Arieli, Ofer
    Strasser, Christian
    [J]. COMPUTATIONAL MODELS OF ARGUMENT, 2014, 266 : 89 - 100
  • [9] Sequent-based logical argumentation (vol 6, pg 73, 2015)
    Arieli, O.
    Strasser, C.
    [J]. ARGUMENT & COMPUTATION, 2015, 6 (01) : VI - VI
  • [10] Reasoning with coincidence grids-A sequent-based logic and an analysis of complexity
    Barker-Plummer, Dave
    Swoboda, Nik
    [J]. JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2011, 22 (01): : 56 - 65