Multistrategy Theory Revision: Induction and Abduction in INTHELEX

摘要

This paper presents an integration of induction and abduction in INTHELEX, a prototypical incre- mental learning system. The refinement operators perform theory revision in a search space whose structure is induced by a quasi-ordering, derived from Plotkin's θ-subsumption, compliant with the principle of Object Iden- tity. A reduced complexity of the refinement is obtained, without a major loss in terms of expressiveness.