Abstract
We define an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth together with the Assertion Network Toolkit, a graphical interface designed to test our semantics.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bolander, T.: Logical Theories for Agent Introspection, PhD thesis, Technical University of Denmark (2003)
Brandes, U., Erlebach, T. (eds.): Network Analysis. LNCS, vol. 3418. Springer, Heidelberg (2005)
Dragoni, A.F., Giorgini, P.: Revising Beliefs received from Multiple Sources. In: Williams, M.-A., Rott, H. (eds.) Frontiers in Belief Revision, pp. 429–442. Kluwer Academic Publishers, Dordrecht (2001)
Gaifman, H.: Operational Pointer Semantics: Solution to Self-referential Puzzles I. In: Vardi, M. (ed.) Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, March 1988, pp. 43–59. Morgan Kaufmann, San Francisco (1988)
Gaifman, H.: Pointers to Truth. Journal of Philosophy 89, 223–261 (1992)
Gerbrandy, J.: Dynamic epistemic logic. In: Moss, L.S., Ginzburg, J., de Rijke, M. (eds.) Proceedings of the 2nd Conference on Information-theoretic Approaches to Logic, Language and Computation (ITALLC) held at Regent’s College, London, July 1996, vol. 2, pp. 67–84. CSLI Publications, Stanford, CA (1999)
Gupta, A., Belnap, N.: The Revision Theory of Truth. CambridgeUniversity Press, Cambridge, MA (1993)
Herzberger, H.G.: Naive Semantics and the Liar Paradox. Journal of Philosophy 79, 479–497 (1982)
Herzberger, H.G.: Notes on Naive Semantics. Journal of Philosophical Logic 11, 61–102 (1982)
Kühnberger, K.-U., Löwe, B., Möllerfeld, M., Welch, P.: Comparing inductive and circular definitions: parameters, complexities and games. Studia Logica 81, 79–98 (2005)
Löwe, B.: Revision Forever! In: Schärfe, H., Hitzler, P., Øhrstrøm, P. (eds.) ICCS 2006. LNCS (LNAI), vol. 4068, pp. 22–36. Springer, Heidelberg (2006)
Pearl, J.: Probabilistic reasoning in intelligent systems: networks of plausible inference [The Morgan Kaufmann Series in Representation and Reasoning]. Morgan Kaufmann, San Francisco (1988)
Plaza, J.A.: Logics of Public Communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems: Poster Session Program, Oak Ridge National Laboratory, pp. 201–216 (1989) [ORNL/DSRD-24]
Scott, J.P.: Social Network Analysis. Sage, Thousand Oaks (1992)
Tomita, K., Kurokawa, H., Murata, S.: Graph automata: natural expression of self-reproduction. Physica D: Nonlinear Phenomena 171, 197–210 (2002)
Wellman, B., Berkowitz, S.D.: Social Structures: A network approach. Cambridge University Press, Cambridge (1988)
Williamson, J.: Bayesian nets and causality, Philosophical and computational foundations. Oxford University Press, Oxford (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ghosh, S., Löwe, B., Scorelle, E. (2007). Belief Flow in Assertion Networks. In: Priss, U., Polovina, S., Hill, R. (eds) Conceptual Structures: Knowledge Architectures for Smart Applications. ICCS 2007. Lecture Notes in Computer Science(), vol 4604. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73681-3_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-73681-3_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73680-6
Online ISBN: 978-3-540-73681-3
eBook Packages: Computer ScienceComputer Science (R0)