Abstract
AbstractIn our paper [17], we have proposed a logical encoding of argumentation frameworks with higher-order interactions (i.e. attacks or supports whose targets are arguments or other attacks or supports) with an evidential interpretation for supports, such frameworks are called REBAF. With this encoding, we are able to characterize the semantics of REBAF under the form of specific logical models. Nevertheless, this encoding has two important drawbacks: first, the handling of support cycles has some weaknesses, and second, the collective interactions (i.e. attacks or supports whose source is a set of arguments and not only one argument) are not taken into account. The present paper proposes an improvement of this encoding for solving these drawbacks. Moreover, we also extend this proposal to another kind of Higher-Order Bipolar Argumentation Framework, the RAFN, in which supports are interpreted as necessity.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
