@inproceedings{a9ab27978da549a38b02c4db04840287,
title = "Formalising the contract net as a goal-directed system",
abstract = "In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agency and autonomy. In this paper we outline the framework and refine it by adding further levels of detail to develop a formal model of the Contract Net Protocol. The model serves to make precise both the operations of nodes in the contract net, and the state of the net at various points during the protocol. In particular, the nature of the dependencies between the nodes in the net is explicated. Finally, we generalise the relationships that can be found in the contract net which are brought out by the formalisation, and introduce more general concepts such as cooperation and engagement.",
author = "Mark d'Inverno and Michael Luck",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW 1996 ; Conference date: 22-01-1996 Through 25-01-1996",
year = "1996",
month = jan,
day = "17",
doi = "10.1007/bfb0031847",
language = "English",
isbn = "3540608524",
series = "Lecture Notes in Computer Science",
publisher = "Springer Berlin Heidelberg",
pages = "72--85",
editor = "\{Van de Velde\}, Walter and Perram, \{John W.\}",
booktitle = "Agents Breaking Away",
}