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, protocols like the Contract Net protocol are used for performing the first two stages of the process. In an open environment however, there can be discussion among the agents in order to form a team that can achieve the collective intention of solving the problem. For these cases fixed protocols like contract net do not suffice. In this paper we present a theory for agents that are able to discuss the team formation and subsequently work as a team member until the collective goal has been fulfilled.We also present a solution, using structured dialogues, with an emphasis on persuasion, that can be shown to lead to the required team formation. The dialogues are described formally using modal logics and speech acts.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
L. Aaqvist. Deontic logic. In: D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. III, Reidel, Dordrecht, 1984, pp. 605–714.
C. Boutilier. Toward a logic for qualitative decision theory. In: Proceedings KR’94, 1994, pp. 75–86.
C. Castelfranchi and Y.-H. Tan (eds.). Trust and deception in virtual societies, Kluwer, Dordrecht, 2000.
F. Dignum and R. Conte. Intentional agents and goal formation. In: M. Singh et. al.(eds.), Intelligent Agents IV (LNAI 1365), Springer Verlag, 1998, pp. 231–244.
F. Dignum, B. Dunin-Keplicz, and R. Verbrugge. Dialogue in team formation: a formal approach. In: F. Dignum and B. Chaib-draa (eds.), IJCAI Workshop on Agent Communication Languages, Stockholm, 1999, pp. 39–50.
F. Dignum and R. Kuiper. Combining dynamic deontic logic and temporal logic for the specification of deadlines. In: Jr. R. Sprague (ed.), Proceedings of thirtieth HICSS, Wailea, Hawaii, 1997.
F. Dignum and H. Weigand. Communication and deontic logic. In: R. Wieringa and R. Feenstra (eds.), Information Systems, Correctness and Reusability,World Scientific, Singapore, 1995, pp. 242–260.
B. Dunin-Keplicz and R. Verbrugge. Collective commitments. In: Proc. Second International Conference on Multi-Agent Systems, ICMAS’96, IEEE Computer Society Press, Kyoto, 1996, pp. 56–63.
B. Dunin-Keplicz and R. Verbrugge. A Reconfiguration algorithm for distributed problem solving. In: Journal of Electronic Modeling, vol. 22, nr 2, 2000, pp. 68–86.
B. Dunin-Keplicz and R. Verbrugge. Collective motivational attitudes in cooperative problem solving. In: V. Gorodetsky et al. (eds.), Proceedings of The First International Workshop of Central and Eastern Europe on Multi-agent Systems (CEEMAS’99), St. Petersburg, 1999, pp. 22–41.
B. Dunin-Keplicz and R. Verbrugge. The role of dialogue in collective problem solving. In: Mathias Petsch and Brian Lees (eds.) ProceedingsWorkshop Intelligent Agents for Computer Supported Co-operative Work: Technology and Risks, Barcelona, June 2000, pp. 1–8.
R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge (MA), 1995.
B.J. Grosz and S. Kraus. Collaborative plans for group action. Artificial Intelligence 86 (1996) pp. 269–357.
B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Formalising abilities and opportunities of agents. Fundamenta Informaticae 34 (1998) pp. 53–101.
M. Luck and M. d’Inverno. Plan analysis for autonomous sociological agents. In C. Castelfranchi and Y. Lespérance, editors, Intelligent Agents VII. Agent Theories, Architectures and Languages-7th. InternationalWorkshop, ATAL-2000, Boston, MA, USA, July 7–9, 2000, Proceedings, Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2001. In this volume.
T. Norman and C. Reed. Delegation and responsibility. In C. Castelfranchi and Y. Lespérance, editors, Intelligent Agents VII. Agent Theories, Architectures and Languages-7th. InternationalWorkshop, ATAL-2000, Boston, MA, USA, July 7–9, 2000, Proceedings, Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2001. In this volume.
S. Parsons, C. Sierra, and N. Jennings. Agents that reason and negotiate by arguing. Journal of Logic and Computation, 8(3) (1998), pp. 261–292.
T. Sandholm and V. Lesser. Issues in automated negotiation and electronic commerce: extending the contract net protocol. In: Proceedings First International Conference on Multiagent Systems (ICMAS95), San Francisco, AAAI Press and MIT Press, 1995, pp. 328–335.
J.R. Searle and D. Vanderveken Foundations of Illocutionary Logic, Cambridge, Cambridge University Press, 1985.
A.S. Rao and M.P. Georgeff. Modeling rational agents within a BDI architecture. In: R. Fikes and E. Sandewall (eds.), Proceedings of Knowledge Representation and Reasoning (KR&R-91), San Mateo, Morgan Kaufmann, 1991, pp.473–484.
D. Walton and E. Krabbe. Commitment in Dialogue, SUNY Press, Albany, 1995.
M. Wooldridge and N.R. Jennings. Cooperative Problem Solving. Journal of Logic and Computation 9 (4) (1999), pp. 563–592.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dignum, F., Dunin-Keplicz, B., Verbrugge, R. (2001). Agent Theory for Team Formation by Dialogue. In: Castelfranchi, C., Lespérance, Y. (eds) Intelligent Agents VII Agent Theories Architectures and Languages. ATAL 2000. Lecture Notes in Computer Science(), vol 1986. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44631-1_11
Download citation
DOI: https://doi.org/10.1007/3-540-44631-1_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42422-2
Online ISBN: 978-3-540-44631-6
eBook Packages: Springer Book Archive