ISSN:
1572-9338
Keywords:
Expert systems
;
rule-base management
;
logical testing
;
combinatorial optimization
;
precedence graphs
;
computational logic
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Economics
Notes:
Abstract We present a procedure to logically reduce simple implications that comprise the rule-base of an expert system. Our method uses topological sorting on a digraph 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. We consider 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. We than show how the simple case may be extended to logically test a general rule-base with a decomposition principle.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF02186367
Permalink
