Abstract
The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Traditionally, very simple protocols like the Contract Net protocol are used for performing the first two stages of the process. And often the team is already taken for granted. In an open environment (like in e.g. electronic commerce) however, there can be discussion among the agents in order to form a team that can achieve the collective goal of solving the problem. For these cases fixed protocols like contract net do not suffice. In this paper we present an alternative solution, using structured dialogues that can be shown to lead to the required team formation. The dialogues are described formally (using some modal logics), thus making it possible to actually prove that a certain dialogue has a specific outcome.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Dechter, R.: Enhancement Schemes for Constraint Processing: Backjumping, Learning and Cutset Decomposition. Journal of Artificial Intelligence 41, 273–312 (1990)
Dignum, F., Conte, R.: Intentional agents and goal formation. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 231–244. Springer, Heidelberg (1998)
Dignum, F., Dunin-Kȩplicz, B., Verbrugge, R.: Creating Collective Intention through Dialogue. Technical Report of Cognitive Science and Engineering, TCW- 1999-16, University of Groningen (1999)
Dignum, F., Kuiper, R.: Combining dynamic deontic logic and temporal logic for the specification of deadlines. In: Sprague Jr., R. (ed.) Proceedings of thirtieth HICSS, Wailea, Hawaii (1997)
Dignum, F., Weigand, H.: Communication and deontic logic. In: Wieringa, R., Feenstra, R. (eds.) Information Systems, Correctness and Reusability, pp. 242–260. World Scientific, Singapore (1995)
Dunin-Kȩplicz, B., Verbrugge, R.: Collective Commitments. In: Proc. Second International Conference on Multi-Agent Systems, ICMAS 1996, pp. 56–63. IEEE Computer Society Press, Kyoto (1996)
Dunin-Kȩplicz, B., Verbrugge, R.: The Role of Dialogue in Collective Problem Solving: Part I. To appear in Proceedings of the Agent Day, Krakow (1999)
Dunin-Kȩplicz, B., Verbrugge, R.: A Reconfiguration algorithm for distributed problem solving. In: To appear in Engineering Simulation: An International Journal of Electrical, Electronic and other Physical Systems (1999); special issue about distributed systems
Dunin-Kȩplicz, B., Verbrugge, R.: Collective motivational attitudes in cooperative problem solving. In: Gorodetsky, V., et al. (eds.) Proceedings of The First International Workshop of Central and Eastern Europe on Multi-agent Systems (CEEMAS 1999), St. Petersburg, pp. 22–41 (1999)
Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J.(ed.) Handbook of Theoretical Computer Science, pp. 995-1072 . North-Holland, Amsterdam (1989)
van Linder, B., van der Hoek, W., Meyer, J.-J.C.: Formalising abilities and opportunities of agents. Fundamenta Informaticae 34, pp. 53–101 (1998)
Sandholm, T., Lesser, V.: Issues in automated negotiation and electronic commerce: extending the contract net protocol. In: Proceedings First International Conference on Multiagent Systems (ICMAS 1995), San Francisco, pp. 328–335. AAAI Press/MIT Press (1995)
Searle, J.R., Vanderveken, D.: Foundations of Illocutionary Logic. Cambridge University Press, Cambridge (1985)
Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI architecture. In: Fikes, R., Sandewall, E. (eds.) Proceedings of Knowledge Representation and Reasoning (KR&R 1991), pp. 473–484. Morgan Kaufmann, San Mateo (1991)
Rao, A.S., Georgeff, M.P.: Formal Models and Decision Procedures for Multiagent Systems. Technical Note 61, Carlton (Victoria), Australian Artificial Intelligence Institute (1995)
Walton, D., Krabbe, E.: Commitment in Dialogue. SUNY Press, Albany (1995)
Wooldridge, M., Jennings, N.R.: Cooperative Problem Solving. Journal of Logic and Computation 9(4), 563–592 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Dignum, F., Dunin-Kȩplicz, B., Verbrugge, R. (2000). Dialogue in Team Formation. In: Dignum, F., Greaves, M. (eds) Issues in Agent Communication. Lecture Notes in Computer Science(), vol 1916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722777_18
Download citation
DOI: https://doi.org/10.1007/10722777_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41144-4
Online ISBN: 978-3-540-40028-8
eBook Packages: Springer Book Archive