Improving the scalability of rule base verification using binary decision diagrams: An empirical study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3238 LNAI, Issue , 2004, Pages 381-395

  Mues, Christophe ^a,b   Vanthienen, Jan ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; BOOLEAN FUNCTIONS; COMPUTATIONAL EFFICIENCY; EFFICIENCY; KNOWLEDGE BASED SYSTEMS; SCALABILITY; BINS;

BINARY DECISION DIAGRAMS (BDDS); COMPUTATION METHODS; DYNAMIC REORDERING; EMPIRICAL STUDIES; HARDWARE DESIGN; RULE BASIS; RULE CHAINS; VARIABLE ORDER;

BINARY DECISION DIAGRAMS;

EID: 76049099054     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30221-6_29     Document Type: Conference Paper

References (13)

1. R.E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, 1986.
2. J. de Kleer. An assumption-based TMS. Artificial Intelligence, 28(2):127-162, 1986.
3. A. Ginsberg. Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency & redundancy. In Proc. of the 7th National Conf. on Arti-ficial Intelligence (AAAI-88), pages 585-589, 1988.
4. T. Horiyama and T. Ibaraki. Ordered binary decision diagrams as knowledge-bases. Artificial Intelligence, 136(2):189-213, 2002.
5. A. Levy and M.-C. Rousset. Verification of knowledge bases based on containment checking. Artificial Intelligence, 101(1-2):227-250, 1998.
6. C. Mues. On the Use of Decision Tables and Diagrams in Knowledge Modeling and Verification. PhD thesis, K.U.Leuven, Dept. of Applied Econ. Sciences, 2002.
7. A. Preece and R. Shinghal. Foundation and application of knowledge base verifi-cation. Intl. Journal of Intelligent Systems, 9(8):683-701, 1994.
8. A. Preece, R. Shinghal, and A. Batarekh. Principles and practice in verifying rule-based systems. The Knowledge Engineering Review, 7(2):115-141, 1992.
9. M.-C. Rousset. On the consistency of knowledge bases: the COVADIS system. Computational Intelligence, 4:166-170, 1988.
10. R. Rudell. Dynamic variable ordering for ordered binary decision diagrams. In Proc. of the 1993 IEEE/ACM Intl. Conf. on Computer-Aided Design (ICCAD-93), pages 42-47. IEEE Computer Society Press, 1993.
11. P. Torasso and G. Torta. Computing minimum-cardinality diagnoses using OBDDs. In A. Günter, R. Kruse, and B. Neumann, editors, Proc. of the 26th German Conf. on Artificial Intelligence (KI-2003), volume 2821 of Lecture Notes in Computer Science, pages 224-238. Springer, 2003.
12. W.-T. Tsai, R. Vishnuvajjala, and D. Zhang. Verification and validation of knowledge-based systems. IEEE Transactions on Knowledge and Data Engineering, 11(1):202-211, 1999.
13. J. Vanthienen, C. Mues, and A. Aerts. An illustration of verification and validation in the modelling phase of KBS development. Data and Knowledge Engineering, 27(3):337-352, 1998.