The Ψ Calculus: An Algebraic Agent Language

摘要

Ψ is a novel algebraic language for the specification of agents, such as BDI agents, which employ a sense―compute―act computation cycle and stored plan execution as the basis of agent behaviour. It generalizes and extends agent architectures such as PRS and dMARS in several ways, and possesses a complete operational semantics covering all aspects of agent computation from intention step execution to the top-level control cycle. This is specified uniformly in process algebraic style by rewrite rules, and has certain safety, guarantee and composi-tionality properties which facilitate reasoning about agent program behaviour.