Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Evidential Supports: Taking into account the Collective Interactions

In [11], we have proposed a logical encoding of argumentation frameworks with higher-order interactions (i.e. attacks/supports whose targets are arguments or other attacks/supports) with an evidential meaning for supports (such frameworks are called REBAF). Then this encoding has been used for giving a characterization of REBAF semantics. In this work, two constraints have been given: first the source of an interaction must be a single argument, second no support cycle is authorized in the REBAF. In [20], a first improvement of this work has been done in order to relax the second constraint, correcting the first attempt done in [11] and allowing to take into account REBAF with any kind of support cycles. In this new work, we propose a second improvement of our previous works in order to relax the first constraint and so to be able to take into account collective interactions, i.e. those whose source can be a set of arguments and not only one single argument.[11] Claudette Cayrol and Marie-Christine Lagasquie-Schiex. Logical encoding of argumentation frameworks with higher-order attacks and evidential supports. International Journal on Artificial Intelligence Tools, 29(3-4):2060003:1–2060003:50, June 202