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.
/lp/association-for-computing-machinery/using-layered-support-graphs-for-verifying-external-adequacy-in-rule-uh2Uj0a3pP