Abstract
Knowledge-base evolution techniques are shown to be of critical importance for the successful application of knowledge-based systems in complex domains. By conceptualizing knowledge-base evolution as theory revision, we can take advantage of the basic findings from different research communities. Results from Inductive Logic Programming (ILP) and Explanation-Based Learning (EBL) provide a set of techniques that can be used as a foundation for obtaining new knowledge (knowledge-base exploration). Techniques from deductive database research might be used for testing the correctness of a knowledge base (knowledge base verification). By an interactive application of these exploration and verification techniques, domain experts and other users may similarly improve the effectiveness of the knowledge base (knowledge validation). The application of such selected techniques is then discussed with respect to the specific problem of improving production parameters.
Get full access to this article
View all access options for this article.