Improving the Efficiency on Decision Making Process via BDD
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.
KeywordsDecision 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.
- 2.Artigao E (2009) Análisis de árboles de fallos mediante diagramas de decisión binarios. PFC Universidad de Castilla La ManchaGoogle Scholar
- 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
- 6.Cormen T, Leiserson CE, Rivest RL (2001) Introduction to algorithms. MIT Press and McGraw-Hill, New York, pp 540–549Google Scholar
- 7.Ericson C (1999) Fault tree analysis: a history. In: Proceedings of the 17th international safety systems conferenceGoogle Scholar
- 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.Jensen R, Veloso M (2000) OBDD-based universal planning for synchronized agents in non-deterministic domains. J Artif Intell Res 13:189–226Google Scholar
- 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.Mallo C, Merlo J (1995) Control de gestión y control presupuestario. McGraw-Hill, New York, pp 5–30Google Scholar
- 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