Generalised alpha-beta pruning as a guide to expert system question selection
Proc. of the fifth technical conference of the British Computer Society Specialist Group on Expert Systems on Expert systems 85
Artificial Intelligence
AI Magazine
Parallelism analysis in rule-based systems using graph grammars
Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science
| Hi-index | 0.00 |
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.