Abstract
This paper introduces a new formal model, which generalizes current agent communication theories (basically the FIPA version of these theories) to handle probabilistic knowledge communication. Several questions about communication of probabilistic knowledge are discussed in the light of current theories of agent communication and it is argued that exists a semantic gap between these theories and research areas related to probabilistic knowledge representation and communication. This gap creates serious theoretical problems if agents that reason probabilistically try to use communication framework provided by these theories. To diminish this gap it is proposed a modal probabilistic logic and a new communication framework composed of communication principles and acts for probabilistic knowledge communication.
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
Abadi, M., Halpern, J.: Decidability and Expressiveness for First-Order Logics of Probability. In: Procs. of IEEE Symp. on Foundations of Computer Science 30 (1989)
Bacchus, F.: Lp, a Logic for Representing and Reasoning with Statistical Knowledge. Computational Intelligence 6, 209–301 (1990)
Chaib-Draa, B., Dignun, F.: Trends in Agent Communication Language. In: Computational Intelligence, vol. 2(5). Blackwell Publ., Cambridge (2002)
Cohen, P., Levesque, H.: Rational Interaction as the Basis for Communication. In: Cohen, P., Morgan, J., Pollack, M. (eds.) Intentions in Communication, MIT Press, Cambridge (1990)
Cohen, P., Levesque, H.: Communicative Actions for Artifical Agents. In: Procs. of ICMAS 1995, San Francisco. MIT Press, Cambridge (1995)
FIPA. FIPA Communicative Act Library Specification, Std. SC00037J, FIPA (2002)
Gluz, J.C.: Formalization of the Communication of Probabilistic Knowledge in Multiagent Systems: an approach based on Probabilistic Logic (In Portuguese). PhD Thesis. Instituto de Informática, UFRGS, Porto Alegre (2005)
Gluz, J.C., Flores, C.D., Seixas, L., Viccari, R.M.: Formal Aspects of Pedagogical Negotiation in AMPLIA System. In: Procs. of TISE-2005, Santiago, Chile (2005)
Halpern, J.Y.: An Analysis of First-Order Logics of Probability. Artificial Intelligence 46, 311–350 (1990)
Nilsson, N.J.: Probabilistic Logic. Artificial Intelligence, Amsterdan 28, 71–87 (1986)
Sadek, M.D.: Dialogue Acts are Rational Plans. In: Procs. of ESCA/ETRW Workshop on the Structure of Multimodal Dialogue, Maratea, Italy (1991)
Sadek, M.D.: A Study in the Logic of Intention. In: Procs. of KR 1992, Cambridge, USA, pp. 462–473 (1992)
Vicari, R.M., Flores, C.D., Seixas, L., Silvestre, A., Ladeira, M., Coelho, H.A.: Multi- Agent Intelligent Environment for Medical Knowledge. Artificial Intelligence in Medicine 27(3), 335–366 (2003)
Xiang, Y.: A probabilistic framework for cooperative multi-agent distributed interpretation and optimization of communication. Artificial Intelligence 87, 295–342 (1996)
Monk, J.D.: Mathematical Logic. Springer, New York (1976)
Gluz, J.C., Flores, C.D., Vicari, R.M.: Formal Aspects of Pedagogical Negotiation in AMPLIA System. In: Nedjah, N., Mourelle, L.M. (eds.) Intelligent Educational Machines. Intelligent Systems Engineering Book Series. Springer, Nova (2006) (to appear)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gluz, J.C., Viccari, R.M., Flores, C.D., Seixas, L. (2006). Formal Analysis of a Probabilistic Knowledge Communication Framework. In: Sichman, J.S., Coelho, H., Rezende, S.O. (eds) Advances in Artificial Intelligence - IBERAMIA-SBIA 2006. IBERAMIA SBIA 2006 2006. Lecture Notes in Computer Science(), vol 4140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11874850_18
Download citation
DOI: https://doi.org/10.1007/11874850_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45462-5
Online ISBN: 978-3-540-45464-9
eBook Packages: Computer ScienceComputer Science (R0)