Programming mobile intelligent agents: an operational semantics
Amal El Fallah-Seghrouchni, Alexandru Suna · Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004). · 2004
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.