This Article 
 Bibliographic References 
 Add to: 
PREPARE: A Tool for Knowledge Base Verification
December 1994 (vol. 6 no. 6)
pp. 983-989

The knowledge base is the most important component in a knowledge-based system. Because a knowledge base is often built in an incremental, piecemeal fashion, potential errors may be inadvertently brought into it. One of the critical issues in developing reliable knowledge-based systems is how to verify the correctness of a knowledge base. The paper describes an automated tool called PREPARE for detecting potential errors in a knowledge base. PREPARE is based on modeling a knowledge base by using a predicate/transition net representation. Inconsistent, redundant, subsumed, circular, and incomplete rules in a knowledge base are then defined as patterns of the predicate/transition net model, and are detected through a syntactic pattern recognition method. The research results to date have indicated that: the methodology ran be adopted in knowledge-based systems where logic is used as knowledge representation formalism; the tool can be invoked at any stage of the system's development, even without a fully functioning inference engine; the predicate/transition net model of knowledge bases is easy to implement and provides a clear and understandable display of the knowledge to be used by the system.

[1] M. Ayel and J. P. Laurent, Ed.,Validation, Verification and Test of Knowledge-Based Systems. Chichester, UK: Wiley, 1991.
[2] C. L. Chang and R. C. T. Lee,Symbolic Logic and Mechanical Theorem Proving. New York: Academic, 1973.
[3] C. L. Chang, J. B. Combs, and R. A. Stachowitz, "A report on the expert systems validation associate (EVA),"Expert Systems with Applications, vol. 1, pp. 217-230, 1990.
[4] B. J. Cragun and H. J. Steudel, "A decision-table-based processor for checking completeness and consistency in rule-based expert systems,"Int. J. Man-Machine Studies, vol. 26, pp. 633-648, 1987.
[5] K. S. Fu,Syntactic Methods in Pattern Recognition. New York: Academic, 1974.
[6] H. J. Genrich, "Predicate/transition nets," inPetri Nets Central Models and Their Properties, W. Brauer, Ed. Berlin, Heidelberg, New York: Springer-Verlag, 1987, pp. 207-247.
[7] J. Giarratano and G. Riley,Expert Systems: Principles and ProgrammingBoston: PWS-Kent, 1989.
[8] A. Ginsberg, "Knowledge-base reduction: A new approach to checking knowledge bases for inconsistency and redundancy,"Proc. 7th AAAI Conf., 1988, pp. 585-589.
[9] R. C. Gonzalez and M. G. Thomason,Syntactical Pattern Recognition. Reading, MA: Addison-Wesley, 1982.
[10] A. Gupta and B. E. Prasad, Ed.,Principles of Expert Systems. Washington, DC: IEEE Press, 1988.
[11] U. G. Gupta, Ed.,Validating and Verifying Knowledge-Based Systems. Los Alamitos, CA: IEEE Computer Society Press, 1991.
[12] F. Hayes-Rothet al., Building Expert Systems. New York: Addison Wesley, 1983.
[13] F. Hayes-Roth, "The knowledge-based expert system: A tutorial,"Computer, vol. 17, no. 9, pp. 11-28, 1984.
[14] F. Hayes-Roth, "Rule-based systems,"Commun. ACM, vol. 28, no. 9, pp. 921-932, Sept. 1985.
[15] J.E. Hopcroft and J.D. Ullman,Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, Mass., 1979.
[16] H. J. Levesque, "The logic of incomplete knowledge bases," in M. L. Brodie, J. Mylopoulos, and J. W. Schmidt, Eds.,On Conceptual Modelling: Perspective from Artificial Intelligence, Databases and Programming Languages. New York: Springer-Verlag, 1984, pp. 165-189.
[17] N. K. Liu and T. Dillon, "An approach towards the verification of expert systems using numerical Petri nets,"Int. J. Intell. Syst., vol. 6, pp. 255-276, 1991.
[18] K. L. McGraw and K. Harbison-Briggs,Knowledge Acquisition Principles and Guidelines. Englewood Cliffs, NJ: Prentice-Hall, 1989.
[19] P. Meseguer, "A new method to checking rule bases for inconsistency: A Petri net approach,"Proc. 9th Eur. Conf. AI, 1990, pp. 437-442.
[20] T. Murata and D. Zhang, "A predicate-transition net model for parallel interpretation of logic programs,"IEEE Trans. Software Eng., vol. 14, pp. 481-497, 1988.
[21] D. H. Nguyen, "PREPARE: A knowledge base verification technique," MS. thesis, Dept. of Comput. Sci., California State Univ., Sacramento, CA, USA, May 1991.
[22] T. A. Nguyen, W. A. Perkins, T. J. Laffey, and D. Pecora, "Knowledge base validation,"AI Magazine, summer, pp. 67-75, 1987.
[23] M. C. Rousset, "On the consistency of knowledge bases: The COVADIS system,"Proc. 8th Eur. Conf. AI, 1988, pp. 79-84.
[24] M. Suwa, A. C. Scott, and E. H. Shortliffe, "An approach to verifying completeness and consistency in a rule-based expert system,"AI Mag., vol. 3, pp. 16-21, 1982.
[25] D. Zhang and D. Nguyen, "A technique for knowledge base verification,"Proc. IEEE Int. Workshop on Tools for AI (TAI' 89), 1989, pp. 399-406.

Index Terms:
knowledge based systems; program verification; semantic networks; pattern recognition; PREPARE; knowledge base verification; correctness; reliable knowledge-based systems; automated tool; potential errors; predicate/transition net representation; incomplete rules; syntactic pattern recognition method; logic; fully functioning inference engine
D. Zhang, D. Nguyen, "PREPARE: A Tool for Knowledge Base Verification," IEEE Transactions on Knowledge and Data Engineering, vol. 6, no. 6, pp. 983-989, Dec. 1994, doi:10.1109/69.334887
Usage of this product signifies your acceptance of the Terms of Use.