Self-Checker of Knowledge-Based Rules and References in an Expert System
Original Publication Date: 1987-Sep-01
Included in the Prior Art Database: 2005-Feb-01
A method is described for use in an Expert System which verifies its own code when it is first executed to make sure table rules and references are correct. This method employs a large table of knowledge-based rules and references. When it is compiled, the compiler cannot check its validity. This program checks itself by comparing references and markers and references between tables. When self-checking is not desired for faster performance, it can be removed. The program finds errors in its own program that the compiler cannot catch. It would take a person many hours of manual checking of hundreds of error possible rules and references; even then human errors could occur. This program automates checking itself in a few seconds. It can also print out the rules and references in a formatted form.