Validation and Verification of Knowledge-Based Systems
Contents
The Meta-knowledge Level: A Methodology for Validation
PDFKnowledge Base Verification: Criteria and Approaches
PDFKnowledge-based Process Specification Language: A Specification and Validation Technique for Knowledge-based Systems
PDFGuidelines for the Verification and Validation of AI Systems
PDFSpecification of Knowledge
PDFA Tentative New Logical Approach for Dealing with KBS’s Verification Problems
PDFValidation and Verification of Knowledge-based Systems
PDFA Perspective on Formal Verification
PDFIntegrated Design and Validation and Verification of Knowledge-based Systems
PDFA Review of Expert Systems Evaluation Techniques
PDFExperiences of Using Verification Tools for Maintenance of Rule-based Systems
PDFThe VIVA Method: A Life-cycle Independent Approach to KBS Validation
PDFAn Analysis of Output-based Partition Testing for Heuristic Classification Expert Systems
PDFExperiences in Improving the State of the Practice in Verification and Validation of Knowledge-based Systems
PDFModular Design and Verification of Logical Knowledge Bases
PDFVerification Issues in Combining Independently Consistent Theories
PDFKnowledge Base Reduction for Verifying Rulebases Containing Equations
PDFConsistency of Scientific Knowledge Bases
PDFMulti-viewpoint Clustering Analysis
PDFApplication of Metric Measures: From Conventional Software to Expert Systems
PDFValidating the Performance of a Case-based Reasoning System
PDFVerification and Validation of Multiple Agent Systems: Combining Agent Probabilistic Judgments
PDFStructural Validation of Expert Systems: Experience Using a Formal Model
PDFRandom Verification of Knowledge-based Systems with Uncertainty
PDF