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
Document File: 1 page(s) / 11K

Publishing Venue

IBM

Related People

Blakely-Fogel, D: AUTHOR [+3]

Abstract

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.

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 100% of the total text.

Page 1 of 1

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

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.

1