AN ACL FOR SPECIFYING FAULT-TOLERANT PROTOCOLS
Applied Artificial Intelligence
A Step Towards Fault Tolerance for Multi-Agent Systems
Languages, Methodologies and Development Tools for Multi-Agent Systems
Facilitating Agent Development in Open Distributed Systems
Languages, Methodologies and Development Tools for Multi-Agent Systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
Autonomous Agents: When the Mailbox Remains Empty
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Where Are All the Agents? On the Gap between Theory and Practice of Agent-Based Referral Networks
PRIMA '09 Proceedings of the 12th International Conference on Principles of Practice in Multi-Agent Systems
Performative patterns for designing verifiable ACLs
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Declarative Specification Of Fault Tolerant Auction Protocols: The English Auction Case Study
Computational Intelligence
Hi-index | 0.00 |
Agent Communication Languages (ACLs) have been developed to provide a way for agents to communicate with each other supporting cooperation in Multi-Agent Systems (MAS). In the past few years many ACLs have been proposed for MAS and new standards are emerging such as the ACL developed by the Foundation for Intelligent Physical Agents (FIPA). Despite these efforts, an important issue in the research on ACLs is still open and concerns how these languages should deal with failures of agents in asynchronous MAS. The Fault Tolerant Agent Communication Language ( $$\mathbb{FT}$$- $$\mathbb{ACL}$$) presented in this paper addresses this issue dealing with crash failures of agents. $$\mathbb{FT}$$- $$\mathbb{ACL}$$ provides high-level communication primitives which support a fault-tolerant anonymous interaction protocol designed for open MAS. We present a formal semantics for $$\mathbb{FT}$$- $$\mathbb{ACL}$$ and a formal specification of the underlying agent architecture. This formal framework allows us to prove that the ACL satisfies a set of well defined knowledge-level programming requirements. To illustrate the language features we show how $$\mathbb{FT}$$- $$\mathbb{ACL}$$ can be effectively used to write high-level executable specifications of fault tolerant protocols, such as the Contract Net one.