Agent Programming with Declarative Goals



Boer, FS de, Hindriks, KV, Hoek, W van der and Meyer, J-J Ch
(2002) Agent Programming with Declarative Goals. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1986 L. pp. 228-243.

[img] Text
0207008v1.pdf - Author Accepted Manuscript

Download (327kB)

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. Thus, we offer a complete theory of agent programming in the sense that our theory provides both for a programming framework and a programming logic for such agents. An example program is proven correct by using this programming logic.

Item Type: Article
Uncontrolled Keywords: cs.AI, cs.AI, cs.PL, F.3.1;F.3.2;I.2.5;I.2.4
Depositing User: Symplectic Admin
Date Deposited: 07 Nov 2016 08:24
Last Modified: 19 Jan 2023 07:26
DOI: 10.1007/3-540-44631-1_16
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3004388