Improving the Efficiency on Decision Making Process via BDD

  • Alberto Pliego MarugánEmail author
  • Fausto Pedro García Márquez
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 362)


For a qualitatively and quantitatively analysis of a complex Decision Making (DM) process is critical to employ a correct method due to the large number of operations required. This paper presents an approach employing Binary Decision Diagram (BDD) applied to the Logical Decision Tree. LDT allows addressing a Main Problem (MP) by establishing different causes, called Basic Causes (BC) and their interrelations. The cases that have a large number of BCs generate important computational costs because it is a NP-hard type problem. This paper presents a new approach in order to analyze big LDT. A new approach to reduce the complexity of the problem is hereby presented. It makes use of data derived from simpler problems that requires less computational costs for obtaining a good solution. An exact solution is not provided by this method but the approximations achieved have a low deviation from the exact.


Decision making Efficiency Logical decision tree Binary decision diagram 



The work reported herewith has been financially supported by the Spanish Ministerio de Economía y Competitividad, under Research Grant DPI2012-31579.


  1. 1.
    Akers S (1978) Binary decision diagrams. IEEE Trans Comput 27:509–516CrossRefGoogle Scholar
  2. 2.
    Artigao E (2009) Análisis de árboles de fallos mediante diagramas de decisión binarios. PFC Universidad de Castilla La ManchaGoogle Scholar
  3. 3.
    Bartlett L (2003) Progression of the binary decision diagram conversion methods. In: Proceedings of the 21st international system safety conference, vol 48. Ottawa, Westin Hotel, pp 116–25Google Scholar
  4. 4.
    Bartlett L, Andrews J (2001) An ordering heuristic to develop the binary decision diagram based on structural importance. Reliab Eng Syst Saf 72:31–38CrossRefGoogle Scholar
  5. 5.
    Bryant R (1986) Graph-based algorithms for Boolean functions using a graphical representation. IEEE Trans Comput 35:677–691CrossRefGoogle Scholar
  6. 6.
    Cormen T, Leiserson CE, Rivest RL (2001) Introduction to algorithms. MIT Press and McGraw-Hill, New York, pp 540–549Google Scholar
  7. 7.
    Ericson C (1999) Fault tree analysis: a history. In: Proceedings of the 17th international safety systems conferenceGoogle Scholar
  8. 8.
    García Márquez F, H M (2012) Introduccián análisis de Á rboles de fallos: Empleo de bdds. Editorial Académica EspañolaGoogle Scholar
  9. 9.
    Jensen R, Veloso M (2000) OBDD-based universal planning for synchronized agents in non-deterministic domains. J Artif Intell Res 13:189–226Google Scholar
  10. 10.
    Lee CY (1959) Representation of switching circuits by binary decision diagrams. Bell Syst Technol 38:985–999CrossRefGoogle Scholar
  11. 11.
    Lopez D, Van Slyke WJ (1977) Logic tree analysis for decision making. Omega Int J Manag Sci 5:614–617CrossRefGoogle Scholar
  12. 12.
    Malik S (1988) Logic verification using binary decision diagrams in logic synthesis environment. In: Proceedings of the IEEE international conference on computer aided design, pp 6–9Google Scholar
  13. 13.
    Mallo C, Merlo J (1995) Control de gestión y control presupuestario. McGraw-Hill, New York, pp 5–30Google Scholar
  14. 14.
    Minato S, Ishiura N, Yajim S (1990) Shared binary decision diagrams with attributed edges for efficient boolean function manipulation. In: Proceedings of the 27th ACM/IEEE design automation conference, pp 52–57Google Scholar
  15. 15.
    Moret B (1982) Decision trees and diagrams. Comput Surv 14:413–416CrossRefGoogle Scholar
  16. 16.
    Rauzy A (1993) New algorithms for fault trees analysis. Reliab Eng Syst Saf 5:203–211CrossRefGoogle Scholar
  17. 17.
    Xie M, Tan K, Goh K (2000) Optimum prioritisation and resource allocation based on fault tree analysis. Int J Qual Reliab Manag 17:189–199CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  • Alberto Pliego Marugán
    • 1
    Email author
  • Fausto Pedro García Márquez
    • 1
  1. 1.Ingenium Research GroupEscuela Técnica Superior de Ingenieros IndustrialesCiudad RealSpain

Personalised recommendations