Efficient rule base verification using binary decision diagrams

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

Volumn 3180, Issue , 2004, Pages 445-454

  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

BINS; BOOLEAN FUNCTIONS; EXPERT SYSTEMS; KNOWLEDGE BASED SYSTEMS;

BINARY DECISION DIAGRAMS (BDDS); COMPUTATION METHODS; EFICIENCY; HARDWARE DESIGN; RULE BASE; RULE BASIS; RULE CHAINS;

BINARY DECISION DIAGRAMS;

EID: 34548860502     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30075-5_43     Document Type: Article

References (10)

1. R.E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, 1986.
2. A. Ginsberg. Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy. In Proc. of the 7th National Conf. on Artificial Intelligence (AAAI-88), pages 585-589, 1988.
3. T. Horiyama and T. Ibaraki. Ordered binary decision diagrams as knowledge-bases. Artificial Intelligence, 136(2):189-213, 2002.
4. A. Levy and M.-C. Rousset. Verification of knowledge bases based on containment checking. Artificial Intelligence, 101(1-2):227-250, 1998.
5. 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.
6. A. Preece and R. Shinghal. Foundation and application of knowledge base verification. Intl. Journal of Intelligent Systems, 9(8):683-701, 1994.
7. A. Preece, R. Shinghal, and A. Batarekh. Principles and practice in verifying rule-based systems. The Knowledge Engineering Review, 7(2):115-141, 1992.
8. M.-C. Rousset. On the consistency of knowledge bases: the COVADIS system. Computational Intelligence, 4:166-170, 1988.
9. 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.
10. 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.