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

Research

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/Magazine › Journal article › peer-review

E-pub ahead of print

Standard

Argus: Programming with Communication Protocols in a Belief-Desire-Intention Architecture. / Christie, Samuel H.; Singh, Munindar P.; Chopra, Amit K.
In: Artificial Intelligence, Vol. 348, 104398, 30.11.2025.

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Harvard

Christie, SH, Singh, MP & Chopra, AK 2025, 'Argus: Programming with Communication Protocols in a Belief-Desire-Intention Architecture', Artificial Intelligence, vol. 348, 104398. https://doi.org/10.1016/j.artint.2025.104398

APA

Christie, S. H., Singh, M. P., & Chopra, A. K. (2025). Argus: Programming with Communication Protocols in a Belief-Desire-Intention Architecture. Artificial Intelligence, 348, Article 104398. Advance online publication. https://doi.org/10.1016/j.artint.2025.104398

Vancouver

Christie SH, Singh MP, Chopra AK. Argus: Programming with Communication Protocols in a Belief-Desire-Intention Architecture. Artificial Intelligence. 2025 Nov 30;348:104398. Epub 2025 Aug 8. doi: 10.1016/j.artint.2025.104398

Author

Christie, Samuel H. ; Singh, Munindar P. ; Chopra, Amit K. / Argus: Programming with Communication Protocols in a Belief-Desire-Intention Architecture. In: Artificial Intelligence. 2025 ; Vol. 348.

Bibtex

@article{eccce12e48644fb1b52c76ea44937aee,
title = "Argus: Programming with Communication Protocols in a Belief-Desire-Intention Architecture",
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.",
author = "Christie, {Samuel H.} and Singh, {Munindar P.} and Chopra, {Amit K.}",
year = "2025",
month = aug,
day = "8",
doi = "10.1016/j.artint.2025.104398",
language = "English",
volume = "348",
journal = "Artificial Intelligence",
issn = "0004-3702",
publisher = "Springer Netherlands",

}

RIS

TY - JOUR

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

AU - Christie, Samuel H.

AU - Singh, Munindar P.

AU - Chopra, Amit K.

PY - 2025/8/8

Y1 - 2025/8/8

N2 - 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.

AB - 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.

U2 - 10.1016/j.artint.2025.104398

DO - 10.1016/j.artint.2025.104398

M3 - Journal article

VL - 348

JO - Artificial Intelligence

JF - Artificial Intelligence

SN - 0004-3702

M1 - 104398

ER -