Home > Research > Publications & Outputs > Argus: Programming with Communication Protocols...

Links

Text available via DOI:

View graph of relations

Argus: Programming with Communication Protocols in a Belief-Desire-Intention Architecture

Research output: Contribution to Journal/MagazineJournal articlepeer-review

E-pub ahead of print
Close
Article number104398
<mark>Journal publication date</mark>30/11/2025
<mark>Journal</mark>Artificial Intelligence
Volume348
Publication StatusE-pub ahead of print
Early online date8/08/25
<mark>Original language</mark>English

Abstract

Protocols model multiagent systems (MAS) by capturing the communications between its agents. Belief-Desire-Intention (BDI) architectures provide an attractive way for organizing an agent in terms of cognitive concepts. Current BDI approaches, however, lack adequate support for engineering protocol-based agents.
We describe Argus, an approach that melds recent advances in flexible, declarative communication protocols with BDI architectures. For concreteness, we adopt Jason as an exemplar of the BDI paradigm and show how to support protocol-based reasoning in it. Specifically, Argus contributes
(1)
a novel architecture and formal operational semantics combining protocols and BDI;
(2)
a code generation-based programming model that guides the implementation of agents; and
(3)
integrity checking for incoming and outgoing messages that help ensure that the agents are well-behaved.
The Argus conceptual architecture builds quite naturally on top of Jason. Thus, Argus enables building more flexible multiagent systems while using a BDI architecture than is currently possible.