ASPIC-END: Structured Argumentation with Explanations and Natural Deduction
English
Dauphin, Jérémie[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Cramer, Marcos[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2018
Theory and Applications of Formal Argumentation
Yes
The 2017 International Workshop on Theory and Applications of Formal Argument
19-20 August 2017
[en] We propose ASPIC-END, an adaptation of the structured argumentation framework ASPIC+ which can incorporate explanations and natural deduction style arguments. We discuss an instantiation of ASPIC-END that models argumentation about explanations of semantic paradoxes (e.g. the Liar paradox), and we show that ASPIC-END satisfies rationality postulates akin to those satisfied by ASPIC+.