Generalising Incremental Knowledge Acquisition

We outline an approach to building knowledge-based system based on tightly controlling the order of evaluation of the knowledge components of the system. The order of evaluation is based on two relations, sequence and correction that correspond to the changes that an expert may wish to make to a knowledge base and knowledge acquisition is structured so that new knowledge is added having one of these relations with existing knowledge in the system. We further propose that the knowledge components added might be any knowledge-based systems or programs rather than rules. This proposal is a generalisation of the Ripple-Down Rule incremental approach to building knowledge-based systems