Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
On statecharts with overlapping
ACM Transactions on Software Engineering and Methodology (TOSEM)
A calculus of broadcasting systems
ESOP '94 Selected papers of ESOP '94, the 5th European symposium on Programming
A logical and operational model of scalable knowledge- and perception-based agents
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
On Explicit Plan Languages for Coordinating Multiagent Plan Execution
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
A Formal Specification of dMARS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Control Structures of Rule-Based Agent Languages
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Decision-making in an embedded reasoning system
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
The Psi Calculus: An Algebraic Agent Language
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
| Hi-index | 0.00 |
Agent programming languages based on a sense-compute-act cycle and stored plan execution, such as PRS and dMARS, lack any formal semantics; this and the actual computational models which they employ can make it difficult or impossible to reason about agent behaviour. In this paperwe present the 驴 calculus, a novel algebraic language which generalizes and extends these languages and remedies several of their shortcomings. 驴 has a complete operational semantics covering all aspects of agent computation from intention step execution to the top-level control cycle, specified uniformly in process algebraic style, and has certain desirable safety, guarantee and compositionality properties which facilitate reasoning about agent program behaviour.