Verification & Validationof Knowledge-Based Systems: Papers from the 1997 AAAI Workshop — Robert Plant & Grigoris Antoniou, Cochairs

Contents

• Verifying Multi-Agent Knowledge-Based Systems using COVERAGE

  Alun Preece, Neil Lamb

  1

  PDF

• Verification of Multiple Agent Knowledge-Based Systems

  Daniel E. O'Leary

  8

  PDF

• BVAL: Probabilistic Knowledge-Base Validation

  Eugene Santos Jr., Howard T. Gleason., and Sheila B. Banks

  13

  PDF

• MACK: A Tool for Acquiring Consistent Knowledge Under Uncertainty

  Eugene Santos Jr., Darwyn O. Banks., and Sheila B. Banks

  23

  PDF

• Knowledge Reuse and Knowledge Validation

  Andrew Waterson, Alun Preece

  33

  PDF

• Performance Assessment and Incremental Evaluation of Rule-based Systems

  P. G. Chander, R. Shinghal, and T. Radhakrishnan

  40

  PDF

• Validation of Blackboard Systems: On the Order of Knowledge Sources

  Daniel O'Leary

  47

  PDF

• Finding Conceptual Models to Assist Validation

  Debbie Richards, Paul Compton

  53

  PDF

• Achieving Comprehensiveness in Verifying Hybrid Systems

  Rose F. Gamble

  63

  PDF

• Z to Java

  Stephen Murrell, Robert Plant

  66

  PDF