reasoning about the outcome; argumentation framework
Résumé :
[en] We present a new approach to reasoning about the outcome
of an argumentation framework, where an agent’s reasoning
with a framework and semantics is represented by an inference relation defined over a logical labeling language. We first study a monotonic type of inference which is, in a sense, more general than an acceptance function, but equally expressive. In order to overcome the limitations of this expressiveness, we study a non-monotonic type of inference which allows counterfactual inferences. We precisely characterize the classes of frameworks distinguishable by the non-monotonic inference relation for the admissible semantics.
Disciplines :
Sciences informatiques
Auteur, co-auteur :
BOOTH, Richard ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Kaci, Souhila
RIENSTRA, Tjitze ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Monotonic and non-monotonic inference for abstract argumentation
Date de publication/diffusion :
2013
Nom de la manifestation :
26th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2013)
Date de la manifestation :
May 2013
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2013
