Verification and Validation of Knowledge-Based Systems
Papers from the AAAI Workshop
Robert Plant and Grigoris Antoniou, Program Cochairs
Technical Report WS-97-01 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
Verifying Multi-Agent Knowledge-Based Systems using COVERAGE / 1
Alun Preece and Neil Lamb
Verification of Multiple Agent Knowledge-Based Systems / 8
Daniel E. O'Leary
BVAL: Probabilistic Knowledge-Base Validation / 13
Eugene Santos Jr., Howard T. Gleason., and Sheila B. Banks
MACK: A Tool for Acquiring Consistent Knowledge Under Uncertainty / 23
Eugene Santos Jr., Darwyn O. Banks., and Sheila B. Banks
Knowledge Reuse and Knowledge Validation / 33
Andrew Waterson and Alun Preece
Performance Assessment and Incremental Evaluation of Rule-based Systems / 40
P. G. Chander, R. Shinghal, and T. Radhakrishnan
Validation of Blackboard Systems: On the Order of Knowledge Sources / 47
Daniel O'Leary
Finding Conceptual Models to Assist Validation / 53
Debbie Richards and Paul Compton
Achieving Comprehensiveness in Verifying Hybrid Systems / 63
Rose F. Gamble
Z to Java / 66
Stephen Murrell and Robert Plant
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.