In this paper, we describe a program that verifies knowledge base in a rule-based expert system which utilize OPS5(Office Production System version 5). This program, called KBC(Knowledge Base Checker), combines logical principles as well as specific i...
In this paper, we describe a program that verifies knowledge base in a rule-based expert system which utilize OPS5(Office Production System version 5). This program, called KBC(Knowledge Base Checker), combines logical principles as well as specific information about the knowledge representation formalism of OPS5. KBC can help the knowledge engineer to detect many programming errors even before evaluation phase of expert system. It can also help detect subjects in the knowledge base the domain experts and the knowledge engineers might have overlooked.