Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory

DOI10.1007/978-3-540-75256-1_30zbMATH Open1148.68525OpenAlexW1488991733MaRDI QIDQ3524940FDOQ3524940

Authors N. Lehmann 

Publication date 16 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75256-1_30

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Representation of interrelationships among binary variables under dempster-shafer theory of belief functions
• Binary decision diagrams
• Implementing belief function computations
• A logic-based analysis of Dempster-Shafer theory
• Implementing Dempster's rule for hierarchical evidence

Cites work

• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• scientific article; zbMATH DE number 1946853 (Why is no real title available?)
• scientific article; zbMATH DE number 1390338 (Why is no real title available?)
• scientific article; zbMATH DE number 3271180 (Why is no real title available?)
• A mathematical theory of hints. An approach to the Dempster-Shafer theory of evidence
• Graph-Based Algorithms for Boolean Function Manipulation
• Implementing belief function computations
• On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
• Upper and Lower Probabilities Induced by a Multivalued Mapping

Cited in

(3)

• Representation of interrelationships among binary variables under dempster-shafer theory of belief functions
• Towards a logical belief function theory
• A logical version of the belief function theory

Describes a project that uses

Uses Software

• CUDD

This page was built for publication: Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3524940)