Abstract
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world includes CTL. We represent the channel by a reserved set of propositional variables. With this, we revise the definition of inform of FIPA; if the channel exists the receiver agent surely learns the information whereas if not the action fails. According to this distinction, the current state in each world would diverge into two different states. We have implemented a prover, that works also as a model builder. Given a formula in a state in a possible world, the system proves whether it holds or not, while if an inform action is initiated the system adds new states with branching paths.
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
Emerson, A.E., Srinivasan, J.: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds.) Branching time temporal logic, pp. 123–172 (1989)
Emerson, A.E., Halpern, J.Y.: Decision procedures and expressiveness in the temporal logic of branching time. In: Proceedings of the 14th Annual ACM Symposium, pp. 169–180. ACM Press, New York (1982)
Rao, A.S., Gergeff, M.P.: Modeling rational agents within a bdi-architecture. In: Proceeding of International Conference on Principles of Knowledge Representation and Reasoning (1991)
Rao, A.S., Gergeff, M.P.: Decision Procedures for BDI Logics. Journal of Logic and Computation 9(3), 293–342 (1998)
Rao, A.S., Georgeff, M.P.: BDI-agents: from theory to practice. In: Proceedings of the First Intl. Conference on Multiagent Systems, San Francisco (1995), http://citeseer.ist.psu.edu/rao95bdi.html
Bratman, M.E.: Intention, Plans, and Practical Reason. The University of Chicago Press, Chicago (1999)
van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.J.C.: Process Algebra for Agent Communication: A General Semantic Approach. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol. 2650, pp. 113–128. Springer, Heidelberg (2003)
FIPA. Foundation for Intelligent Physical Agents: Communicative act library specification (2002), http://www.fipa.org
Cohen, P.R., Levesque, H.J.: Rational interaction as the basis for communication. In: Cohen, P.R., Morgan, J., Pollack, M.E. (eds.) Intentions in Communication, pp. 221–255. MIT Press, Cambridge (1990)
Finin, T., McKay, D., Fritzson, R., McEntire, R.: KQML: An Information and Knowledge Exchenge Protocol. In: Knowledge Building and Knowledge Sharing, IOS Press, Amsterdam (1994)
Wooldridge, M.: Reasoning about Rational Agent. MIT Press, Cambridge (2000)
FIPA Foundation for Intelligent Physical Agents: Fipa 97 part 2 version 2.0: Agent communication language specification (1997), http://www.drogo.cselt.it/fipa.org
SWI-Prolog Version 5.6.2. University of Amsterdam (2006), http://www.swi-prolog.org/
Wooldridge, M., Fisher, M., Huget, M.P., Parsons, S.: Model checking multi-agent systems with mable. In: AAMAS’02, ACM Press, New York (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Hagiwara, S., Kobayashi, M., Tojo, S. (2007). Belief Updating by Communication Channel. In: Inoue, K., Satoh, K., Toni, F. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2006. Lecture Notes in Computer Science(), vol 4371. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69619-3_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-69619-3_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69618-6
Online ISBN: 978-3-540-69619-3
eBook Packages: Computer ScienceComputer Science (R0)