Belief Flow in Assertion Networks

Authors:
Sujata Ghosh;Benedikt Löwe;Erik Scorelle
Affiliations:
Department of Mathematics, Visva Bharati, Santiniketan, West Bengal, India and Institute for Logic, Language and Computation, Universiteit van Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterda ...;Institute for Logic, Language and Computation, Universiteit van Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands and Mathematisches Institut, Rheinische Friedrich-Wilhelms-U ...;Institute for Logic, Language and Computation, Universiteit van Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands
Venue:
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Year:
2007

Citing 4
Cited 1

Probabilistic reasoning in intelligent systems: networks of plausible inference

Probabilistic reasoning in intelligent systems: networks of plausible inference
Dynamic epistemic logic

Logic, language and computation, vol. 2
Operational Pointer Semantics: Solution to Self-Referential Puzzles I

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Bayesian Nets And Causality: Philosophical And Computational Foundations

Bayesian Nets And Causality: Philosophical And Computational Foundations

Expressing Belief Flow in Assertion Networks

Logic, Language, and Computation

Quantified Score

Hi-index	0.00

Visualization

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.