A Tuning Machine for Cooperative Problem Solving

• Autorzy: Dunin-Kęplicz B. , Verbrugge R.
• Języki publikacji: EN

Abstrakty

EN

In this paper we aim to formally model individual, social and collective motivational attitudes in teams of agents involved in Cooperative Problem Solving. Particular attention is given to the strongest motivational attitude, collective commitment, which leads to team action. First, building on our previous work, a logical framework is sketched in which social commitments and collective intentions are formalized. Then, different versions of collective commitments are given, reflecting different aspects of Cooperative Problem Solving, and applicable in different situations. The definitions differ with respect to the aspects of teamwork of which the agents involved are aware, and the kind of awareness present within a team. In this way a kind of tuning mechanism is provided for the system developer to tune a version of collective commitment fitting the circumstances. Finally, we focus attention on a few exemplar versions of collective commitment resulting from instantiating the general tuning scheme, and sketch for which kinds of organization and application domains they are appropriate.

Słowa kluczowe

EN

Cooperative Problem Solving; CPS; Kripke semantics; language; building blocks; collective commitment

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2004
• Tom: Vol. 63, nr 2,3
• Strony: 283--307
• Opis fizyczny: Bibliogr. 41 poz.

Twórcy

autor

Dunin-Kęplicz B.

• Institute of Informatics, Warsaw University, ul. Banacha 2, 02-097 Warsaw, Poland

autor

Verbrugge R.

• Institute of Artificial Intelligence, University of Groningen, Grote Kruisstraat 2/1, 9712 TS Groningen, The Netherlands

Bibliografia

