Validation of Intelligence in Large Rule-Based Systems with Common Sense

Model-Based Validation of Intelligence

Volume

Papers from the 2001 AAAI Spring Symposium

Contents

The following describes work in progress on a testing system for a large common sense knowledge base. How this testing system is relevant to the requirements of validation of intelligence is described. Four kinds of validation tests are explained: challenge tests, regression tests, knowledge base integrity tests, and ruminationbased tests. The ontology of these tests and its accompanying software package is intended for use with Cyc, a large rule based system with common sense and natural language capabilities.