paper-with-me

Papers

Defense semantics of argumentation: encoding reasons for accepting arguments

2017-04-30 · Beishui Liao, Leendert van der Torre

In this paper we show how the defense relation among abstract arguments can be used to encode the reasons for accepting arguments. After introducing a novel notion of defenses and defense graphs, we propose a defense semantics together with a new notion of defense equivalence of argument graphs, and compare defense equivalence with standard equivalence and strong equivalence, respectively. Then, based on defense semantics, we define two kinds of reasons for accepting arguments, i.e., direct reasons and root reasons, and a notion of root equivalence of argument graphs. Finally, we show how the notion of root equivalence can be used in argumentation summarization.

📄 PDF Abstract BibTeX arXiv:1705.00303

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Defense semantics of argumentation: revisit

2023-11-20 · Beishui Liao, Leendert van der Torre

In this paper we introduce a novel semantics, called defense semantics, for Dung's abstract argumentation frameworks in terms of a notion of (partial) defence, which is a triple encoding that one argument is (partially) …

Abstract Argumentation

Argumentation Semantics for Prioritised Default Logic

2015-06-26 · Anthony P. Young, Sanjay Modgil, Odinaldo Rodrigues

We endow prioritised default logic (PDL) with argumentation semantics using the ASPIC+ framework for structured argumentation, and prove that the conclusions of the justified arguments are exactly the prioritised default…

Evidential-Based Higher-Order Set Argumentation Framework

2026-08-28 · Shuai Tang arxiv

Evidential argumentation extends Dung's abstract argumentation by requiring arguments and interactions to be backed by chains of evidence rooted in prima-facie elements. However, existing formalisms lack a unified treatm…

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)

2024-08-26 · Lydia Blümel, Matthias Thimm

We consider the notion of a vacuous reduct semantics for abstract argumentation frameworks, which, given two abstract argumentation semantics {\sigma} and {\tau}, refines {\sigma} (base condition) by accepting only those…

Abstract Argumentation

Fudge: A light-weight solver for abstract argumentation based on SAT reductions

2021-09-07 · Matthias Thimm, Federico Cerutti, Mauro Vallati

We present Fudge, an abstract argumentation solver that tightly integrates satisfiability solving technology to solve a series of abstract argumentation problems. While most of the encodings used by Fudge derive from sta…

Abstract ArgumentationTranslation