The InnovationQ application will be updated on Sunday, May 31st from 10am-noon ET. You may experience brief service interruptions during that time.
Browse Prior Art Database

Self-Checker of Knowledge-Based Rules and References in an Expert System

IP.com Disclosure Number: IPCOM000040036D
Original Publication Date: 1987-Sep-01
Included in the Prior Art Database: 2005-Feb-01

Publishing Venue


Related People

Blakely-Fogel, D Jones, CK Smith, JK [+details]


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.