Notes on Abstract Argumentation Theory
This note reviews Section 2 of Dung's seminal 1995 paper on abstract argumentation theory. In particular, we clarify and make explicit all of the proofs mentioned therein, and provide more examples to illustrate the definitions, with the aim to help readers approaching abstract argumentation theory for the first time. However, we provide minimal commentary and will refer the reader to Dung's paper for the intuitions behind various concepts. The appropriate mathematical prerequisites are provided in the appendices.
Code (0)
등록된 구현이 없습니다.
Tasks
Abstract ArgumentationSimilar Papers 제목 키워드 기반
Applying Abstract Argumentation Theory to Cooperative Game Theory
We apply ideas from abstract argumentation theory to study cooperative game theory. Building on Dung's results in his seminal paper, we further the correspondence between Dung's four argumentation semantics and solution …
Abstract ArgumentationNumerical Abstract Persuasion Argumentation for Expressing Concurrent Multi-Agent Negotiations
A negotiation process by 2 agents e1 and e2 can be interleaved by another negotiation process between, say, e1 and e3. The interleaving may alter the resource allocation assumed at the inception of the first negotiation …
Abstract ArgumentationRelationTheory of Semi-Instantiation in Abstract Argumentation
We study instantiated abstract argumentation frames of the form $(S,R,I)$, where $(S,R)$ is an abstract argumentation frame and where the arguments $x$ of $S$ are instantiated by $I(x)$ as well formed formulas of a well …
Abstract ArgumentationImproving Quality Assessment of Online Reviews UsingFormal Argumentation Theory and Knowledge Graphs
In this extended abstract, we introduce a previously developed framework for the assessment of the quality of product reviews by using formal argumentation theory and machine learning. Then, we outline current developme…
BIG-bench Machine LearningKnowledge GraphsPrioritized Norms in Formal Argumentation
To resolve conflicts among norms, various nonmonotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent nonmonotonic logics. In this paper, we…