An Unified Framework for Programming Autonomous, Intelligent and Mobile Agents

This paper proposes an unified framework for programming autonomous intelligent and mobile agents. This framework is composed of a language called CLAIM (Computational Language for Autonomous, Intelligent and Mobile Agents) that allows to design Multi-Agent Systems and amulti-platforms ystem(SyM PA) compliant with the standard MASIF (OMG specifications). CLAIM agents are endowed with cognitive capabilities (e.g. reasonning, planning, etc.), are able to communicate with other agents and are mobile (the agents can be distributed over several platforms and can move from one to another). The mobility primitives are inspired from the ambient calculus. This paper presents the main features of CLAIM, resumes the most significant aspects of SyMPA, highlights CLAIM's expressiveness and discusses mobility completeness.