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. ISSN 0302-9743, 1611-3349

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:	07 Dec 2024 11:20
DOI:	10.1007/3-540-44631-1_16
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3004388