Binary Decision Diagrams and Crisp Possibilistic Reconstructability Analysis
Portland State University
Department of EECS, University of California Berkeley
Last modified: March 24, 2006
The paper discusses the application of Binary Decision Diagrams (BDDs) in the reconstructability analysis of crisp possibilistic systems. In particular, we show how BDDs can be used to represent set-theoretic relations and implement the basic operations of set-theoretic reconstructability analysis: projection, composition of multiple relations, and evaluation of the reconstructed relation relative to data. Generalization to multi-valued variables via the use of MDDs is straight-forward.