Distributed multi-agent reasoning system

In Artificial Intelligence, the Distributed Multi-Agent Reasoning System (dMARS) is a platform for intelligent software agents developed at the AAII that makes uses of the BDI software model. The design for dMARS is an extension of the intelligent agent cognitive architecture developed at SRI International called PRS. The most recent incarnation of this framework is the JACK Intelligent Agents platform.

Overview

dMARS is an agent-oriented development and implementation environment written in C++ for building complex, distributed, time-critical systems.

d'Inverno, M., Luck, M., Georgeff, M., Kinny, D. and Wooldridge, M. (2004) "The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System". Journal of Autonomous Agents and Multi-Agent Systems. pp. 5–53.
Mark d'Inverno, David Kinny, Michael Luck, and Michael Wooldridge. "A Formal Specification of dMARS". In Proceedings of the Fourth International Workshop on Agent Theories, Architectures, and Languages, ATAL'97 appears in Lecture Notes in Artificial Intelligence, volume 1365, pages 155—176, 1997.
Michael Peter Georgeff, Anand S. Rao, "A profile of the Australian Artificial Intelligence Institute," IEEE Intelligent Systems, vol. 11, no. 6, pp. 89–92, December 1996.