Programming mobile intelligent agents: an operational semantics

This work presents the operational semantics of an agent oriented programming language called CLAIM. CLAIM allows the design of multiagent systems that support both stationary and mobile agents. Agents designed using CLAIM are endowed with cognitive capabilities, are able to communicate with other agents and are mobile. The primitives of mobility are inspired from the ambient calculus. The operational semantics reduction rules of CLAIM are illustrated on a practical example.