A Concurrent Language for Argumentation: Preliminary Notes
Stefano Bistarelli, Carlo Taticchi · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2020
While agent-based modelling languages naturally implement concurrency, the currently available languages for argumentation do not allow to explicitly model this type of interaction. In this paper we introduce a concurrent language for handling process arguing and communicating using a shared argumentation framework (reminding shared constraint store as in concurrent constraint). We introduce also basic expansions, contraction and revision procedures as main bricks for enforcement, debate, negotiation and persuasion.