A common semantic basis for BDI languages

Authors:
Louise A. Dennis;Berndt Farwer;Rafael H. Bordini;Michael Fisher;Michael Wooldridge
Affiliations:
Department of Computer Science, University of Liverpool, UK;Department of Computer Science, University of Durham, UK;Department of Computer Science, University of Durham, UK;Department of Computer Science, University of Liverpool, UK;Department of Computer Science, University of Liverpool, UK
Venue:
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Year:
2007

Citing 13
Cited 15

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
Remote Agent: to boldly go where no AI system has gone before

Artificial Intelligence - Special issue: artificial intelligence 40 years later
Model checking multi-agent systems with MABLE

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
A Formal Embedding of AgentSpeak(L) in 3APL

AI '98 Selected papers from the 11th Australian Joint Conference on Artificial Intelligence on Advanced Topics in Artificial Intelligence
Model Checking Programs

ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Role-assignment in open agent societies

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A Flexible BDI Architecture Supporting Extensibility

IAT '05 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)

Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Goal Types in Agent Programming

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Multi-Agent Programming: Languages, Tools and Applications

Multi-Agent Programming: Languages, Tools and Applications
Programming declarative goals using plan patterns

DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
METATEM: the story so far

ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems

A flexible framework for verifying agent programs

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
A Common Basis for Agent Organisation in BDI Languages

Languages, Methodologies and Development Tools for Multi-Agent Systems
Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines

MATES '08 Proceedings of the 6th German conference on Multiagent System Technologies
Language Constructs for Multi-agent Programming

Computational Logic in Multi-Agent Systems
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents

RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
CogBox: combined artificial intelligence methodologies to achieve a semi-realistic agent in serious games

ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
An agent language with destructive assignment and model-theoretic semantics

CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Model checking agent programs by using the program interpreter

CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Formal methods in agent-oriented software engineering

AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Agent factory: a framework for prototyping logic-based AOP languages

MATES'11 Proceedings of the 9th German conference on Multiagent system technologies
Abductive logic programming agents with destructive databases

Annals of Mathematics and Artificial Intelligence
A feature model of actor, agent, and object programming languages

Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Model checking agent programming languages

Automated Software Engineering
State space reduction for model checking agent programs

ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Verifying autonomous systems

Communications of the ACM

Quantified Score

Hi-index	0.02

Visualization

Abstract

We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to provide a common semantic basis for a number of BDI programming languages in order to support both formal verification and the transfer of concepts and developments. We examine some of the key features of AIL, unifying a wide variety of structures appearing in the operational semantics of BDI programming languages. In particular, we highlight issues in the treatment of events, goals, and intentions, which are central to the design of these languages.