Advertisement

Improving the Efficiency on Decision Making Process via BDD

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

Abstract

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.

Keywords

Decision making Efficiency Logical decision tree Binary decision diagram 

Notes

Acknowledgments

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

References

  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
  • Fausto Pedro García Márquez
    • 1
  1. 1.Ingenium Research GroupEscuela Técnica Superior de Ingenieros IndustrialesCiudad RealSpain

Personalised recommendations