This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Trends in Cooperative Distributed Problem Solving
March 1989 (vol. 1 no. 1)
pp. 63-83

The authors present an overview of cooperative distributed problem solving (CDPS), an emerging research area that combines aspects of AI (artificial intelligence) and distributed processing. CDPS can be used to study how a loosely coupled network of sophisticated problem-solving nodes can solve a complex problem which consists of a set of interdependent subproblems. Subproblems arise because of spatial, temporal, and functional distribution of data, knowledge, and processing capabilities. Application areas include distributed interpretation, distributed planning and control, cooperating expert systems, and computer-supported human cooperation. The authors survey the important approaches and empirical investigations that have been developed. The approaches covered include negotiation, functionally accurate cooperation, organizational structuring, multiagent planning, sophisticated local control, and theoretical frameworks.

[1] J. F. Allen, "A plan-based approach to speech act recognition," Ph.D. dissertation, Univ. Toronto, Toronto, Ont., Canada, Feb. 1979; also in Dep. Comput. Sci., Univ. Toronto, Toronto, Ont., Canada, Tech. Rep. 131/79, Feb. 1979.
[2] D. E. Appelt, "Planning natural language utterances to satisfy multiple goals," SRI International, Menlo Park, CA, Tech. Rep. 259, 1982.
[3] R. C. Arkin, E. M. Riseman, and A. R. Hanson, "ArRA: An architecture for vision-based robot navigation," inProc. DARPA Image Understanding Workshop, Los Angeles, CA, Feb. 1987, pp. 17-431.
[4] M. Benda, V. Jagannathan, and R. Dodhiawalla, "On optimal co-operation of knowledge sources," Boeing AI Center, Boeing Comput. Services, Bellevue, WA, Tech. Rep. BCS-G2010-28, Aug. 1985.
[5] R. Bisiani, "A software and hardware environment for developing AI applications on parallel processors," inProc. National Conf. Artificial Intell., Philadelphia, PA, Aug. 1986, pp. 742-747; also inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988, pp. 451-456.
[6] A. H. Bond and L. Gasser,Readings in Distributed Artificial Intelligence. San Mateo, CA: Morgan Kaufmann, 1988.
[7] S. Cammarata, D. McArthur, and R. Steeb, "Strategies of cooperation in distributed problem solving," inProc. Int. Joint Conf. Artificial Intel., Karlsruhe, Federal Republic of Germany, Aug. 1983, pp. 761-710; also inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988.
[8] E. Chang, "Participant systems," inDistributed Artificial Intelligence(Research Notes in Artificial Intelligence), M. N. Huhns, Ed. San Francisco: Pitman, 1987, ch. 11, pp. 311-339.
[9] P. R. Cohen, "On knowing what to say: Planning speech acts," Ph.D. thesis, Univ. Toronto, Toronto, Ont., Canada, Jan. 1978; also in Dep. Comput. Sci., Univ. Toronto, Toronto, Ont., Canada, Tech. Rep. 118, Jan. 1978.
[10] P. R. Cohen and H. J. Levesque," Intention = choice + commitment," inProc. National Conf. Artificial Intell., July 1987, pp. 410- 415.
[11] S. Conry, R. Meyer, and J. Searlemen, "A shared knowledge base for independent problem solving agents," inProc. IEEE Expert Syst. Government Symp., McLean, VA, Oct. 1985.
[12] S. E. Conry, R. A. Meyer, and V. R. Lesser, "Multistage negotiation in distributed planning," inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufman, 1988, pp. 367-384.
[13] D. D. Corkill, "Hierarchical manning in a distributed environment," inProc. 6th Int. Joint Conf. Artificial Intell., Cambridge, MA, Aug. 1979, pp. 168-179; an extended version was published in Dep. Comput. Inform. Sci.. Univ. Massachusetts, Amherst, Tech. Rep. 79-13, Feb. 1979.
[14] D. D. Corkill and V. R. Lesser, "The use of meta-level control for coordination in a distributed problem solving network," inProc. 8th Int. Joint Conf. Artificial Intell., Karlsruhe, Federal Republic of Germany, Aug. 1983, pp. 748-756; also inComputer Architectures for Artificial Intelligence Applications, B. W. Wah and G.-J. Li, Eds. IEEE Computer Society Press, 1986, pp. 507-515.
[15] D. D. Corkill, "A framework for organizational self-design in distributed problem solving networks," Ph.D. thesis, Univ. Massachusetts, Feb. 1983; also in Dep. Comput. Inform. Sci., Univ. Massachusetts, Amherst, Tech. Rep. 82-33, Dec. 1982.
[16] W. B. Croft and L. S. Lefkowitz, "Knowledge-based support of cooperative activities," inProc. 21st Annual Hawaii Int. Conf. Syst. Sci., 1988, vol. 3, pp. 312-318, IEEE Computer Society Press, Catalog Number 88TH0213-9.
[17] K. S. Decker, E. H. Durfee, and V. R. Lesser, "The evaluation of research in cooperative distributed problem solving," inDistributed Artificial Intelligence, volume 2 ofResearch Notes in Artificial Intelligence, M. N. Huhns and L. Gasser, Eds. San Francisco: Pitman, 1989.
[18] E. H. Durfee,Coordination of Distributed Problem Solvers. Boston: Kluwer Academic, 1988.
[19] E. H. Durfee and V. R. Lesser, "Using partial global plans to coordinate distributed problem solvers," inProc. 10th Int. Joint Conf. Artificial Intell., Milan, Italy, Aug. 1987, pp. 875-883; also inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988.
[20] E. H. Durfee and V. R. Lesser, "Predictability versus responsiveness: Coordinating problem solvers in dynamic domains," inProc. National Conf. Artificial Intell., Aug. 1988, pp. 66-71.
[21] E. H. Durfee, V. R. Lesser, and D. D. Corkill," Coherent cooperation among communicating problem solvers,"IEEE Trans. Comput., vol. C-11, pp. 1275-1291, Nov. 1987; also inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Fasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988, pp. 268-284.
[22] D. Maines, Ed.,Urban Life(Special Issue on Negotiated Order Theory), 1984.
[23] L.D. Erman et al., "The Hearsay-II Speech Understanding System: Integrating Knowledge to Resolve Uncertainty,"ACM Computing Surveys, Vol. 12, No. 2, June 1980, pp. 213-253.
[24] N. V. Findler and R. Lo, "An examination of distributed planning in the world of air traffic control,"J. Parallel Distributed Comput., vol. 3, pp. 411-431, 1986.
[25] M. S. Fox, "Organization structuring: Designing large complex software," Dept. Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, Tech. Rep. 79-155; Dec. 1979.
[26] M. S. Fox, "An organizational view of distributed systems,"IEEE Trans. Syst., Man, Cybern., vol. SMC-11, pp. 70-80, Jan. 1981; also inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988, pp. 140- 150.
[27] J. Galbraith,Designing Complex Organizations. Reading, MA: Addison-Wesley, 1973.
[28] J. Galbraith,Organization Design. Reading, MA: Addison-Wesley, 1977.
[29] L. Gasser, "The integration of computing and routine work,"ACM Trans. Office Inform. Syst., July 1986.
[30] L. Gasser, C. Braganza, and N. Herman, "MACE: A flexible testbed for distributed AI research," inDistributed Artificial Intelligence(Research Notes in Artificial Intelligence), M. N. Huhns, Ed. San Francisco: Pitman, 1987, ch. 5, pp. 119-152.
[31] L. Gasser and N. Rouquette, "Representing and using organizational knowledge in distributed AI systems," inProc. 1988 Distributed AI Workshop, May 1988.
[32] M. Georgeff, "Communication and interaction in multi-agent planning," inProc. National Conf. Artificial Intell., Washington, DC, Aug. 1983, pp. 125-129; inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988, pp. 200-204.
[33] M. Georgeff, "A theory of action for multiagent planning," inProc. National Conf. Artificial Intell., Austin, TX, Aug. 1984, pp. 121-125; inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988, pp. 205- 209.
[34] M. Georgeff, "A representation of events in multi-agent domains," inProc. National Conf. Artificial Intell., Philadelphia, PA, Aug. 1986, pp. 70-75.
[35] S. Goyal and R. Worrest, "Expert system applications to network management," inExpert System Applications to Telecommunications, J. Leibowitz, Ed. New York: Wiley, 1988, vol. 1, pp. 3-44.
[36] B. J. Grosz and C. Sidner, "Plans for discourse," inIntentions in Communication. Cohen, Morgan, and Pollack, Eds. Cambridge, MA: M.I.T. Press, 1988.
[37] B. J. Grosz and C. L. Sidner, "Discourse structure and the proper treatment of interruptions," inProc. 9th Int. Joint Conf. Artificial Intell., Aug. 1985, pp. 832-839.
[38] J. Y. Halpern and Y. Moses, "Knowledge and common knowledge in a distributed environment," IBM Res. Rep. IBM RJ 4421, IBM, 1984.
[39] F. Hayes-Roth, L. D. Erman, S. Fouse, J. S. Lark, and J. Davidson, "ABE: A cooperative operation system and development environment," inAI Tools and Techniques, M. Richer, Ed. New York: Ablex, 1988; also inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988, pp. 457-489.
[40] C. Hewitt, "Viewing control structures as patterns of passing messages,"Artificial Intell., vol. 8, pp. 323-364, Fall 1977.
[41] C. Hewitt, "Offices are open systems,"Commun. ACM, vol. 4, pp. 271- 287, July 1986; also inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988, pp. 321-330.
[42] M. Huhns, Ed.,Distributed Artificial Intelligence. San Mateo, CA: Morgan Kaufmann, 1987.
[43] M. N. Huhns, U. Mukhopadhyay, L. M. Stephens, and R. D. Bonnell, "DAI for document retrieval: The MINDS project," inDistributed Artificial Intelligence(Research Notes in Artificial Intelligence), M. N. Huhns, Ed. San Francisco: Pitman, 1987, ch. 9, pp. 249- 284.
[44] K. Konolige, "Circumscriptive ignorance," inProc. National Conf. Artificial Intell., Pittsburgh, PA, Aug. 1982, pp. 202-204.
[45] K. Konolige, A deductive model of belief," inProc. 8th Int. Joint Conf. Artificial Intell., Karlsruhe, Federal Republic of Germany, Aug. 1983, pp. 377-381.
[46] W. A. Kornfeld, "ETHER: A parallel problem solving system," inProc. 6th Int. Joint Conf. Artificial Intell., Cambridge, MA, Aug. 1979, pp. 490-492.
[47] W. A. Kornfeld and C. E. Hewitt, "The scientific community metaphor,"IEEE Trans. Syst., Man, Cybern., vol. SCM-11, pp. 24-33, Jan. 1981; also inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988, pp. 311-320.
[48] S. Lander and V. Lesser, "Negotiation among cooperating experts," inProc. 1988 Distributed AI Workshop, May 1988.
[49] A. L. Lansky and D. Fogelsong, "Localized representation and planning methods of parallel domains, " inProc. National Conf. Artificial Intell., Seattle, WA, Aug. 1987, pp. 240-245.
[50] D. B. Lenat, "Beings: Knowledge as interacting experts," inProc. 4th Int. Joint Conf. Artificial Intell., Stanford, CA, Aug. 1975, pp. 126-133; also inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988, pp. 161-168.
[51] V. R. Lesser and D. D. Corkill, "Functionally accurate, cooperative distributed systems,"IEEE Trans. Syst. Man, Cybern., vol. SMC- 11, pp. 81-96, Jan. 1981.
[52] V. R. Lesser, "The distributed vehicle monitoring testbed: A tool for investigating distributed problem solving networks,"AI Magazine, vol. 4, pp. 15-33, Fall 1983; also inBlackboard Systems, R. S. Engelmore and A. Morgan, Eds. Reading, MA: Addison-Wesley, 1988, pp. 353-386; and inReadings from AI Magazine: Volumes 1-5, R. Engelmore, Ed. Menlo Park, CA: AAAI, 1988, pp. 69-85.
[53] V. R. Lesser and L. D. Erman, "Distributed interpretation: A model and experiment,"IEEE Trans. Comput., vol. C-29, pp. 1144-1163, Dec. 1980; also inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988, pp. 120-139.
[54] T. W. Malone and S. A. Smith, "Tradeoffs in designing organizations: Implications for new forms of human organizations and computer systems," Center for Inform. Syst. Res., Massachusetts Inst. Technol., Cambridge, Working Paper CISR WP 112 (Sloan WLP: 1541-84), Mar. 1984.
[55] T. W. Malone, "What is coordination theory?" inProc. National Sci. Foundation Coordination Theory Workshop, Feb. 1988.
[56] J. G. March and H. A. Simon,Organizations. New York: Wiley, 1958.
[57] C. Mason, R. Johnson, R. Searfus, D. Lager, and T. Canales, "A seismic event analyzer for nuclear test ban treaty verification," inProc. 3rd Int. Conf. Appl. Artificial Intell. Eng., Aug. 1988.
[58] M. S. Mazer, "Exploring the use of distributed problem-solving in office support systems," inProc. IEEE Comput. Society Symp. Office Automat., Apr. 1987, pp. 217-225.
[59] D.E. Rumelhart and D. McClelland, eds.,Parallel Distributed Processing: Explorations in the Microstructure of Cognition, Vols. 1-2, MIT Press, Cambridge, Mass., 1986.
[60] N. J. Nilsson, "Two heads are better than one,"SIGART Newsletter, vol. 73, Oct. 1980.
[61] S. Nirenburg and V. Lesser, "Providing intelligent assistance in distributed office environments," inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988.
[62] H. Van Dyke Parunak, "Manufacturing experience with the contract net," inDistributed Artificial Intelligence(Research Notes in Artificial Intelligence), M. N. Huhns, Ed. San Francisco: Pitman, ch. 10, pp. 285-310.
[63] H. Van Dyke Parunak, B. W. Irish, J. Kindrick, and P. W. Lozo, "Fractal actors for distributed manufacturing control," inProc. IEEE Conf. AI Appl., Dec. 1985, pp. 653-660.
[64] S. Reed and V. R. Lesser, "Division of labor in honey bees and distributed focus of attention," Dep. Comput. Inform. Sci., Univ. Massachusetts, Amherst, Tech. Rep. 80-17, Sept. 1980.
[65] J. P. Rice, "Poligon: A system for parallel problem solving," Knowledge Syst. Lab., Dep. Comput. Sci., Stanford Univ., Palo Alto, CA, Tech. Rep. KSL 86-19, Apr. 1986.
[66] J. S. Rosenschien, "Synchronization of multi-agent plans," inProc. National Conf. Artificial Intell., Pittsburgh, PA, Aug. 1982, pp. 115- 119: also inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Ed; San Mateo, CA: Morgan Kaufmann, 1988, pp. 187-191.
[67] J. S. Rosenschein and M. R. Genesereth, "Deals among rational agents," inProc. 9th Int. Joint Conf. Artificial Intell., Los Angeles, CA, Aug. 1985, pp. 91-99; also inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988, pp. 227-234.
[68] J. S. Rosenschein and M. R. Genesereth, "Communication and cooperation among logic-based agents," inProc. 6th Phoenix Conf. Comput. Commun., Scottsdale, AZ, Feb. 1987, pp. 594-600.
[69] S. Rosenschein, "Reasoning about distributed action,"AI Magazine, vol. 84, no. 7, 1983.
[70] E. D. Sacerdoti,A Structure for Plans and Behavior. New York: Elsevier, 1977.
[71] A. Sathi, T.E. Morton, and S. F. Roth, "Callisto: An intelligent project management system,"AI Mag., vol. 7, no. 5, pp. 34-52, 1986.
[72] E. Schoen, "The CAOS system," Dep. Comput. Sci., Stanford Univ., Stanford, CA, Tech. Rep. STAN-CS-86-1125, Mar. 1986.
[73] H. A. Simon,Models of Man. New York: Wiley, 1957.
[74] H. A. Simon,The Sciences of the Artificial, 2nd ed. Cambridge, MA: MIT Press, 1981.
[75] D. Smith and M. Broadwell, "Plan coordination in support of expert systems," inProc. DARPA Knowledge-Based Planning Workshop, Austin, TX, Dec. 1987.
[76] R. G. Smith, "A framework for distributed problem solving," inProc. 6th Int. Joint Conf. Artificial Intell., Cambridge, MA, Aug. 1979, pp. 836-841.
[77] R. G. Smith, "The contract net protocol: High-level communication and control in a distributed problem solver,"IEEE Trans. Comput., vol. C-29, pp. 1104-1113, Dec. 1980.
[78] R. G. Smith and R. Davis, "Frameworks for cooperation in distributed problem solving,"IEEE Trans. Syst., Man, Cybern., vol. SMC- 11, Jan. 1981; also inReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988, pp. 61-70.
[79] R. G. Smith and R. Davis, "Negotiation as a metaphor for distributed problem solving,"Artificial Intell., vol. 20, pp. 63-109, 1983.
[80] R. G. Smith, "A framework for problem solving in a distributed processing environment," Ph.D. thesis, Stanford Univ., Stanford, CA, Dec. 1978; a revised version was published by UMI Research Press.
[81] S. F. Smith and J. E. Hynynen, "Integrated decentralization of production management: An approach for factory scheduling," inIntelligent and Integrated Manufacturing Analysis and Synthesis, C. R. Liu, A. Requicha, and S. Chandrasekar, Eds. New York: The American Society of Mechanical Engineers, 1987, pp. 427-439.
[82] J. A. Stankovic, K. Ramamritham, and S.-C. Cheng, "Evaluation of a flexible task scheduling algorithm for distributed hard real-time systems,"IEEE Trans. Comput., vol. C-34, pp. 1130-1143, Dec. 1985.
[83] R. Steeb, S. Cammarata, S. Narain, J. Rothenburg, and W. Giarla, "Cooperative intelligence for remotely piloted vehicle fleet control," Rand Corp., Tech. Rep. R-3408-ARPA, Oct. 1986.
[84] A. Strauss,Negotiations: Varieties, Processes, Contexts, and Social Order. San Francisco: Jossey Bass, 1978.
[85] K. Sycara, "Planning for negotiation: A case-based approach," inDARPA Knowledge-Based Planning Workshop, Dec. 1987, pp. 11.1- 11.10.
[86] K. Sycara, "Resolving goal conflicts via negotiation," inProc. National Conf. Artificial Intell., Aug. 1988, pp. 245-250.
[87] K. Sycara, "Multi-agent compromise via negotiation," inProc. 1988 Distributed AI Workshop, May 1988.
[88] K. Sycara-Cyranski, "Arguments of persuasion in labour mediation," inProc. 9th Int. Joint Conf. Artificial Intell., Los Angeles, CA, Aug. 1985, pp. 294-296.
[89] P. W. Thorndyke, D. McArthur, and S. Cammarata, "Autopilot: A distributed planner for air fleet control," inProc. 7th Int. Joint Conf. Artificial Intell., Aug. 1981, pp. 171-177.
[90] R. Wesson, F. Hayes-Roth, J. W. Burge, C. Statz, and C. A. Sunshine, "Network structures for distributed situation assessment,"IEEE Trans. Syst., Man, Cybern., vol. SMC-11, pp. 5-23, Jan. 1981; alsoReadings in Distributed Artificial Intelligence, A. H. Bond and L. Gasser, Eds. San Mateo, CA: Morgan Kaufmann, 1988, pp. 71- 89.

Index Terms:
cooperative distributed problem solving; CDPS; AI; artificial intelligence; distributed processing; loosely coupled network; sophisticated problem-solving nodes; complex problem; interdependent subproblems; spatial; temporal; functional distribution; data; knowledge; processing capabilities; distributed interpretation; distributed planning; control; cooperating expert systems; computer-supported human cooperation; negotiation; functionally accurate cooperation; organizational structuring; multiagent planning; sophisticated local control; theoretical frameworks; distributed processing; knowledge engineering; problem solving
Citation:
E.H. Durfee, V.R. Lesser, D.D. Corkill, "Trends in Cooperative Distributed Problem Solving," IEEE Transactions on Knowledge and Data Engineering, vol. 1, no. 1, pp. 63-83, March 1989, doi:10.1109/69.43404
Usage of this product signifies your acceptance of the Terms of Use.