Towards an Implementation of a Concurrent Language for Argumentation

Bistarelli, Stefano; Taticchi, Carlo

doi:10.1007/978-3-030-77091-4_10

Cited by 6 publications

(10 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The present work summarises and extends a series of previous studies [16][17][18][19]45] which led to the conceptualisation and development of cla. The language was first presented in [16], where we defined an early version of the cla syntax and operational semantics.…”

Section: Bistarelli and C Taticchi / A Concurrent Language For Modell...supporting

confidence: 70%

See 1 more Smart Citation

A concurrent language for modelling agents arguing on a shared argumentation space

Bistarelli

Taticchi

2024

AAC

Self Cite

View full text Add to dashboard Cite

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 agents arguing and communicating using a shared argumentation space. We also show how to perform high-level operations like persuasion and negotiation through basic belief revision constructs, and present a working implementation of the language and the associated web interface.

show abstract

Section: Bistarelli and C Taticchi / A Concurrent Language For Modell...supporting

confidence: 70%

“…The language was first presented in [16], where we defined an early version of the cla syntax and operational semantics. Next, we introduced with [17] a prototype…”

Section: Bistarelli and C Taticchi / A Concurrent Language For Modell...mentioning

confidence: 99%

A concurrent language for modelling agents arguing on a shared argumentation space

Bistarelli

Taticchi

2024

AAC

Self Cite

View full text Add to dashboard Cite

show abstract

“…The landscape of argumentation-based chatbots has seen an increase in interest in recent years. For example, ArguBot (Bistarelli et al, 2021), developed using Google DialogFlow, employs ASPARTIX to compute arguments from an underlying Bipolar AF, or BAF, (Cayrol and Lagasquie-Schiex, 2005) to support or challenge the user's opinion about a dialog topic. The conversational capabilities of ArguBot are, however, restricted by the arguments stored in the BAF as its knowledge base, limiting its dialectical potential only to specific fully-developed interactions.…”

Section: Discussionmentioning

confidence: 99%

EQRbot: A chatbot delivering EQR argument-based explanations

Castagna

Garton

McBurney

et al. 2023

Front. Artif. Intell.

View full text Add to dashboard Cite

Recent years have witnessed the rise of several new argumentation-based support systems, especially in the healthcare industry. In the medical sector, it is imperative that the exchange of information occurs in a clear and accurate way, and this has to be reflected in any employed virtual systems. Argument Schemes and their critical questions represent well-suited formal tools for modeling such information and exchanges since they provide detailed templates for explanations to be delivered. This paper details the EQR argument scheme and deploys it to generate explanations for patients' treatment advice using a chatbot (EQRbot). The EQR scheme (devised as a pattern of Explanation-Question-Response interactions between agents) comprises multiple premises that can be interrogated to disclose additional data. The resulting explanations, obtained as instances of the employed argumentation reasoning engine and the EQR template, will then feed the conversational agent that will exhaustively convey the requested information and answers to follow-on users' queries as personalized Telegram messages. Comparisons with a previous baseline and existing argumentation-based chatbots illustrate the improvements yielded by EQRbot against similar conversational agents.

show abstract

“…The communication between tcla agents is implemented via shared memory, similarly to cla - [10,11] -and CC - [47] -and opposed to other languages as CSP - [27] -and CCS - [32] -which are based on message passing. We denote by E the class of guarded agents and by E 0 the class of guarded agents such that all outermost guards have t = 0.…”

Section: Syntax and Semanticsmentioning

confidence: 99%

“…In [9], we introduced tcla, a timed extension of the Concurrent Language for Argumentation - [10,11,13] -which models dynamic interactions between agents using basic actions like add, rmv, check and test, and exploits notions from Argumentation Theory to reason about shared knowledge. The time extension is based on the hypothesis of bounded asynchrony: the computation takes a bounded period of time and is measured by a discrete global clock.…”

Section: Introductionmentioning

confidence: 99%

Timed Concurrent Language for Argumentation: An Interleaving Approach

Bistarelli

Meo

Taticchi

2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Time is a crucial factor in modelling dynamic behaviours of intelligent agents: activities have a determined temporal duration in a real-world environment, and previous actions influence agents' behaviour. In this paper, we propose a language for modelling concurrent interaction between agents that also allows the specification of temporal intervals in which particular actions occur. Such a language exploits a timed version of Abstract Argumentation Frameworks to realise a shared memory used by the agents to communicate and reason on the acceptability of their beliefs with respect to a given time interval. An interleaving model on a single processor is used for basic computation steps, with maximum parallelism for time elapsing. Following this approach, only one of the enabled agents is executed at each moment. To demonstrate the capabilities of language, we also show how it can be used to model interactions such as debates and dialogue games taking place between intelligent agents. Lastly, we present an implementation of the language that can be accessed via a web interface. Under consideration in Theory and Practice of Logic Programming (TPLP).

show abstract

Towards an Implementation of a Concurrent Language for Argumentation

Cited by 6 publications

References 12 publications

A concurrent language for modelling agents arguing on a shared argumentation space

A concurrent language for modelling agents arguing on a shared argumentation space

EQRbot: A chatbot delivering EQR argument-based explanations

Timed Concurrent Language for Argumentation: An Interleaving Approach

Contact Info

Product

Resources

About