Walton A. Perkins

Learn More
In this paper we desoribe a program that verifies the oonsistenoy and completeness of expert system knowledge bases whioh utilize the Lookheed Expert System (LES) framework. The algorithms desoribed here are not specific to LES and oan be applied to most rule-based systems. The program, oalled CHECK, combines logioal principles as well as speoifio(More)
  • 1