KJ3: a tool assisting formal validation of knowledge-based systems
International Journal of Human-Computer Studies
Fuzzy Rule Base Systems Verification Using High-Level Petri Nets
IEEE Transactions on Knowledge and Data Engineering
Checking the consistency of a hybrid knowledge base system
Knowledge-Based Systems
Inference based on notifications: a holonic metamodel applied to control issues
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special section: Best papers from the 2007 biometrics: Theory, applications, and systems (BTAS 07) conference
Hi-index | 0.00 |
In the past several years, various graphical techniques were proposed to analyze various types of structural errors, including inconsistency (conflict rules), incompleteness (missing rules), redundancy (redundant rules), and circularity (circular depending rules), of rule-based systems. In this paper, we present a special reachability graph technique based on w-nets (a special type of low-level Petri nets) to detect all of the above types of structural errors. Our new technique is simple, efficient, and can be easily automated. We highlight the unique features of this new approach and demonstrate its application through an example.