Elaboration tolerance of logical theories
Eyal Amir · 1999
We consider the development and modification of logical theories (e.g., commonsense theories). During development of such knowledge bases (KBs) a knowl-edge 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 1998) illustrated this problem using example elaborations for the toy problem of the Missionaries and Cannibals. The influence of representation on elaboration toler-ance is not well understood at present (see (Gogic et al. 1995)). In fact, unlike many other development tasks, there is no model for the development of logical theo-ries in general and commonsense theories in particular.