π-Calculus Based Operational Semantics for Restricted AGENTO

AGENT0 is an agent oriented programming language The operational semantics for the interactive actions of it is yet unclear These actions can not be treated properly under the semantics model that Hindriks proposed π calculus is a useful tool to describe concurrent and interactive systems Based on it, formal operational semantics for the restricted AGENT0 is presented Simplification is the main purpose of the restriction, and this restricted AGENT0 keeps the essence of AGENT0 This semantics is more suitable for agent lives in multi agent systems than Hindriks’s