Skip to main content
Springer Nature Link
Log in

Negotiation as a Metaphor for Distributed Problem Solving

  • Chapter
  • First Online:
Communication in Multiagent Systems

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2650))

  • 666 Accesses

Abstract

We describe the concept of distributed problem solving and define it as the cooperative solution of problems by a decentralized and loosely coupled collection of problem solvers. This approach to problem solving offers the promise of increased performance and provides a useful medium for exploring and developing new problem-solving techniques.

We present a framework called the contract net that specifies communication and control in a distributed problem solver. Task distribution is viewed as an interactive process, a discussion carried on between a node with a task to be executed and a group of nodes that may be able to execute the task. We describe the kinds of information that must be passed between nodes during the discussion in order to obtain effective problem-solving behavior. This discussion is the origin of the negotiation metaphor: Task distribution is viewed as a form of contract negotiation.

We emphasize that protocols for distributed problem solving should help determine the content of the information transmitted, rather than simply provide a means of sending bits from one node to another.

The use of the contract net framework is demonstrated in the solution of a simulated problem in area surveillance, of the sort encountered in ship or air traffic control. We discuss the mode of operation of a distributed sensing system, a network of nodes extending throughout a relatively large geographic area, whose primary aim is the formation of a dynamic map of traffic in the area.

