Advanced search
1 file | 381.56 KB

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

Author
Organization
Project
Contextual and formal-logical approach to scientific problem solving processes
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.
Keywords
abstract argumentation, defeasible reasoning, adaptive logic, proof theory, Argumentation, GAMES, SYSTEMS, PERSUASION, PREFERRED SEMANTICS

Downloads

    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 381.56 KB

Citation

Please use this url to cite or link to this publication:

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.
@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},
}

Altmetric
View in Altmetric
Web of Science
Times cited: