AAAI Publications, The Twenty-Sixth International FLAIRS Conference

Font Size: 
Monotonic and Nonmonotonic Inference for Abstract Argumentation
Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert van der Torre

Last modified: 2013-05-19


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.


Logic; Argumentation; Knowledge Representation

Full Text: PDF