Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises
By: Carlo Proietti, Antonio Yuste-Ginel
Potential Business Impact:
Makes computer arguments more believable with uncertainty.
Modelling qualitative uncertainty in formal argumentation is essential both for practical applications and theoretical understanding. Yet, most of the existing works focus on \textit{abstract} models for arguing with uncertainty. Following a recent trend in the literature, we tackle the open question of studying plausible instantiations of these abstract models. To do so, we ground the uncertainty of arguments in their components, structured within rules and premises. Our main technical contributions are: i) the introduction of a notion of expressivity that can handle abstract and structured formalisms, and ii) the presentation of both negative and positive expressivity results, comparing the expressivity of abstract and structured models of argumentation with uncertainty. These results affect incomplete abstract argumentation frameworks, and their extension with dependencies, on the abstract side, and ASPIC+, on the structured side.
Similar Papers
On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
Artificial Intelligence
Makes computers reason better with conflicting ideas.
Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
Artificial Intelligence
Compares reasoning systems to spot failures
The Argument is the Explanation: Structured Argumentation for Trust in Agents
Machine Learning (CS)
Lets AI show its thinking steps for checking facts.