Goal Types in Agent Programming

Authors:
Mehdi Dastani;M. Birna van Riemsdijk;John-Jules Ch. Meyer
Affiliations:
Utrecht University, The Netherlands, Email: {mehdi,birna,jj}@cs.uu.nl;Utrecht University, The Netherlands, Email: {mehdi,birna,jj}@cs.uu.nl;Utrecht University, The Netherlands, Email: {mehdi,birna,jj}@cs.uu.nl
Venue:
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Year:
2006

Citing 4
Cited 17

Intention is choice with commitment

Artificial Intelligence
Introduction to Multiagent Systems

Introduction to Multiagent Systems
Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Multi-Agent Programming: Languages, Tools and Applications

Multi-Agent Programming: Languages, Tools and Applications

A grounded specification language for agent programs

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Towards goal-oriented development of self-adaptive systems

Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Goals in agent systems: a unifying framework

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Towards an Ontological Account of Agent-Oriented Goals

Software Engineering for Multi-Agent Systems V
Operational semantics of goal models in adaptive agents

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Agent programming with temporally extended goals

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Goal-oriented testing for MASs

International Journal of Agent-Oriented Software Engineering
Current issues in multi-agent systems development

ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Satisfying maintenance goals

DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
A goal-oriented software testing methodology

AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
A practical agent programming language

ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
A common semantic basis for BDI languages

ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
A unified interaction-aware goal framework

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
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
Rich goal types in agent programming

The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Agentification of objects in heterogeneous dynamic environments

MATES'11 Proceedings of the 9th German conference on Multiagent system technologies
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

This paper presents three types of declarative goals: perform goals, achieve goals, and maintain goals. The integration of these goal types in a simple but extendable logic-based agent-oriented programming language is discussed and motivated. The computational semantics for each goal type is presented by means of a transition system. It is shown that the presented semantics of the goal types ensure some desirable and expected properties.