Paper Info
Title
The Psi Calculus: An Algebraic Agent Language
Abstract
驴 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 compositionality properties which facilitate reasoning about agent program behaviour.
Year
DOI
Venue
2001
10.1007/3-540-45448-9_4
ATAL
Keywords
Field
DocType
top-level control cycle,agent program behaviour,agent behaviour,plan execution,psi calculus,sense-compute-act computation cycle,agent computation,intention step execution,process algebraic style,bdi agent,algebraic agent language,novel algebraic language,operational semantics,process algebra,agent architecture
Principle of compositionality,Operational semantics,Algebraic number,Computer science,Work in process,Theoretical computer science,Computation
Conference
Volume
ISSN
ISBN
2333
0302-9743
3-540-43858-0
Citations 
PageRank 
References 
14
1.58
15
Authors
1
Name
Order
Citations
PageRank
David Kinny11940210.96