Title: Unfolding and theory revision: integrating SPECTRE into RUTH
Authors: Adé, Hilde
Boström, H
Issue Date: Feb-1995
Publisher: Department of Computer Science, K.U.Leuven, Leuven, Belgium
Series Title: CW Reports vol:CW206 pages:16
Abstract: An enhanced version of the theory revision system RUTH is presented. In the new version - called JIGSAW - the theory specialization technique of the SPECTRE system is integrated. This latter system specializes logic programs by pruning SLD-trees, where the actual pruning is done by applying unfolding and clause removal, using an impurity measure for deciding which literal to unfold upon. The advantages of this integration are discussed and evaluated and some caveats are pointed out. The presented work is an example of integrating independently developed techniques, benefiting from the common logical framework of the field of Inductive Logic Programming.
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.