Abstract Weighted Based Gradual Semantics in Argumentation Theory

Read original: arXiv:2401.11472 - Published 8/21/2024 by Assaf Libman, Nir Oren, Bruno Yun
Total Score

0

Abstract Weighted Based Gradual Semantics in Argumentation Theory

Sign in to get full access

or

If you already have an account, we'll log you in

Overview

  • This paper introduces a new approach to weighted argumentation called "Abstract Weighted Based Gradual Semantics".
  • The approach aims to assign degrees of belief or acceptance to arguments based on their strengths and the strengths of the attacks and supports between them.
  • The authors propose several "scoring schemes" to formalize this notion of gradual semantics in weighted argumentation.

Plain English Explanation

The researchers are working on a way to quantify how much we should believe or accept different arguments, based on how strong the arguments are and how they relate to each other.

Imagine you have a debate with multiple arguments on both sides. Some arguments might be very strong and convincing, while others are weaker. The relationships between the arguments also matter - some might support each other, while others attack or undermine each other.

The goal of this research is to develop a system that can take all these factors into account and assign a "degree of belief" or "acceptance level" to each argument. This could be useful in applications like legal reasoning, decision-making, or analyzing online discussions.

The key idea is to use different "scoring schemes" - mathematical formulas - to quantify the strength or acceptability of each argument based on its own merits and its relationships to the other arguments. This allows for a more nuanced and granular analysis than simply classifying arguments as "accepted" or "rejected".

Technical Explanation

The paper introduces the concept of "abstract weighted based gradual semantics" as a new approach to weighted argumentation. The core idea is to assign degrees of belief or acceptance to arguments based on their intrinsic strengths and the strengths of the attacks and supports between them.

The authors propose several "scoring schemes" to formalize this notion of gradual semantics in weighted argumentation. These schemes use mathematical functions to compute an argument's degree of acceptance based on factors like:

  • The argument's own weight or strength
  • The weights of the arguments that attack it
  • The weights of the arguments that support it
  • The relationships (attack, support) between the arguments

By using these scoring schemes, the system can assign a more nuanced, graded evaluation of each argument's acceptability, rather than simply classifying them as "accepted" or "rejected".

The researchers demonstrate how their proposed scoring schemes can be used to reason about the strengths of arguments in various examples and scenarios. They also discuss connections to related work in counterfactual and semifactual explanations in abstract argumentation, non-flat assumption-based argumentation, and explaining the strength of arguments.

Critical Analysis

The paper presents a novel and interesting approach to weighted argumentation, but there are a few potential limitations and areas for further research:

  1. The scoring schemes proposed are quite complex, and it may be challenging to interpret the resulting "degrees of belief" in a meaningful way. The authors acknowledge this and suggest exploring more intuitive scoring functions.

  2. The evaluation of the approach is mostly conceptual and illustrative, without a thorough empirical assessment of its performance in real-world applications. Validating the usefulness and practical impact of the gradual semantics framework would be an important next step.

  3. The relationships between arguments (attacks, supports) are assumed to be known a priori, but in many cases, these relationships may be uncertain or contextual. Extending the framework to handle uncertain or dynamic argument relationships could be a fruitful area of investigation.

  4. The paper does not explore the computational complexity of the proposed scoring schemes, which could be an important consideration for large-scale argumentation systems. Analyzing the algorithmic properties of the gradual semantics approach would be a valuable contribution.

Overall, the paper presents a novel and thought-provoking perspective on weighted argumentation, with potential applications in areas like legal reasoning, decision-making, and online discourse analysis. Further research to address the limitations and explore the practical implications of the gradual semantics framework would be a valuable contribution to the field.

Conclusion

This paper introduces a new approach to weighted argumentation called "Abstract Weighted Based Gradual Semantics." The key idea is to assign degrees of belief or acceptance to arguments based on their intrinsic strengths and the strengths of the attacks and supports between them.

The authors propose several "scoring schemes" to formalize this notion of gradual semantics, allowing for a more nuanced and granular analysis of argument strengths than traditional binary acceptance/rejection approaches. While the proposed schemes are conceptually interesting, the paper also highlights the need for further research to address potential limitations, such as the interpretability of the resulting "degrees of belief" and the computational complexity of the approach.

