Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Toward a Formalization of Elaboration Tolerance: Adding and Deleting Axioms
 

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