Validation and verification of knowledge-based systems: A survey
- 1 December 1993
- journal article
- Published by Springer Nature in Applied Intelligence
- Vol. 3 (4) , 343-363
- https://doi.org/10.1007/bf00872136
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Verifying expert systems: A logical framework and a practical toolExpert Systems with Applications, 1992
- Empirical study of expert system developmentKnowledge-Based Systems, 1992
- Structural testing of rule-based expert systemsACM Transactions on Software Engineering and Methodology, 1992
- Specifying an expert systemExpert Systems with Applications, 1991
- Verifying, validating, and measuring the performance of expert systemsExpert Systems with Applications, 1990
- Toward an empirical approach to evaluating the knowledge base of an expert systemIEEE Transactions on Systems, Man, and Cybernetics, 1989
- Toward AI research methodology: three case studies in evaluationIEEE Transactions on Systems, Man, and Cybernetics, 1989
- VALIDATION OF EXPERT SYSTEMS‐ WITH APPLICATIONS TO AUDITING AND ACCOUNTING EXPERT SYSTEMS*Decision Sciences, 1987
- Useful approach for evaluating expert systemsExpert Systems, 1986
- An assumption-based TMSArtificial Intelligence, 1986