Intention is choice with commitment
Artificial Intelligence
The Z notation: a reference manual
The Z notation: a reference manual
A calculus of mobile processes, II
Information and Computation
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
Building cognitively rich agents using the SIM_Agent toolkit
Communications of the ACM
JAM: a BDI-theoretic mobile agent architecture
Proceedings of the third annual conference on Autonomous Agents
Multiagent systems
Formal methods in DAI: logic-based representation and reasoning
Multiagent systems
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
Computationally Grounded Theories of Agency
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Proving BDI Properties of Agent-Oriented Programming Languages
Annals of Mathematics and Artificial Intelligence
CASO: a framework for dealing with objectives in a constraint-based extension to AgentSpeak(L)
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Discovering Semantic Web services using SPARQL and intelligent agents
Web Semantics: Science, Services and Agents on the World Wide Web
An agentspeak meta-interpreter and its applications
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
BDI agent programming in agentspeak using Jason
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Hi-index | 0.00 |
This paper presents what is, to the best of our knowledge, the very first successful attempt at running AgentSpeak(L) programs. AgentSpeak(L) is a programming language for BDI agents, created by Rao, with which he pointed for the first time towards bridging the gap between BDI logics and implemented BDI systems. Moreover, it has quite an elegant and neat notation for a BDI programming language, which could establish a turning point in the practice of implementing cognitive multi-agent systems, should it be turned into a working interpreter or compiler. Precisely because such (implemented) interpreter or compiler was unavailable, AgentSpeak(L)has been neglected, as have other agent-oriented programming languages with a strong theoretical support, by multi-agent system practitioners. This paper shows a way of turning AgentSpeak(L)agents into running programs within Sloman's SIM_AGENT toolkit. We have called this prototype interpreter SIM_Speak, and we have tested it with a multi-agent traffic simulation. We also discuss the limitations and possible extensions to SIM_Speak.