reasoning about the outcome; argumentation framework
Abstract :
[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 :
Computer science
Author, co-author :
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)
External co-authors :
yes
Language :
English
Title :
Monotonic and non-monotonic inference for abstract argumentation
Publication date :
2013
Event name :
26th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2013)
Event date :
May 2013
Audience :
International
Main work title :
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2013