Skip to main content

Dialogue in Team Formation

  • Chapter
Issues in Agent Communication

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1916))

  • 540 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Dechter, R.: Enhancement Schemes for Constraint Processing: Backjumping, Learning and Cutset Decomposition. Journal of Artificial Intelligence 41, 273–312 (1990)

    Article  MathSciNet  Google Scholar 

  2. 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)

    Chapter  Google Scholar 

  3. 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)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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

    Google Scholar 

  9. 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)

    Google Scholar 

  10. Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J.(ed.) Handbook of Theoretical Computer Science, pp. 995-1072 . North-Holland, Amsterdam (1989)

    Google Scholar 

  11. van Linder, B., van der Hoek, W., Meyer, J.-J.C.: Formalising abilities and opportunities of agents. Fundamenta Informaticae 34, pp. 53–101 (1998)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. Searle, J.R., Vanderveken, D.: Foundations of Illocutionary Logic. Cambridge University Press, Cambridge (1985)

    MATH  Google Scholar 

  14. 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)

    Google Scholar 

  15. Rao, A.S., Georgeff, M.P.: Formal Models and Decision Procedures for Multiagent Systems. Technical Note 61, Carlton (Victoria), Australian Artificial Intelligence Institute (1995)

    Google Scholar 

  16. Walton, D., Krabbe, E.: Commitment in Dialogue. SUNY Press, Albany (1995)

    Google Scholar 

  17. Wooldridge, M., Jennings, N.R.: Cooperative Problem Solving. Journal of Logic and Computation 9(4), 563–592 (1999)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics