As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In this paper, we address the poor scalability to larger systems of the computation methods commonly applied to rule-chain anomaly checking. To tackle this problem, we introduce a novel anomaly checking method based on binary decision diagrams (BDDs), a technique emanating mainly from the hardware design community. In addition, we present empirical evidence of its computational efficiency, especially on rule bases with a deeper inference space. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Mues, C., & Vanthienen, J. (2004). 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), 3180, 445–454. https://doi.org/10.1007/978-3-540-30075-5_43
Mendeley helps you to discover research relevant for your work.