Overall, the gradual semantics framework presented in this paper offers a promising direction for advancing the state of the art in weighted argumentation, with potential applications in areas like legal reasoning, decision-making, and online discourse analysis. Continued exploration and empirical validation of this approach could yield valuable insights and practical tools for reasoning about complex, multi-faceted arguments.



This summary was produced with help from an AI and may contain inaccuracies - check out the links to read the original source documents!

Follow @aimodelsfyi on 𝕏 →

Related Papers

Abstract Weighted Based Gradual Semantics in Argumentation Theory
Total Score

0

Abstract Weighted Based Gradual Semantics in Argumentation Theory

Assaf Libman, Nir Oren, Bruno Yun

Weighted gradual semantics provide an acceptability degree to each argument representing the strength of the argument, computed based on factors including background evidence for the argument, and taking into account interactions between this argument and others. We introduce four important problems linking gradual semantics and acceptability degrees. First, we reexamine the inverse problem, seeking to identify the argument weights of the argumentation framework which lead to a specific final acceptability degree. Second, we ask whether the function mapping between argument weights and acceptability degrees is injective or a homeomorphism onto its image. Third, we ask whether argument weights can be found when preferences, rather than acceptability degrees for arguments are considered. Fourth, we consider the topology of the space of valid acceptability degrees, asking whether gaps exist in this space. While different gradual semantics have been proposed in the literature, in this paper, we identify a large family of weighted gradual semantics, called abstract weighted based gradual semantics. These generalise many of the existing semantics while maintaining desirable properties such as convergence to a unique fixed point. We also show that a sub-family of the weighted gradual semantics, called abstract weighted (L^p,lambda,mu)-based gradual semantics and which include well-known semantics, solve all four of the aforementioned problems.

Read more

8/21/2024

🌿

Total Score

0

Impact Measures for Gradual Argumentation Semantics

Caren Al Anaissy, J'er^ome Delobelle, Srdjan Vesic, Bruno Yun

Argumentation is a formalism allowing to reason with contradictory information by modeling arguments and their interactions. There are now an increasing number of gradual semantics and impact measures that have emerged to facilitate the interpretation of their outcomes. An impact measure assesses, for each argument, the impact of other arguments on its score. In this paper, we refine an existing impact measure from Delobelle and Villata and introduce a new impact measure rooted in Shapley values. We introduce several principles to evaluate those two impact measures w.r.t. some well-known gradual semantics. This comprehensive analysis provides deeper insights into their functionality and desirability.

Read more

7/12/2024

🎯

Total Score

0

Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna

Explainable Artificial Intelligence and Formal Argumentation have received significant attention in recent years. Argumentation-based systems often lack explainability while supporting decision-making processes. Counterfactual and semifactual explanations are interpretability techniques that provide insights into the outcome of a model by generating alternative hypothetical instances. While there has been important work on counterfactual and semifactual explanations for Machine Learning models, less attention has been devoted to these kinds of problems in argumentation. In this paper, we explore counterfactual and semifactual reasoning in abstract Argumentation Framework. We investigate the computational complexity of counterfactual- and semifactual-based reasoning problems, showing that they are generally harder than classical argumentation problems such as credulous and skeptical acceptance. Finally, we show that counterfactual and semifactual queries can be encoded in weak-constrained Argumentation Framework, and provide a computational strategy through ASP solvers.

Read more

5/8/2024

Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation
Total Score

0

Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation

Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes P. Wallner

Most existing computational tools for assumption-based argumentation (ABA) focus on so-called flat frameworks, disregarding the more general case. In this paper, we study an instantiation-based approach for reasoning in possibly non-flat ABA. We make use of a semantics-preserving translation between ABA and bipolar argumentation frameworks (BAFs). By utilizing compilability theory, we establish that the constructed BAFs will in general be of exponential size. In order to keep the number of arguments and computational cost low, we present three ways of identifying redundant arguments. Moreover, we identify fragments of ABA which admit a poly-sized instantiation. We propose two algorithmic approaches for reasoning in possibly non-flat ABA. The first approach utilizes the BAF instantiation while the second works directly without constructing arguments. An empirical evaluation shows that the former outperforms the latter on many instances, reflecting the lower complexity of BAF reasoning. This result is in contrast to flat ABA, where direct approaches dominate instantiation-based approaches.

Read more

5/27/2024