Skip to main content
SpringerLink
Log in

Expressing Belief Flow in Assertion Networks

  • Conference paper
Logic, Language, and Computation (TbiLLC 2007)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5422))

Included in the following conference series:

Abstract

In the line of some earlier work done on belief dynamics, we propose an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth. A set of postulates is proposed, a dynamic language is developed for portraying the behavior of this model, and its expressiveness is discussed. We compare the proposal of this model with some of the existing frameworks for modelling communication situations.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bolander, T.: Self-reference and logic. Phi. News 1, 9–44 (2002)

    Google Scholar 

  2. Gaifman, H.: Operational pointer semantics: Solution to self-referential puzzles I. In: Vardi, M. (ed.) Proceedings of TARK 1988, pp. 43–59 (1988)

    Google Scholar 

  3. Gaifman, H.: Pointers to truth. Journal of Philosophy 89, 223–261 (1992)

    Article  MathSciNet  Google Scholar 

  4. Gupta, A., Belnap, N.D.: The Revision Theory of Truth. The MIT Press, Cambridge (1993)

    MATH  Google Scholar 

  5. Herzberger, H.G.: Naive semantics and the liar paradox. The Journal of Philosophy 79, 479–497 (1982)

    Article  Google Scholar 

  6. Ghosh, S., Löwe, B., Scorelle, E.: Belief flow in assertion networks. In: Priss, U., Polovina, S., Hill, R. (eds.) ICCS 2007. LNCS (LNAI), vol. 4604, pp. 401–414. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  7. Balkenius, C., Gärdenfors, P.: Nonmonotonic inferences in neural networks. In: Allen, J.A., Fikes, R., Sandewall, E. (eds.) Proceedings of KR 1991, pp. 32–39 (1991)

    Google Scholar 

  8. Blutner, R., Doherty, P.D.: Nonmonotonic logic and neural networks, http://citeseer.ist.psu.edu/160749.html

  9. d’Avila Garcez, A., Broda, K., Gabbay, D.: Symbolic knowledge extraction from trained neural networks: A sound approach. Artificial Intelligence 125(1–2), 155–207 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  10. Leitgeb, H.: Interpreted dynamical systems and qualitative laws: from neural networks to evolutionary systems. Synthese 146(1-2), 189–202 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. Ghosh, S., Velázquez-Quesada, F.R.: Merging information, working paper

    Google Scholar 

  13. Alchourrón, C., Gärdenfors, P., Makinson, D.: On the logic of theory change. The Journal of Symbolic Logic 50, 510–530 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  14. Darwiche, A., Pearl, J.: On the logic of iterated belief revision. In: Fagin, R. (ed.) Proceedings of TARK 1994, pp. 5–23. Morgan Kaufmann, San Francisco (1994)

    Google Scholar 

  15. Jin, Y., Thielscher, M.: Iterated belief revision, revised. Artificial Intelligence 171(1), 1–18 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  16. Konieczny, S.: Sur la logique du changement: révision et fusion de bases de connaissance. PhD thesis, Laboratoire d’Informatique Fondamentale de Lille (1999)

    Google Scholar 

  17. Konieczny, S., Pino-Pérez, R.: On the logic of merging. In: Proceedigns of KR 1998, pp. 488–498 (1998)

    Google Scholar 

  18. Konieczny, S., Pino-Pérez, R.: Merging information under constraints: a logical framework. Journal of Logic and Computation 12(5), 773–808 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  19. Gauwin, O., Konieczny, S., Marquis, P.: Conciliation through iterated belief merging. Journal of Logic and Computation 17(5), 909–937 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  20. Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis, Institute for Logic, Language and Computation (University of Amsterdam) (1999)

    Google Scholar 

  21. Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of ISMIS 1989, pp. 201–216 (1989)

    Google Scholar 

  22. Segerberg, K.: The basic dynamic doxastic logic of AGM. In: Williams, M., Rott, H. (eds.) Frontiers in Belief Revision, pp. 57–84. Kluwer, Dordrecht (2001)

    Chapter  Google Scholar 

  23. van Benthem, J.: Dynamic logic for belief revision. Journal of Applied Non-Classical Logic 17(2), 129–155 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  24. Low, B., Foo, N.: Towards a network for representing beliefs. In: Proceedings of the 2nd International Computer Science Conference, pp. 85–91 (1992)

    Google Scholar 

  25. Low, B., Foo, N.: A network formalism for commonsense reasoning. In: Proceedings of the Sixteenth Australian Computer Science Conference, pp. 425–434 (1993)

    Google Scholar 

  26. Dragoni, A., Giorgini, P.: Distributed belief revision. Autonomous Agents and Multi-Agent Systems 6(2), 115–143 (2003)

    Article  Google Scholar 

  27. Williamson, J.: Bayesian nets and causality, Philosophical and computational foundations. OUP (2005)

    Google Scholar 

  28. Duc, H.N.: Logical omniscience vs. logical ignorance on a dilemma of epistemic logic. In: Pinto-Ferreira, C., Mamede, N.J. (eds.) EPIA 1995. LNCS, vol. 990, pp. 237–248. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  29. Duc, H.N.: Reasoning about rational, but not logically omniscient, agents. Journal of Logic and Computation 7(5), 633–648 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  30. Liau, C.J.: Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation. Artificial Intelligence 149(1), 31–60 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  31. Dastani, M., Herzig, A., Hulstijn, J., van der Torre, L.W.N.: Inferring trust. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS, vol. 3487, pp. 144–160. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Visva-Bharati, Santiniketan, West Bengal, India

    Sujata Ghosh

  2. Center for Soft Computing Research, Indian Statistical Institute, Kolkata, West Bengal, India

    Sujata Ghosh

  3. Institute for Logic, Language and Computation, Universiteit van Amsterdam, Plantage Muidergracht 24, 1018 TV, Amsterdam, The Netherlands

    Fernando R. Velázquez-Quesada

Authors
  1. Sujata Ghosh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fernando R. Velázquez-Quesada
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Kognitionswissenschaft, Universität Osnabrück, 49069, Osnabrück, Germany

    Peter Bosch

  2. Razmadze Mathematical Institute, 1 Aleksidze st., 0193, Tbilisi, Georgia

    David Gabelaia

  3. LAMSADE, Université Paris-Dauphine, 75775, Paris Cedex 16, France

    Jérôme Lang

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ghosh, S., Velázquez-Quesada, F.R. (2009). Expressing Belief Flow in Assertion Networks. In: Bosch, P., Gabelaia, D., Lang, J. (eds) Logic, Language, and Computation. TbiLLC 2007. Lecture Notes in Computer Science(), vol 5422. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00665-4_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-00665-4_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-00664-7

  • Online ISBN: 978-3-642-00665-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation