Proving BDI Properties of Agent-Oriented Programming Languages

Authors:
Rafael H. Bordini;álvaro F. Moreira
Affiliations:
Department of Computer Science, University of Liverpool, Liverpool L69 7ZF, U.K. E-mail: R.Bordini@csc.liv.ac.uk;Departamento de Informática Teórica, Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre RS, 91501-970, Brazil E-mail: afmoreira@inf.ufrgs.br
Venue:
Annals of Mathematics and Artificial Intelligence
Year:
2004

Citing 16
Cited 27

The Z notation: a reference manual

The Z notation: a reference manual
Agent-oriented programming

Artificial Intelligence
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
Formal methods in DAI: logic-based representation and reasoning

Multiagent systems
ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
ViP: a visual programming language for plan execution systems

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
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
A Survey of Concurrent METATEM - the Language and its Applications

ICTL '94 Proceedings of the First International Conference on Temporal Logic
Intention and Rationality for PRS-Like Agents

AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Modelling PRS-Like Agents' Mental States

PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
MINERVA - A Dynamic Logic Programming Agent Architecture

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Running AgentSpeak(L) Agents on SIM_AGENT

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
The Psi Calculus: An Algebraic Agent Language

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Computationally Grounded Theories of Agency

ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)

Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
State-Space Reduction Techniques in Agent Verification

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Verifying Multi-agent Programs by Model Checking

Autonomous Agents and Multi-Agent Systems
User defined monitoring strategies for BDI agent programs

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Belief revision for AgentSpeak agents

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A Component-Based Architecture for Multi-Agent Systems

IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Goals in the context of BDI plan failure and planning

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Toward an AgentSpeak(L) Theory of Commitment and Intentional Learning

MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
CTL AgentSpeak(L): A specification language for agent programs

Journal of Algorithms
On the formal semantics of speech-act based communication in an agent-oriented programming language

Journal of Artificial Intelligence Research
Using Jason to implement a team of gold miners

CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions)

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A dialogue games framework for the operational semantics of logic agent-oriented languages

CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
A BDI agent programming language with failure handling, declarative goals, and planning

Autonomous Agents and Multi-Agent Systems
Where logic and agents meet

Annals of Mathematics and Artificial Intelligence
CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services

WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Agent-Oriented programming with underlying ontological reasoning

DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
A software architecture for multi-agent systems

CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I
Reasoning with the outcomes of plan execution in intentional agents

AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Automating belief revision for agentspeak

DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Programming declarative goals using plan patterns

DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
BDI agent programming in agentspeak using Jason

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
1000 years of Coo-BDI

DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Speech-Act based communication: progress in the formal semantics and in the implementation of multi-agent oriented programming languages

DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
A defeasible logic of intention

MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services

Web Intelligence and Agent Systems
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services

Web Intelligence and Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we consider each of the nine BDI principles defined by Rao and Georgeff based on Bratman's asymmetry thesis, and we verify which ones are satisfied by Rao's AgentSpeak(L), a logic programming language inspired by the BDI architecture for cognitive agents. In order to set the grounds for the proofs, we first introduce a rigorous way in which to define the informational, motivational, and deliberative modalities of BDI logics for AgentSpeak(L) agents, according to its structural operational semantics that we introduced in a recent paper. This computationally grounded semantics for the BDI modalities forms the basis of a framework that can be used to further investigate BDI properties of AgentSpeak(L) agents, and contributes towards establishing firm theoretical grounds for a BDI approach to agent-oriented programming.