Ghent University Academic Bibliography

Advanced

Towards the proof-theoretic unification of dung's argumentation framework: an adaptive logic approach

Christian Strasser UGent and Dunja Seselja UGent (2011) JOURNAL OF LOGIC AND COMPUTATION. 21(2). p.133-156
abstract
The article presents a unifying adaptive logic framework for abstract argumentation. It consists of a core system for abstract argumentation and various adaptive logics based on it. These logics represent in an accurate sense all standard extensions defined within Dung's abstract argumentation system with respect to sceptical and credulous acceptance. The models of our logics correspond exactly to specific extensions of given argument systems. Additionally, the dynamics of adaptive proofs mirror the argumentative reasoning of a rational agent. In particular, the presented logics allow for external dynamics, i.e. they are able to deal with the arrival of new arguments and are therefore apt to model open-ended argumentations by providing provisional conclusions.
Please use this url to cite or link to this publication:
author
organization
year
type
journalArticle (original)
publication status
published
subject
keyword
abstract argumentation, defeasible reasoning, adaptive logic, proof theory, Argumentation, GAMES, SYSTEMS, PERSUASION, PREFERRED SEMANTICS
journal title
JOURNAL OF LOGIC AND COMPUTATION
J. Logic Comput.
volume
21
issue
2
pages
133 - 156
Web of Science type
Article
Web of Science id
000289165700002
JCR category
LOGIC
JCR impact factor
0.611 (2011)
JCR rank
4/19 (2011)
JCR quartile
1 (2011)
ISSN
0955-792X
DOI
10.1093/logcom/exq015
project
Contextual and formal-logical approach to scientific problem solving processes
language
English
UGent publication?
yes
classification
A1
copyright statement
I have transferred the copyright for this publication to the publisher
id
1101225
handle
http://hdl.handle.net/1854/LU-1101225
date created
2011-01-17 12:39:56
date last changed
2011-06-08 13:42:04
@article{1101225,
  abstract     = {The article presents a unifying adaptive logic framework for abstract argumentation. It consists of a core system for abstract argumentation and various adaptive logics based on it. These logics represent in an accurate sense all standard extensions defined within Dung's abstract argumentation system with respect to sceptical and credulous acceptance. The models of our logics correspond exactly to specific extensions of given argument systems. Additionally, the dynamics of adaptive proofs mirror the argumentative reasoning of a rational agent. In particular, the presented logics allow for external dynamics, i.e. they are able to deal with the arrival of new arguments and are therefore apt to model open-ended argumentations by providing provisional conclusions.},
  author       = {Strasser, Christian and Seselja, Dunja},
  issn         = {0955-792X},
  journal      = {JOURNAL OF LOGIC AND COMPUTATION},
  keyword      = {abstract argumentation,defeasible reasoning,adaptive logic,proof theory,Argumentation,GAMES,SYSTEMS,PERSUASION,PREFERRED SEMANTICS},
  language     = {eng},
  number       = {2},
  pages        = {133--156},
  title        = {Towards the proof-theoretic unification of dung's argumentation framework: an adaptive logic approach},
  url          = {http://dx.doi.org/10.1093/logcom/exq015},
  volume       = {21},
  year         = {2011},
}

Chicago
Strasser, Christian, and Dunja Seselja. 2011. “Towards the Proof-theoretic Unification of Dung’s Argumentation Framework: An Adaptive Logic Approach.” Journal of Logic and Computation 21 (2): 133–156.
APA
Strasser, C., & Seselja, D. (2011). Towards the proof-theoretic unification of dung’s argumentation framework: an adaptive logic approach. JOURNAL OF LOGIC AND COMPUTATION, 21(2), 133–156.
Vancouver
1.
Strasser C, Seselja D. Towards the proof-theoretic unification of dung’s argumentation framework: an adaptive logic approach. JOURNAL OF LOGIC AND COMPUTATION. 2011;21(2):133–56.
MLA
Strasser, Christian, and Dunja Seselja. “Towards the Proof-theoretic Unification of Dung’s Argumentation Framework: An Adaptive Logic Approach.” JOURNAL OF LOGIC AND COMPUTATION 21.2 (2011): 133–156. Print.