Author name cluster

Carlo Taticchi

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

3 papers

2 author rows

AAAI Conference 2025 Conference Paper

Fast Computing of Dung Semantics in Acyclic Probabilistic Argumentation Frameworks

Stefano Bistarelli
Victor David
Pierre Monnin
Francesco Santini
Carlo Taticchi

This paper presents fast and exact methods for computing the probability of an argument’s acceptance using Dung’s semantics in the Constellation paradigm of Abstract Argumentation. For (directed) Singly-Connected Graphs (SCGs), the problem can now be solved in linearithmic time instead of being exponential in the number of attacks, as reported in the literature. Moreover, in the more general case of Directed Acyclic Graphs (DAGs), we provide an algorithm whose time complexity is linearithmic in the product of the out-degree of dependent arguments, i.e., arguments reaching the argument considered for acceptance through multiple paths in the graph. We theoretically show that this complexity is lower than the lower bound of the (exact) Constellation method, which is also supported by empirical results. Our approach to DAGs is also compared with the (approximate) Monte-Carlo method, which is stopped when exact results are obtained. Within this time constraint, Monte-Carlo still outputs significant errors, underlying the fast computation of our approach.

PDF Details DOI

AAMAS Conference 2021 Conference Paper

A Concurrent Language for Negotiation and Debate with Argumentation

Carlo Taticchi

This paper summarises the main results obtained within my Ph. D. thesis where I studied argumentation from the point of view of dynamics, focusing, in particular, in the ability to manage the evolution of information. I considered different aspects of argumentation and devised theoretical and practical tools useful for developing argumentation-based applications in the context of multi-agent systems, where complex interactions between agents need to be modelled and handled.

PDF

JELIA Conference 2021 Conference Paper

Introducing a Tool for Concurrent Argumentation

Stefano Bistarelli
Carlo Taticchi

Abstract Agent-based modelling languages naturally implement concurrency for handling complex interactions between communicating agents. On the other hand, the field of Argumentation Theory lacks of instruments to explicitly model concurrent behaviours. In this paper we introduce a tool for dealing with concurrent argumentation processes and that can be used, for instance, to model agents debating, negotiating and persuading. The tool implements operations as expansion, contraction and revision. We also provide a web interface exposing the functionalities of the tool and allowing for a more careful study of concurrent processes.

Details