Abstract
We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing information. Our human interaction model is based on the speech act theory to model the utterances and it uses timed automata to describe the dynamics of the dialogs. Our human planning model is implemented as a hierarchical blackboard architecture which manages opportunistic planning. The system BDIggy we propose, is a concurrent implementation of the planning model and the interaction model through the BDI concept. This system is used to simulate the human processes during cooperative problem solving.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Searle, J.: Speech Acts – An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
FIPA: FIPA communicative act library specification. Technical report, Foundation for Intelligent Physical Agents (2002)
Finin, T., Fritzson, R., McKay, D., McEntire, R.: KQML as an agent communication language. In: CIKM 1994, pp. 456–463 (1994)
Vanderveken, D.: Illocutionary logic and discourse typology. Revue Internationale de philosophie 55(216), 243–255 (2001)
Alur, R., Dill, D.L.: A theory of timed automata. Theoretical computer science 126, 183–235 (1994)
d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. Technical note 72, Australian Artificial Intelligence Institute, Carlton, Victoria (1997)
Allen, J., Blaylock, N., Ferguson, G.: A problem solving model for collaborative agents. In: Falcone, R., Barber, S., Korba, L., Singh, M.P. (eds.) AAMAS 2002. LNCS (LNAI), vol. 2631, pp. 774–781. Springer, Heidelberg (2003)
Allen, J., Ferguson, G.: Human-machine collaborative planning. In: NASA Workshop on Planning and Scheduling for Space, Houston, USA (2002)
Traum, D.: A Computational Theory of Grounding in Natural Language Conversation. PhD thesis, University of Rochester (1994)
Rich, C., Sidner, C.: COLLAGEN: A collaboration manager for software interface agents. User Modelling and User-Adapted Interaction 8(3/4), 315–350 (1998)
Grosz, B., Kraus, S.: Collaborative plans for complex group action. Artificial Intelligence 86(2), 269–357 (1996)
Lochbaum, K.: A collaborative planning model of intentionnal structure. Computationnal linguistic 24(4), 525–572 (1998)
Cohen, P., Levesque, H.: Performatives in a rationally based speech acts theory. In: MACL 1990, Pittsburgh, Pensylvania, pp. 79–88 (1990)
Singh, M.: Towards a formal theory of communication for multiagent systems. In: IJCAI 1991, Sidney, Australia, pp. 69–74 (1991)
Sadek, M.: A study in the logic of intention. In: KR 1992, Cambridge, pp. 462–473 (1992)
Parunak, H.V.D.: Visualizing agent conversations: using enhanced dooley graphs for agent design and analysis. In: ICMAS 1996, Kyoto, Japan, pp. 275–282 (1996)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pauchet, A., El Fallah Seghrouchni, A., Chaignaud, N. (2007). Simulating a Human Cooperative Problem Solving. In: Burkhard, HD., Lindemann, G., Verbrugge, R., Varga, L.Z. (eds) Multi-Agent Systems and Applications V. CEEMAS 2007. Lecture Notes in Computer Science(), vol 4696. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75254-7_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-75254-7_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75253-0
Online ISBN: 978-3-540-75254-7
eBook Packages: Computer ScienceComputer Science (R0)