Evolution of Collective Commitment during Teamwork

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

Abstrakty

EN

In this paper we aim to describe dynamic aspects of social and collective attitudes in teams of agents involved in Cooperative Problem Solving (CPS). Particular attention is given to the strongest motivational attitude, collective commitment, and its evolution during team action. First, building on our previous work, a logical framework is sketched in which a number of relevant social and collective attitudes is formalized, leading to the plan-based definition of collective commitments. Moreover, a dynamic logic component is added to this framework in order to capture the effects of the complex actions that are involved in the consecutive stages of CPS, namely potential recognition, team formation, plan formation and team action. During team action, the collective commitment leads to the execution of agent-specific actions. A dynamic and unpredictable environment may, however, cause the failure of some of these actions, or present the agents with new opportunities. The abstract reconfiguration algorithm, presented in a previous paper, is designed to handle the re-planning needed in such situations in an efficient way. In this paper, the dynamic logic component of the logical framework addresses issues pertaining to adjustments in collective commitment during the reconfiguration process.

Słowa kluczowe

EN

Cooperative Problem Solving (CPS); logical semantics; Kripke models; dynamic logic; multi-modal logical

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2003
• Tom: Vol. 56, nr 4
• Strony: 329--371
• Opis fizyczny: bibliogr. 53 poz.

Twórcy

autor

Dunin-Kęplicz B.

autor

Verbrugge R.

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

Bibliografia

