Verification and Validation of Knowledge-Based Systems
Papers from the AAAI Workshop
Daniel O'Leary and Alun Preece, Program Chair
Technical Report WS-98-11 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
Testing Production System Programs / 1
Grigoris Antoniou and Oliver Jack
Quantitative Performance Prediction for Rule-based Expert Systems / 10
Valerie Barr
Application of Clustering Analysis to Coverage Testing for Large KBS / 16
Valerie Barr and Mala Mehrotra
Issues in Designing Rule-based Systems for Integrated Evaluation / 18
P. G. Chander, T. Radhakrishnan, and R. Shinghal
Where Do We Go From Here? / 25
Rose Gamble, Aarti Pai and Robert Plant
Functional Ontology Artifacts: Emergent and Existent Knowledge / 30
Daniel E. O'Leary
Building The Right System Right / 38
Alun Preece
An Approach to Quantifying Tradeoffs in Testing Intelligent Systems / 46
Deborah Walker and Piotr Gmytrasiewicz
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.