×

Belief flow in assertion networks. (English) Zbl 1213.68590

Priss, Uta (ed.) et al., Conceptual structures: Knowledge architectures for smart applications. 15th international conference on conceptual structures, ICCS 2007, Sheffield, UK, July 22–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73680-6/pbk). Lecture Notes in Computer Science 4604. Lecture Notes in Artificial Intelligence, 401-414 (2007).
Summary: 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.
For the entire collection see [Zbl 1122.68010].

MSC:

68T27 Logic in artificial intelligence
03B42 Logics of knowledge and belief (including belief change)
05C90 Applications of graph theory
PDFBibTeX XMLCite
Full Text: DOI