Verifying expert systems: A logical framework and a practical tool
- 31 December 1992
- journal article
- Published by Elsevier in Expert Systems with Applications
- Vol. 5 (3-4) , 421-436
- https://doi.org/10.1016/0957-4174(92)90026-o
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Expert system evaluation techniques: a selected bibliographyExpert Systems, 1991
- Verifying, validating, and measuring the performance of expert systemsExpert Systems with Applications, 1990
- Correctness principles for rule-based expert systemsExpert Systems with Applications, 1990
- A report on the Expert Systems Validation Associate (EVA)Expert Systems with Applications, 1990
- Towards a methodology for evaluating expert systemsExpert Systems, 1990
- On the consistency of knowledge bases: the COVADIS systemComputational Intelligence, 1988
- A decision-table-based processor for checking completeness and consistency in rule-based expert systemsInternational Journal of Man-Machine Studies, 1987
- Validating Expert System PerformanceIEEE Expert, 1987