[en] Argumentation frameworks constitute the central concept of argumentation theory of
Dung. In this paper we present a novel and flexible approach of analyzing argumen-
tation frameworks and their semantics based on an encoding into extensional type
theory (classical higher-order logic). This representation enables the use of a wide
range of interactive and automated higher-order reasoning tools for assessing argu-
mentation frameworks. This includes the generation of labellings (and extensions),
the assessment of meta-theoretic properties, the conduction of interactive empirical
experiments, and the flexible analysis of argumentation frameworks with interpreted
arguments.
Disciplines :
Computer science
Author, co-author :
Fuenmayor Pelaez, David ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
Steen, Alexander ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
External co-authors :
no
Language :
English
Title :
A Flexible Approach to Argumentation Framework Analysis using Theorem Proving
Publication date :
2021
Event name :
First International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021)
Event place :
Hangzhou, China
Event date :
18-20 June 2021
Audience :
International
Main work title :
First International Workshop on Logics for New-Generation Artificial Intelligence