• [1] Allen, J., Hendler, J., Tate, J., Eds.: Readings in Planning, Morgan Kaufman, Los Altos (CA), 1990.
• [2] Belnap, N., Perloff, M.: Seeing to it that: A Canonical Form for Agentives, Theoria, 54, 1988, 175-199.
• [3] Beyerlin et al., M., Ed.: Theories of Self-managing Work Teams, JAI Press, Greenwich (CN), 1994.
• [4] Bratman, M.: Intention, Plans, and Practical Reason, Harvard University Press, Cambridge (MA), 1987.
• [5] Brown, M.: On the Logic of Ability, Journal of Philosophical Logic, 17, 1988, 1-26.
• [6] Castelfranchi, C.: Commitments: From Individual Intentions to Groups and Organizations, in: Lesser [36], 41-48.
• [7] Castelfranchi, C.: The Social Nature of Information and the Role of Trust, International Journal of Cooperative Information Systems, 11(3), 2002, 381-403.
• [8] Castelfranchi, C., Tan, Y.-H., Eds.: Trust and Deception in Virtual Societies, Kluwer, Dordrecht, 2001.
• [9] 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.
• [10] Cohen, P., Levesque, H.: Intention is Choice with Commitment, Artificial Intelligence, 42, 1990, 213-261.
• [11] 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.
• [12] Dignum, F., Dunin-Ke¸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.
• [13] Dignum, F., Dunin-Ke¸plicz, B., Verbrugge, R.: Creating Collective Intention through Dialogue, Logic Journal of the IGPL, 9, 2001, 145-158.
• [14] Dunin-Ke¸plicz, B., Radzikowska, A.: Actions with Typical Effects: Epistemic Characterization of Scenarios, in: Lesser [36], page 445.
• [15] Dunin-Ke¸plicz, B., Radzikowska, A.: Epistemic Approach to Actions with Typical Effects, Proceedings ECSQARU’95, Fribourg, 1995.
• [16] Dunin-Ke¸plicz, B., Radzikowska, A.: Modelling Nondeterminstic Actions with Typical Effects, Proceedings DIMAS’95, Cracow, 1995.
• [17] Dunin-Ke¸plicz, B., Verbrugge, R.: Collective Commitments, in: Tokoro [48], 56-63.
• [18] Dunin-Ke¸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.
• [19] Dunin-Keplicz, B., Verbrugge, R.: A Reconfiguration Algorithm for Distributed Problem Solving, Electronic Modeling, 22, 2000, 68 - 86.
• [20] Dunin-Ke¸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.
• [21] Dunin-Ke¸plicz, B., Verbrugge, R.: Collective Intentions, Fundamenta Informaticae, 51(3), 2002, 271-295
• [22] Dunin-Ke¸plicz, B., Verbrugge, R.: Calibrating collective commitments, Proceedings of The 3rd International Central and Eastern European Conference on Multi-Agent Systems (J. V.Marik, M. Pechoucek, Eds.), 2691, Springer Verlag, Berlin, 2003.
• [23] Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge, MIT Press, Cambridge, MA, 1995.
• [24] Fischer, M., Ladner, R.: Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, 18(2), 1979, 194-211.
• [25] Gerbrandy, J., Groeneveld, W.: Reasoning about Information Change, Journal of Logic, Language and Information, 6(2), 1997, 147-169.
• [26] Goldblatt, R.: Logics of Time and Computation, Number 7 in CSLI Lecture Notes, Center for Studies in Language and Information, Palo Alto (CA), 1992.
• [27] Graedel, E.: Why is Modal Logic so Robustly Decidable?, Bulletin of the EATCS, 68, 1999, 90-103.
• [28] Grosz, B., Kraus, S.: Collaborative Plans for Complex Group Action, Artificial Intelligence, 86(2), 1996, 269-357.
• [29] 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.
• [30] Halpern, J., Moses, Y.: Knowledge and Common Knowledge in a Distributed Environment, Journal of the ACM, 37, 1990, 549-587.
• [31] Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic, MIT Press, Cambridge, MA, 2000.
• [32] van der Hoek, W., van Linder, B., Meyer, J.-J. C.: An Integrated Modal Approach to Rational Agents, in: Foundations of Rational Agency (A. Rao, M. Wooldridge, Eds.), Kluwer, Dordrecht, 1999, 37-75.
• [33] Hustadt, U., Schmidt, R.: On Evaluating Decision Procedures for Modal Logics, Proceedings IJCAI’97 (M. Pollack, Ed.), Morgan Kauffman, Los Angeles (CA), 1997.
• [34] J-J. Ch. Meyer, W. v. d. H., van Linder, B.: A Logical Approach to the Dynamics of Commitments, Artificial Intelligence, 113(1-2), 1999, 1-41.
• [35] Konolige, K., Pollack, M. E.: A representationalist theory of intention, Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93) (R. Bajcsy, Ed.), Morgan Kaufmann publishers Inc.: San Mateo, CA, USA, Chamb´ery, France, 1993.
• [36] Lesser, V., Ed.: Proceedings First International Conference on Multi-Agent Systems, AAAI-Press and MIT Press, San Francisco, 1995.
• [37] 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.
• [38] van Linder, B., van der Hoek, W., Meyer, J.-J. C.: Formalising Abilities and Opportunities of Agents, Fundamenta Informaticae, 34, 1998, 53-101.
• [39] Meyer, J.-J. C., van der Hoek, W.: Epistemic Logic for AI and Theoretical Computer Science, Cambridge University Press, Cambridge, 1995.
• [40] Peleg, D.: Concurrent Dynamic Logic, Journal of the ACM, 34(2), 1987, 450-479.
• [41] Purser, R., Cabana, S.: The Self-managing Organization, Free Press, New York (NY), 1998.
• [42] 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.
• [43] Rao, A., Georgeff, M., Sonenberg, E.: Social Plans: A Preliminary Report, Decentralized A.I.-3 (E. Werner, Y. Demazeau, Eds.), Elsevier, Amsterdam, 1992.
• [44] Searle, J. R.: Speech Acts, Cambridge University Press, Cambridge, 1969.
• [45] Segerberg, K.: Bringing it About, Journal of Philosophical Logic, 18, 1989, 327-347.
• [46] Stulp, F., Verbrugge, R.: A knowledge-based Algorithm for the Internet Protocol TCP, Bulletin of Economic Research, 54(1), 2002, 69-94.
• [47] Tambe, M.: Teamwork in real-world, dynamic environments, in: Tokoro [48], 361-368.
• [48] Tokoro, M., Ed.: Proceedings Second International Conference on Multi-Agent Systems, AAAI-Press, Menlo Park (CA), 1996.
• [49] van Linder, B., van der Hoek, W., Meyer, J.-J. C.: Actions that Make you Change Your Mind, in: Knowledge and Belief in Philosophy and Artificial Intelligence (A. Laux, H. Wansing, Eds.), Akedemie Verlag, Berlin, 1995, 103-146.
• [50] Vardi, M.: Why is Modal Logic so Robustly Decidable?, DIMACS Series on Discrete Mathematics and Theoretical Computer Science, 31, 1997, 149-184.
• [51] Wooldridge, M.: Reasoning About Rational Agents, MIT Press, Cambridge, MA, 2000.
• [52] Wooldridge, M., Jennings, N.: Towards a Theory of Collective Problem Solving, in: Distributed Software Agents and Applications (J. Perram, J. Muller, Eds.), vol. 1069 of LNAI, Springer Verlag, Berlin, 1996, 40-53.
• [53] Wooldridge, M., Jennings, N.: Cooperative Problem Solving, Journal of Logic and Computation, 9, 1999, 563-592.