TY - GEN
T1 - Agent programming with declarative goals
AU - Hindriks, Koen V.
AU - De Boer, Frank S.
AU - Van Der Hoek, Wiebe
AU - Meyer, John Jules Ch
PY - 2001/12/1
Y1 - 2001/12/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=79956079927&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79956079927&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:79956079927
SN - 3540424229
SN - 9783540424222
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 228
EP - 243
BT - Intelligent Agents VII
T2 - 7th International Workshop on Agent Theories Architectures and Languages, ATAL 2000
Y2 - 7 July 2000 through 9 July 2000
ER -