Validation Verification and Tests of Knowledge Based Systems

GENERAL PROBLEMS OF VALIDATION. Design, Development and Validation of Expert Systems: A Survey of Developers (D. O2Leary). Guidelines for Prototyping, Validation and Maintenance of Knowledge-based Systems Software (L. Pau). Aspects of Incremental Knowledge Validation (T. Hoppe). VERIFICATION AND VALIDATION PROCESSES. Comparison of Expert System Verification Criteria Redundancy (J. Tepandi). SACCO-SYCOJET: Two Different Ways of Verifying Knowledge-based Systems (M. Ayel & J. Laurent). The Use of Object-oriented Process Specification for the Validation and Verification of Decision Support Systems (P. Krause, et al.). COHERENCE CHECKING. MELODIA: Logical Methods for Checking Knowledge Bases (E. Charles & O. Dubois). TESTING. Consistency, Soundness and Completeness of a Diagnostic System (V. Guibert, et al.). Design Knowledge Validation Through Experimentation: The SYSIFE System (P. Mazas). COMPLETENESS AND RELIABILITY. A Descriptive Model of Predicates for Verifying Production Systems (P. Lafon). Estimation of Failure Potential in Knowledge Bases (S. Grunwald). Using Interactive Concept Learning for Knowledge-base Validation and Verification (L. De Raedt, et al.). CONKRET: A Control Knowledge Refinement Tool (B. Lopez). Judging Knowledge-base Quality (S. Craw).Ayel, Marc is the author of 'Validation Verification and Tests of Knowledge Based Systems', published 1991 under ISBN 9780471930181 and ISBN 0471930180.