• [1] Aldewereld, H., van der Hoek, W., Meyer, J.-J.: Rational Teams: Logical Aspects of Multi-Agent Systems, Fundamenta Informaticae, this issue, 2004.
• [2] Beyerlin et al., M., Ed.: Theories of Self-managing Work Teams, JAI Press, Greenwich (CN), 1994.
• [3] Bratman, M.: Intention, Plans, and Practical Reason, Harvard University Press, Cambridge (MA), 1987.
• [4] Castelfranchi, C.: Commitments: From Individual Intentions to Groups and Organizations, in: Lesser [28], 41-48.
• [5] Castelfranchi, C.: Grounding We-Intentions in Individual Social Attitudes: On Social Commitment Again, Technical report, CNR, Institute of Psychology, 1999, Manuscript.
• [6] Castelfranchi, C., Miceli, M., Cesta, A.: Dependence Relations Among Autonomous Agents, in: Werner and Demazeau [39].
• [7] Cavedon, L., Rao, A., Tidhar, G.: Social and Individual Commitment (Preliminary Report), in: Intelligent Agent Systems: Theoretical and Practical Issues (L. Cavedon, A. Rao, W. Wobcke, Eds.), vol. 1209 of LNAI, Springer Verlag, Berlin, 1997, 152-163.
• [8] Cohen, P., Levesque, H.: Intention is Choice with Commitment, Artificial Intelligence, 42, 1990, 213-261.
• [9] Dignum, F., Conte, R.: Intentional Agents and Goal Formation: Extended Abstract, Preproceedings Fourth International Workshop on Agent Theories, Architectures and Languages (M. Singh, A. Rao, M. Wooldridge, Eds.), Providence, Rhode Island, 1997.
• [10] Dignum, F., Dunin-Kęplicz, B., Verbrugge, R.: Agent Theory for Team Formation by Dialogue, Intelligent Agents VII: Agent Theories, Architectures and Languages (C. Castelfranchi, Y. Lesperance, Eds.), 1986, Springer Verlag, Berlin, 2001.
• [11] Dignum, F., Dunin-Kęplicz, B., Verbrugge, R.: Creating Collective Intention through Dialogue, Logic Journal of the IGPL, 9, 2001, 145-158.
• [12] Dunin-Kęplicz, B., Radzikowska, A.: Actions with Typical Effects: Epistemic Characterization of Scenarios, in: Lesser [28], page 445.
• [13] Dunin-Kęplicz, B., Radzikowska, A.: Epistemic Approach to Actions with Typical Effects, Proceedings ECSQARU’95, Fribourg, 1995.
• [14] Dunin-Kęplicz, B., Radzikowska, A.: Modelling Nondeterminstic Actions with Typical Effects, Proceedings DIMAS’95, Cracow, 1995.
• [15] Dunin-Kęplicz, B., Verbrugge, R.: Collective Commitments, Proceedings Second International Conference on Multi-Agent Systems (M. Tokoro, Ed.), AAAI-Press, Menlo Park (CA), 1996.
• [16] Dunin-Kęplicz, B., Verbrugge, R.: Collective motivational attitudes in cooperative problem solving, Proceedings of the First International Workshop of Eastern and Central Europe on Multi-agent Systems (CEEMAS’99) (V. Gorodetsky, Ed.), St. Petersburg, 1999.
• [17] Dunin-Kęplicz, B., Verbrugge, R.: A Reconfiguration Algorithm for Distributed Problem Solving, Engineering Simulation, 18, 2001, 227 - 246.
• [18] Dunin-Kęplicz, B., Verbrugge, R.: The Role of Dialogue in Collective Problem Solving, Proceedings of the Fifth International Symposium on the Logical Formalization of Commonsense Reasoning (Commonsense 2001) (E. Davis, J. McCarthy, L. Morgenstern, R. Reiter, Eds.), New York, 2001.
• [19] Dunin-Kęplicz, B., Verbrugge, R.: Collective Intentions, Fundamenta Informaticae, 51(3), 2002, 271-295.
• [20] Dunin-Kęplicz, B., Verbrugge, R.: Evolution of Collective Commitments During Teamwork, Fundamenta Informaticae, 56, 2003, 329-371.
• [21] Dunin-Kęplicz, B., Verbrugge, R.: A tuning machine for collective commitments, Proceedings of The First International Workshop on Formal Approaches to Multi-Agent Systems (B. Dunin-Kęplicz, R. Verbrugge, Eds.), Warsaw, 2003.
• [22] Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge, MIT Press, Cambridge, MA, 1995.
• [23] Grosz, B., Kraus, S.: Collaborative Plans for Complex Group Action, Artificial Intelligence, 86(2), 1996, 269-357.
• [24] Grosz, B., Kraus, S.: The Evolution of Shared Plans, in: Foundations of Rational Agency (A. Rao, M. Wooldridge, Eds.), Kluwer, Dordrecht, 1999, 227-262.
• [25] Halpern, J.: The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic, Artificial Intelligence, 75, 1995, 361-372.
• [26] Hustadt, U., Schmidt, R.: On Evaluating Decision Procedures for Modal Logics, Proceedings IJCAI’97 (M. Pollack, Ed.), Morgan Kauffman, Los Angeles (CA), 1997.
• [27] Jamroga, W., van der Hoek, W.: Agents that Know how to Play, Fundamenta Informaticae, this issue, 2004.
• [28] Lesser, V., Ed.: Proceedings First International Conference on Multi-Agent Systems, AAAI-Press and MIT Press, San Francisco, 1995.
• [29] Levesque, H., Cohen, P., Nunes, J.: On acting together, Proceedings Eighth National Conference on AI (AAAI90), AAAI-Press and MIT Press, Menlo Park (CA), Cambridge (MA), 1990.
• [30] Luck, M., McBurney, P., Preist, C.: Agent Technology: Enabling Next Generation Computing: A Roadmap for Agent Based Computing, Agentlink, 2003.
• [31] Meyer, J.-J. C., van der Hoek, W.: Epistemic Logic for AI and Theoretical Computer Science, Cambridge University Press, Cambridge, 1995.
• [32] Parikh, R., Krasucki, P.: Levels of Knowledge in Distributed Computing, Sadhana: Proceedings of the Indian Academy of Sciences, 17, 1992, 167-191.
• [33] Quine, W.: Quantifiers and Propositional Attitudes, Journal of Philosophy, 53, 1956, 177-187.
• [34] Rao, A., Georgeff, M.: Modeling Rational Agents within a BDI-architecture, Proceedings of the Second Conference on Knowledge Representation and Reasoning (R. Fikes, E. Sandewall, Eds.), Morgan Kaufman, 1991.
• [35] Rao, A., Georgeff, M., Sonenberg, E.: Social Plans: A Preliminary Report, in: Werner and Demazeau [39], 57-76.
• [36] Searle, J. R.: Speech Acts, Cambridge University Press, Cambridge, 1969.
• [37] Segerberg, K.: Bringing it About, Journal of Philosophical Logic, 18, 1989, 327-347.
• [38] Vardi, M.: Why is Modal Logic so Robustly Decidable?, DIMACS Series on Discrete Mathematics and Theoretical Computer Science, 31, 1997, 149-184.
• [39] Werner, E., Demazeau, Y., Eds.: Decentralized A.I.-3, Elsevier, Amsterdam, 1992.
• [40] Wooldridge, M.: Reasoning About Rational Agents, MIT Press, Cambridge,MA, 2000.
• [41] Wooldridge, M., Jennings, N.: Cooperative Problem Solving, Journal of Logic and Computation, 9, 1999, 563-592.