Agent Programming with Declarative Goals

  • Koen V. Hindriks
  • Frank S. de Boer
  • Wiebe van der Hoek
  • John-Jules Ch. Meyer
Conference paper

DOI: 10.1007/3-540-44631-1_16

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1986)
Cite this paper as:
Hindriks K.V., de Boer F.S., van der Hoek W., Meyer JJ.C. (2001) Agent Programming with Declarative Goals. In: Castelfranchi C., Lespérance Y. (eds) Intelligent Agents VII Agent Theories Architectures and Languages. ATAL 2000. Lecture Notes in Computer Science, vol 1986. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Koen V. Hindriks
    • 1
  • Frank S. de Boer
    • 1
  • Wiebe van der Hoek
    • 1
  • John-Jules Ch. Meyer
    • 1
  1. 1.Institute of Information & Computing SciencesUniversity UtrechtUtrecht

Personalised recommendations