Efficient Rule Base Verification Using Binary Decision Diagrams [chapter]

Christophe Mues, Jan Vanthienen
2004 Lecture Notes in Computer Science  
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
more » ... tion, we present empirical evidence of its computational efficiency, especially on rule bases with a deeper inference space.
doi:10.1007/978-3-540-30075-5_43 fatcat:d2y2ea6y2bayxdug6ohk4ryfgu