Knowledge Base Correctness Checking for SIMPLEXYS Expert Systems
J. M. A. Lutgens · TU/e Research Portal · 1990
. Summary As a result of the rapid development in computer science, rule based expert systems have entered the application of PC-systems. In connection with the research concerning SIMPLEXYS, a toolhox enabling the realization of real time expert systems, some debugging tools have been developed for proving the correctness of the knowledge base. One of these debugging tools, the semantic checker, has been completely revised, resulting in a checker which is capahle of systematically checking the rule base for logical completeness {lnd cOllsistency. This is done hy using a method, which is mathematically sound and generally applicable. Lutgens. J.M.A.