Formalising the contract net as a goal-directed system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1038, Issue , 1996, Pages 72-85

  d'Inverno, Mark ^a   Luck, Michael ^b  

^a UNIVERSITY OF WESTMINSTER   (United Kingdom)

^b UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

MULTI AGENT SYSTEMS;

AGENT-ORIENTED SYSTEMS; CONTRACT NET PROTOCOLS; CONTRACT NETS; FORMAL FRAMEWORK; FORMAL MODEL; FORMALISATION; GOAL DIRECTED; LEVELS OF DETAIL;

AUTONOMOUS AGENTS;

EID: 84948987570     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0031847     Document Type: Conference Paper

References (19)

1. F. Brazier, B. Dunin Keplicz, N. Jennings, and J. Treur. Formal specification of multi-agent systems: A real-world case. In Proceedings of the First International Conference on Multi-Agent Systems, pages 25-32. AAAI Press / MIT Press, 1995.
2. I. Craig. Formal Specification of Advanced AI Architectures. Ellis Horwood, 1991.
3. R. Davis and R. G. Smith. Negotiation as a metaphor for distributed problem solving. Artificial Intelligence, 20(1):63-109, 1983.
4. M. d'Inverno and M. Luck. A formal view of social dependence networks: In Proceedings of the First Australian DAI Workshop. Springer Verlag, To appear, 1996.
5. M. Fisher and M. Wooldridge. Specifying and executing protocols for cooperative action. In S. Deen, ed., CKBS-.94: Proceedings of the Second International Working Conference on Cooperating Knowledge-Based Systems. Springer-Verlag, 1994.
6. R. Goodwin. Form Mizing properties of agents. TechnicM Report CMU-CS-93-159, Carnegie-Mellon University, 1993.
7. M. G. Hinchey and J. P. Bowen, editors. Applications of Formal Methods. Prentice Itall International Series in Computer Science, 1995.
8. Z. Kunda. The case for motivated reasoning. Psychological Bulletin, 108(3):480-498, 1990.
9. M. Luck and M. d'Inverno. A formal framework for agency and autonomy. In Proceedings of the First International Conference on Multi-Agent Systems, pages 254-260. AAAI Press / MIT Press, 1995.
10. M. Luck and M. d'Inverno. Engagement and cooperation in motivated agent modelling. In Proceedings of the First Australian DAI Workshop. Springer Verlag, To appear, 1996.
11. B. G. Milnes. A specification of the Soar architecture in Z. Technical Report CMU-CS-92-169, School of Computer Science, Carnegie Mellon University, 1992.
12. T. Sandhohn. An implementation of the contract net protocol based on marginal cost calculations. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pages 256-262. AAAI Press / MIT Press, 1993.
13. R. G. Smith. The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transactions on Computers, 29(12), 1980.
14. R. G. Smith and R. Davis. Frameworks for cooperation in distributed problem solving. IEEE Transactions on Systems, Man and Cybernetics, 11(1):61-70, 1981.
15. J. M. Spivey. The Z Notation. Prentice ttall, Hemel Hempstead, 2nd edition, 1992.
16. H. Van Dyke Parunak. Manufacturing experience with the contract net. In M. Huhns, editor, Distributed Artificial Intelligence, pages 285 310. Pitman Publishing: London and Morgan Kaufmann: San Mateo, CA, 1987.
17. E. Werner. Cooperating agents: A unified theory of communication and social structure. In L. Gasser and M. Huhns, editors, Distributed Artificial Intelligence Volume II, pages 3-36. Pitman Publishing: London and Morgan Kaufmann: San Mateo, CA, 1989.
18. M. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, UK, October 1992.
19. M. J. Wooldridge and N. R. Jennings. Formalizing the cooperative problem solving process. In Proceedings of the Thirteenth International Workshop on Distributed Artificial Intelligence, 1994.