From the results of this preliminary study we abstract features of the framework applicable to problem solving in general, examining in particular transfer of control. Comparisons with Planner, Conniver, Hearsay-11, and Pup6 are used to demonstrate that negotiation – the two-way transfer of information – is a natural extension to the transfer of control mechanisms used in earlier problem-solving systems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Baer, J.-L.: A survey of some theoretical aspects of multiprocessing. Comput. Surveys 5(1), 31–80 (1973)

    Article  Google Scholar 

  2. Bowdon, Sr., E.K., Barr, W.J.: Cost effective priority assignment in network computers. In: FJCC Proceedings, AFIPS, Montvale, NJ, vol. 41, pp. 755–763 (1972)

    Google Scholar 

  3. Davis, R.: Meta-rules: reasoning about control. Artificial Intelligence 15, 179–222 (1980)

    Article  Google Scholar 

  4. Davis, R.: Models of problem solving: Why cooperate? SIGART Newsletter 70, 50–51 (1980)

    Google Scholar 

  5. Davis, R., King, J.: An overview of production systems. In: Elcock, E.W., Michie, D. (eds.) Machine Intelligence, vol. 8, pp. 300–332. Wiley, New York (1977)

    Google Scholar 

  6. D’Olivera, C.R.: An analysis of computer decentralization, Rept. LCS, TM90. MIT, Cambridge (1977)

    Google Scholar 

  7. Erman, L.D., Hayes-Roth, F., Lesser, V.R., Reddy, D.R.: The Hearsay-II speech-understanding system: Integrating knowledge to resolve uncertainty. Comput. Surveys 12, 213–253 (1980)

    Article  Google Scholar 

  8. Farber, D.J., Larson, K.C.: The structure of the distributed computing system—Software. In: Fox, J. (ed.) Proceedings of the Symposium on Computer-Communications Networks And Teletraffic, pp. 539–545. Polytechnic Press, Brooklyn (1972)

    Google Scholar 

  9. Galbraith, J.R.: Organizational design—an information processing view. In: Kolb (ed.) Organizational Psychology, 2nd edn., pp. 313–322. Prentice Hall, Englewood Cliffs (1974)

    Google Scholar 

  10. Hamburger, H.: N-person prisoner’s dilemma. J. Math. Sociology 3, 27–48 (1973)

    Article  MathSciNet  Google Scholar 

  11. Hewitt, C.: Description and theoretical analysis (using schemata) of planner: A language for proving theorems and manipulating models in a robot, MIT AI TR 258. MIT, Cambridge (1972)

    Google Scholar 

  12. Hewitt, C.: Viewing control structures as patterns of passing messages. Artificial Intelligence 8, 323–364 (1977)

    Article  Google Scholar 

  13. Kahn, R.E.: Resource-sharing computer communications networks. Proc. IEEE 60(11), 1397–1407 (1972)

    Article  Google Scholar 

  14. Kahn, R.E.: The organization of computer resources into a packet radio network. In: NCC Proceedings, AFIPS, Montvale, NJ, vol. 44, pp. 177–186 (1975)

    Google Scholar 

  15. Kimbleton, S.R., Schneider, G.M.: Computer communications networks: approaches, objectives, and performance considerations. Comput. Surveys 7(3), 129–173 (1975)

    Article  Google Scholar 

  16. Lenat, D.B.: Beings: knowledge as interacting experts. IJCA 4, 126–133 (1975)

    Google Scholar 

  17. Lesser, V.R., Erman, L.D.: Distributed interpretation: a model and experiment. IEEE Trans. Comput. 29, 1144–1163 (1980)

    Article  Google Scholar 

  18. Lesser, V.R., Corkill, D.D.: Functionally accurate cooperative distributed systems. IEEE Trans. Systems Man Cybernet. 11(1), 81–96 (1981)

    Article  Google Scholar 

  19. McDermott, D.V., Sussman, G.J.: The conniver Reference Manual, AI Memo 259a. MIT, Cambridge (1974)

    Google Scholar 

  20. Nii, H.P., Feigenbaum, E.A.: Rule-based understanding of signals. In: Waterman, D.A., Hayes-Roth, F. (eds.) Pattern-Directed Inference Systems, pp. 483–501. Academic Press, New York (1978)

    Chapter  Google Scholar 

  21. Noyce, R.N.: From relays to MPU’s. Comput. 9(12), 26–29 (1976)

    Article  Google Scholar 

  22. Prince, P.S.: Recovery from failure in a contract net, B.S. Thesis, EECS Department, MIT, Cambridge, MA (1980)

    Google Scholar 

  23. Roberts, L.G.: Data by the packet. IEEE Spectrum 11(2), 46–51 (1974)

    Article  Google Scholar 

  24. Sacerdoti, E.D., et al.: olisp—A language for the interactive development of complex systems. Proc. NCC 45, 349–356 (1976)

    Google Scholar 

  25. Smith, R.G., Davis, R.: Applications of the contract net framework: distributed sensing. In: Proc. ARPA Distributed Sensor Net Symp., Pittsburgh, PA, pp. 12–20 (1978)

    Google Scholar 

  26. Smith, R.G.: A framework for distributed problem solving. VMI Research Press (1981); also: Stanford Memo STAN-CS-78-700, Stanford University Stanford, CA (1978)

    Google Scholar 

  27. Smith, R.G.: The contract net protocol: high level communication and control in a distributed problem solver. IEEE Trans. Comput. 29, 1104–1113 (1980)

    Article  Google Scholar 

  28. Smith, R.G., Davis, R.: Frameworks for cooperation in a distributed problem solver. IEEE Trans Systems Man Cybernet 11, 61–70 (1981)

    Article  Google Scholar 

  29. Svodobova, L., Liskov, B., Clark, D.: Distributed computer systems: structure and semantics, MIT-LCS-TR-215. MIT, Cambridge (1979)

    Google Scholar 

  30. Tucker, A.W.: A two-person dilemma, Mimeo. Stanford University, Stanford (1950)

    Google Scholar 

  31. Waltz, D.: Understanding line drawings of scenes with shadows. In: Winston (ed.) The Psychology of Computer Vision. McGraw-Hill, New York (1975)

    Google Scholar 

  32. Waterman, D.A., Hayes-Roth, F. (eds.): Pattern-Directed Inference Systems. Academic Press, New York (1978)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA, 02139, USA

    Randall Davis

  2. Defence Research Establishment Atlantic, Dartmouth, Nova Scotia, BZY 327, Canada

    Reid G. Smith

Authors
  1. Randall Davis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Reid G. Smith
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Leibniz-MAGMA, 46, Avenue Felix Viallet, 38031, Grenoble, France

    Marc-Philippe Huget

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Davis, R., Smith, R.G. (2003). Negotiation as a Metaphor for Distributed Problem Solving. In: Huget, MP. (eds) Communication in Multiagent Systems. Lecture Notes in Computer Science(), vol 2650. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44972-0_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-44972-0_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40385-2

  • Online ISBN: 978-3-540-44972-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics