Agent programming with declarative goals

Koen V. Hindriks*, Frank S. De Boer, Wiebe Van Der Hoek, John Jules Ch Meyer

*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming frameworks have not incorporated the concept of a declarative goal. Instead, such frameworks have focused mainly on plans or goals-to-do instead of the end goals to be realised which are also called goals-to-be. In this paper, a new programming language called GOAL is introduced which incorporates such declarative goals. The notion of a commitment strategy - one of the main theoretical insights due to agent logics, which explains the relation between beliefs and goals - is used to construct a computational semantics for GOAL. Finally, a proof theory for proving properties of GOAL agents is introduced. An example program is proven correct by using this programming logic.

Original languageEnglish
Title of host publicationIntelligent Agents VII
Subtitle of host publicationAgent Theories Architectures and Languages - 7th International Workshop, ATAL 2000, Proceedings
Number of pages16
Publication statusPublished - 1 Dec 2001
Externally publishedYes
Event7th International Workshop on Agent Theories Architectures and Languages, ATAL 2000 - Boston, MA, United States
Duration: 7 Jul 20009 Jul 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1986 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference7th International Workshop on Agent Theories Architectures and Languages, ATAL 2000
Country/TerritoryUnited States
CityBoston, MA


Dive into the research topics of 'Agent programming with declarative goals'. Together they form a unique fingerprint.

Cite this