Using layered support graphs for verifying external adequacy in rule-based expert systems
Gabriel Valiente · ACM SIGART Bulletin · 1992
The problem of verifying external adequacy in expert systems is addressed in this paper. External adequacy is defined in terms of a formal specification of question relevance, that expresses natural data dependencies among the external facts used in the ontology of the domain of expertise. A method is presented for verifying the expert system, at any stage of development, against the formal specification. The method is based on transforming the knowledge base plus inference engine into a partially ordered set of support graphs. The complex problem of verifying the external adequacy of expert systems is then translated into a simpler path-finding problem in support graphs.