Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions)

Authors:
Rafael H. Bordini;Jomi Fred Hübner
Affiliations:
Federal University of Rio Grande do Sul, Brazil, email: R.Bordini@inf.ufrgs.br;Federal University of Santa Catarina, Brazil, email: jomi@das.ufsc.br
Venue:
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Year:
2010

Citing 14
Cited 4

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
A Formal Specification of dMARS

ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Proving BDI Properties of Agent-Oriented Programming Languages

Annals of Mathematics and Artificial Intelligence
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
Verifying Multi-agent Programs by Model Checking

Autonomous Agents and Multi-Agent Systems
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)
Aborting tasks in BDI agents

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
2APL: a practical agent programming language

Autonomous Agents and Multi-Agent Systems
Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels

International Journal of Agent-Oriented Software Engineering
Integrating heterogeneous agent programming platforms within artifact-based environments

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
On the formal semantics of speech-act based communication in an agent-oriented programming language

Journal of Artificial Intelligence Research
Automated Verification of Multi-Agent Programs

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Modules as policy-based intentions: modular agent programming in GOAL

ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Programming declarative goals using plan patterns

DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies

Operational behaviour for executing, suspending, and aborting goals in BDI agent systems

DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Social-Compliance in Trust Management within Virtual Communities

WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
An adaptive and Socially-Compliant Trust Management System for virtual communities

Proceedings of the 27th Annual ACM Symposium on Applied Computing
An operational semantics for the goal life-cycle in BDI agents

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Jason is a platform for agent-based software development that is characterised both by being based on a programming language with formal semantics as well as having many language and platforms features that are very useful for practical programming, but not fully formalised. In this paper, we make significant progress in the direction of formalising the aspects of the variant of AgentSpeak that is interpreted by Jason that were not included in previous work on giving formal semantics to AgentSpeak. In particular, we give semantics to the plan failure handling mechanism which is unique to Jason, and also for some of the predefined internal actions that can alter an agent's mental state. Such internal actions are essential for some aspects of BDI-based programming, such as checking or dropping current goals or intentions, and therefore need to be formally defined within the operational semantics of the language.