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

Read more

Summary

Introduction

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

Economic Rationality and Artificial Intelligence
Theoretical Background
Argumentation Expansions
Properties of Non-monotonic Inference in Argumentation
Rational Argumentation-based Decision-Making
An Argumentation Principle for the Rational Man
Reference Independence and Monotony
Reference Dependence in Abstract Argumentation
Cycles and Reference Independence
Let us suppose the following statement holds true:
10. Related Work
Findings
11. Conclusion and Future Work
Full Text
Paper version not known

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 call

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.