Logical testng for rule-base management

The paper presents a procedure to logically reduce simple implications that comprise the rule-base of an expert systems. Its method used topological sorting on a diagraph representation that detects logical inconsistency and circular reasoning in linear-time. Then, the sort order provides an efficient method to detect and eliminate forced values and redundant rules. The paper considers additional diagnostic aids for the rule-base manager, notably how to range the number of propositions that could be true and how to consolodate the rule-base. It then shows how the simple case may be extended to logically test a general rule-base with a decomposition principle.