KQML as an agent communication language
Software agents
Concurrency and knowledge-level communication in agent languages
Artificial Intelligence
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Crash failure detection in asynchronous agent communication languages
Autonomous Agents and Multi-Agent Systems
An ACL for specifying fault-tolerant protocols
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Hi-index | 0.00 |
In the thesis we propose FT-ACL, an advanced Agent Communication Language which deals with crash failures of agents running in an open and dynamic MAS. FT-ACL provides high-level fault-tolerant communication primitives and support for an anonymous interaction protocol designed for open MAS. Moreover, the ACL satisfies a set of well defined knowledge-level programming requirements. In the thesis we provide a formal semantics for FT-ACL and a formal specification of the underlying agent architecture.