Validation and Verification of Knowledge-Based Systems
Papers from the AAAI Workshop
Alun D. Preece, Program Chair
Technical Report WS-93-05 published by The AAAI Press, Menlo Park, California
This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
An Analysis of Output-based Partition Testing for Heuristic Classification Expert Systems / 1
Imran A. Zualkernan and Yuan-Ying Lin
Random Verification of Knowledge-based Systems with Uncertainty / 9
Michel de Rougement
Structural Validation of Expert Systems: Experience Using a Formal Model / 12
Alun D. Preece, Clifford Grossner, P. Gokul Chander, and T. Radhakrishnan
Verification and Validation of Multiple Agent Systems: Combining Agent Probabilistic Judgments / 20
Dan O'Leary
Validating the Performance of a Case-based Reasoning System / 31
Takao Terano
Application of Metric Measures: From Conventional Software to Expert Systems / 37
Zhisong Chen and Ching Y. Suen
Multi-viewpoint Clustering Analysis / 45
Mala Mehrotra and Chris Wild
Consistency of Scientific Knowledge Bases / 57
Hidde de Jong, Nicolaas J. I. Mars, and Paul E. van der Vet
Knowledge Base Reduction for Verifying Rulebases Containing Equations / 59
Keith Williamson and Mark Dahl
Verification Issues in Combining Independently Consistent Theories / 65
Windy Gambetta
Modular Design and Verification of Logical Knowledge Bases / 71
Grigoris Antoniou
Experiences in Improving the State of the Practice in Verification and Validation of Knowledge-based Systems / 79
Scott W. French, Chris Culbert, and David Hamilton
The Meta-knowledge Level: A Methodology for Validation / 87
Robert Plant
The VIVA Method: A Life-cycle Independent Approach to KBS Validation / 102
Steven A. Wells
Experiences of Using Verification Tools for Maintenance of Rule-based Systems / 107
Mark Dahl and Keith Williamson
A Review of Expert Systems Evaluation Techniques / 113
Peter D. Grogono, Alun D. Preece, Rajjan Shinghal, and Ching Y. Suen
Integrated Design and Validation and Verification of Knowledge-based Systems / 119
Ed P. Andert Jr.
A Perspective on Formal Verification / 123
Rose F. Gamble
Validation and Verification of Knowledge-based Systems / 127
Musa J. Jafar
A Tentative New Logical Approach for Dealing with KBS’s Verification Problems / 129
Luis M. Laita, Luis de Ledesma, Aurora P'erez, and Angelica de Antonio
Specification of Knowledge / 135
Rasiah Loganantharaj
Guidelines for the Verification and Validation of AI Systems / 137
Lance Miller
Knowledge-based Process Specification Language: A Specification and Validation Technique for Knowledge-based Systems / 138
G. B. Prabhat and P. Srinivasan
Knowledge Base Verification: Criteria and Approaches / 148
Du Zhang
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.