Publikation - Einzelansicht
details for the publication
|Andreas Abecker and Klaus Schmid
|From Theory Refinement to Knowledge Base Maintenance: A Position Statement
|Beitrag zu einer Tagung / Konferenz
|Workshop on Validation, Verification and Refinement of KBS at the European Conference on Artifical Intelligence (ECAI '96)
|Since we consider theory refinement (TR) as a possible key concept for a methodologically clear view of knowledge-base maintenance, we try to give a structured overview about the actual state-of-the-art in TR. This overview is arranged along the description of TR as a search problem. We explain the basic approach, show the variety of existing systems and try to give some hints about the direction future research should go.