Elaboration Tolerance of Logical Theories

Eyal Amir, Stanford University

We consider the development and modification of logical theories (e.g., commonsense theories). During development of such knowledge bases (KBs) a knowledge engineer makes some design and modeling choices. These decisions may later force the KB to undergo some redesign and rewriting when new knowledge needs to be integrated. We then say that the KB lacks Elaboration Tolerance. McCarthy illustrated this problem using example elaborations for the toy problem of the Missionaries and Cannibals.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.