A tuning machine for cooperative problem solving

Fundamenta Informaticae

Volumn 63, Issue 2-3, 2004, Pages 283-307

  Dunin Kȩplicz, Barbara ^a,b   Verbrugge, Rineke ^c  

^a UNIVERSITY OF WARSAW   (Poland)

^b INSTITUTE OF COMPUTER SCIENCE   (Poland)

^c UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; SOFTWARE AGENTS;

COLLECTIVE COMMITMENT; COOPERATIVE PROBLEM SOLVING; LOGICAL FRAMEWORK; TUNING MACHINE;

PROBLEM SOLVING;

EID: 24044490630     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (41)

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 SharedPlans, 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, AAAl-Press and MIT Press, San Francisco, 1995.
29. Levesque, H., Cohen, P., Nunes, J.: On acting together, Proceedings Eighth National Conference on AI (AAAI90), AAAl-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 Prepositional 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.