Model-Based Validation of Intelligence
Papers from 2001 AAAI Spring Symposium
Lina Khatib and Charles Pecheur, Program Cochairs
Technical Report SS-01-04. 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
Test Oracle Automation for V&V of an Autonomous Spacecraft’s Planner / 1
Martin S. Feather and Ben Smith
Model Checking Autonomy Models for a Martian Propellant Production Plant / 4
Peter Engrand
Motivations for Model Checking of a Fault Protection System / 12
Martin S. Feather and Stephen S. Fickas
Modeling the LOGOS Multi-Agent System with CSP / 14
Christopher A. Rouff and Michael G. Hinchey
Using Model Checking for Pre-Planning Analysis / 23
Maria Fox, Derek Long, Stephen Bradley, and James McKinna
Hybrid Modeling for Scenario-Based Evaluation of Failure Effects in Advanced Hardware-Software Designs / 32
Jane T. Malin, Land D. Fleming, and David R. Throop
Verification of Process Plant Models / 37
Claire Palmer and Paul W. H. Chung
Mechanical A-posteriori Verification of Results: A Case Study for a Safety Critical AI System / 45
Roy Bartsch and Wolfgang Goerigk
Validation of Intelligence in Large Rule-Based Systems with Common Sense / 51
William Jarrold
Knowledge Base Semantic Verification Based on Contexts Propagation / 57
Jaime Ramirez and Angélica de Antonio
Guiding and Cost-Optimality in UPPAAL / 66
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, and Judi Romijn
Protocol Verification with Heuristic Search / 75
Stefan Edelkamp, Alberto Lluch Lafuente, and Stefan Leue
Directed Symbolic Exploration in AI-Planning / 84
Stefan Edelkamp
Model-Based Verification for Automatic Synthesis of Real-Time Controllers / 93
Robert P. Goldman, David J. Musliner, and Michael J. S. Pelican
Monte-Carlo Simulation for Automatic Synthesis of Verified Real-Time Controllers / 97
Christopher W. Geib, Robert P. Goldman, and David J. Musliner
Combining Abduction and Model Checking Techniques for Repair of Concurrent Programs / 101
Francesco Buccafurri, Thomas Eiter, Georg Gottlob, and Nicola Leone
Heavy-Tailed Behavior and Randomization in Proof Planning / 105
Andreas Meier, Carla Gomes, and Erica Melis
Average Case Coverage for Validation of AI Systems / 107
Tim Menzies and Bojan Cukic
Determining Software Models that Are Less Incorrect / 113
Leona F. Fass
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.