Ecien t Rule Base Verication Using Binary Decision Diagrams
Christophe Mues, Jan Vanthienen · 2004
As their eld of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recog- nized. Nevertheless, some problems have remained. In this paper, we address the poor scalability to larger systems of the computation meth- ods commonly applied to rule-chain anomaly checking. To tackle this problem, we introduce a novel anomaly checking method based on bi- nary decision diagrams (BDDs), a technique emanating mainly from the hardware design community. In addition, we present empirical evidence of its computational eciency , especially on rule bases with a deeper inference space.