Agent programming with declarative goals

Hindriks, KV, De Boer, FS, Van Der Hoek, W ORCID: 0000-0003-0721-0310 and Meyer, JJC (2001) 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. An example program is proven correct by using this programming logic. © Springer-Verlag Berlin Heidelberg 2001.

Item Type:	Article
Uncontrolled Keywords:	cs.AI, cs.AI, cs.PL
Depositing User:	Symplectic Admin
Date Deposited:	07 Nov 2016 08:24
Last Modified:	21 Apr 2026 23:19
DOI:	10.1007/3-540-44631-1_16
Related Websites:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3004388
Disclaimer:	The University of Liverpool is not responsible for content contained on other websites from links within repository metadata. Please contact us if you notice anything that appears incorrect or inappropriate.