Agent Programming with Declarative Goals
| dc.creator | de Boer, F. S. | |
| dc.creator | Hindriks, K. V. | |
| dc.creator | van der Hoek, W. | |
| dc.creator | Meyer, J. -J. Ch. | |
| dc.date | 2002-07-03 | |
| dc.date.accessioned | 2026-07-07T03:18:35Z | |
| dc.date.available | 2026-07-07T03:18:35Z | |
| dc.description | 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. | |
| dc.identifier | https://arxiv.org/abs/cs/0207008 | |
| dc.identifier | http://arxiv.org/abs/cs/0207008 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/31168 | |
| dc.subject | Artificial Intelligence | |
| dc.subject | Programming Languages | |
| dc.subject | F.3.1;F.3.2;I.2.5;I.2.4 | |
| dc.title | Agent Programming with Declarative Goals | |
| dc.type | text |