Next: Least General Generalization Up: Knowledge-Base Evolution for Product Previous: Theory Revision

Selected Methods for Knowledge Base Evolution

Generalization techniques are the basic techniques of Inductive Logic Programming and also Theory Revision. Generalization operators perform two basic syntactic operations on a clause:

In this section we will first review the least general generalization and generalized subsumption frameworks defined by Plotkin and Buntine, respectively, before we will then extend these techniques for the needs of theory revision in practical applications like the evolution of the RPPP knowledge bases.

Harold Boley, Stefani Possner, Franz Schmalhofer (