Abstract
Using a knowledge-based approach we adjust a knowledge-based algorithm for multi-agent communication for the process of cooperative problem solving (CPS). The knowledge-based algorithm for multi-agent communication [1] solves the sequence transmission problem from one agent to a group of agents, but does not fully comply with the dialogue communication. The number of messages being communicated during one-on-one communication between the initiator and each other agent from the group can differ. Furthermore the CPS process can require the communication algorithm to handle changes of initiator. We show the adjustments that have to be made to the knowledge-based algorithm for multi-agent communication for it to handle these properties of CPS. For the adjustments of this new multi-agent communication algorithm it is shown that the gaining of knowledge required for a successful CPS process is still guaranteed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van Baars, E., Verbrugge, R.: Knowledge-based algorithm for multi-agent communication. In: Bonanno, G., et al. (eds.) Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision Theory, University of Liverpool, pp. 227–236 (2006)
Wooldridge, M., Jennings, N.R.: The cooperative problem-solving process. Journal of Logic and Computation 9(4), 563–592 (1999)
Dignum, F., Dunin-Kȩplicz, B., Verbrugge, R.: Creating collective intention through dialogue. Logic Journal of the IGPL 9(2), 289–303 (2001)
Dunin-Kȩplicz, B., Verbrugge, R.: Dialogue in teamwork. In: Fonseca, J.M., et al. (eds.) Proceedings of The 10th ISPE International Conference on Concurrent Engineering: Research and Applications, Rotterdam, A.A. Balkema, pp. 121–128 (2003)
Halpern, J.Y., Zuck, L.D.: A little knowledge goes a long way: Simple knowledge-based derivations and correctness proofs for a family of protocols. In: Proceedings of the 6th ACM Symposium on Principles of Distributed Computing, pp. 269–280 (1987); Full version including proofs appeared in Journal of the ACM 39(3), 449–478 (1992)
van Baars, E.: Knowledge-based algorithm for multi-agent communication. Master’s thesis, Department of Artificial Intelligence, University of Groningen (2006), www.ai.rug.nl/alice/mas/macom
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
Halpern, J.Y., Pucella, R.: On the relationship between strand spaces and multi-agent systems. ACM Trans. Inf. Syst. Secur. 6(1), 43–70 (2003)
Postel, J.: Transmission control protocol (TCP). Technical Report RFC 793, Internet Society (September 1981), ftp://ftp.rfc-editor.org/in-notes/rfc793.txt
Stulp, F., Verbrugge, R.: A knowledge-based algorithm for the internet protocol TCP. Bulletin of Economic Research 54(1), 69–94 (2002)
Douglas, D.E.: Internetworking with TCP/IP. Principles, Protocols and Architectures, vol. 1. Pearson Prentice Hall, Upper Saddle River (2006)
Goldblatt, R.: Logics of Time and Computation. CSLI Lecture Notes, vol. 7. Center for Studies in Language and Information, Palo Alto (1992)
Halpern, J., van der Meyden, R., Vardi, M.: Complete axiomatizations for reasoning about knowledge and time. SIAM Journal on Computing 33(3), 674–703 (2004)
Lomuscio, A., Sergot, M.: A formulation of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic 2, 93–116 (2004)
Dunin-Kȩplicz, B., Verbrugge, R.: A tuning machine for cooperative problem solving. Fundamenta Informaticae 63, 283–307 (2004)
Cox, J.S., Durfee, E.H., Bartold, T.: A distributed framework for solving the multiagent plan coordination problem. In: Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M.P., Wooldridge, M. (eds.) AAMAS, pp. 821–827. ACM, New York (2005)
Chopra, A.K., Singh, M.P.: Contextualizing commitment protocols. In: Nakashima, H., Wellman, M.P., Weiss, G., Stone, P. (eds.) AAMAS, pp. 1345–1352. ACM, New York (2006)
Lomuscio, A., Woźna, B.: A complete and decidable security-specialised logic and its application to the TESLA protocol. In: Stone, P., Weiss, G. (eds.) Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 145–152. ACM Press, New York (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Baars, E., Verbrugge, R. (2008). Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS. In: Dastani, M., El Fallah Seghrouchni, A., Leite, J., Torroni, P. (eds) Languages, Methodologies and Development Tools for Multi-Agent Systems. LADS 2007. Lecture Notes in Computer Science(), vol 5118. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85058-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-85058-8_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85057-1
Online ISBN: 978-3-540-85058-8
eBook Packages: Computer ScienceComputer Science (R0)