Abstract
Abstract Abstract argumentation has emerged as a method for non-monotonic reasoning that has gained popularity in the symbolic artificial intelligence community. In the literature, the different approaches to abstract argumentation that were refined over the years are typically evaluated from a formal logics perspective; an analysis that is based on models of economically rational decision-making does not exist. In this paper, we work towards addressing this issue by analysing abstract argumentation from the perspective of the rational man paradigm in microeconomic theory. To assess under which conditions abstract argumentation-based decision-making can be considered economically rational, we derive reference independence as a non-monotonic inference property from a formal model of economic rationality and create a new argumentation principle that ensures compliance with this property. We then compare the reference independence principle with other reasoning principles, in particular with cautious monotony and rational monotony. We show that the argumentation semantics as proposed in Dung’s seminal paper, as well as other semantics we evaluate, with the exception of naive semantics and the SCC-recursive CF2 semantics, violate the reference independence principle. Consequently, we investigate how structural properties of argumentation frameworks impact the reference independence principle and identify cyclic expansions (both even and odd cycles) as the root of the problem. Finally, we put reference independence into the context of preference-based argumentation and show that for this argumentation variant, which explicitly models preferences, reference independence cannot be ensured in a straight-forward manner.
Highlights
In recent decades, a large body of research emerged on argumentation as a method to instill intelligence, i.e., reasoning capabilities, into computing systems
We show in this paper that changes in preferences can, given most argumentation semantics, be achieved without adding direct attacks between the arguments in an initial argumentation framework Argumentation Framework (AF), i.e., by normally expanding AF
3.2 Abstract Argumentation To allow for a concise overview of the relevant foundations of abstract argumentation, we introduce a formal definition of the basic structure of an Argumentation Framework (AF), provide the definitions of well-established argumentation semantics, and explain the notions of argumentation expansions and principles
Summary
A large body of research emerged on argumentation as a method to instill intelligence, i.e., reasoning capabilities, into computing systems. Note that in this context, we assume the agent wants to “commit” to a set of arguments it considers a valid conclusion This is aligned with the clear preference principle of economic decision-making
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: 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.