Summary: Toward a Formalization of Elaboration Tolerance:
Adding and Deleting Axioms
Eyal Amir
Department of Computer Science, Gates 2A
Stanford University, Stanford, CA 94305­9020, USA
eyala@cs.stanford.edu
http://www­formal.stanford.edu/eyal
Abstract
When creating a knowledge base, a knowledge engi­
neer faces design and modeling choices. The decisions
taken may later affect the evolution of the knowledge
base. Indeed, when new knowledge needs to be inte­
grated, the knowledge base may have to undergo some
rewriting and redesign, in order to incorporate the new
information. Creating the Knowledge Base such that
future changes are made easier is a major concern of
the knowledge engineer. We refer to the ease of change
as Elaboration Tolerance.
In order to implement and evaluate Elaboration Toler­
ance in formal systems, it is necessary to give a formal

Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign

Collections: Computer Technologies and Information Sciences