[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 :
Sciences informatiques
Auteur, co-auteur :
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)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
A Flexible Approach to Argumentation Framework Analysis using Theorem Proving
Date de publication/diffusion :
2021
Nom de la manifestation :
First International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021)
Lieu de la manifestation :
Hangzhou, Chine
Date de la manifestation :
18-20 June 2021
Manifestation à portée :
International
Titre de l'ouvrage principal :
First International Workshop on Logics for New-Generation Artificial Intelligence
