A Framework for Set-Oriented Computation in Inductive Logic Programming and its Application




2 views

Unformatted text preview:

A Framework for Set Oriented Computation in Inductive Logic Programming and its Application in Generalizing Inverse Entailment He ctor Corrada Bravo1 David Page2 1 Raghu Ramakrishnan1 Jude Shavlik1 2 and Vitor Santos Costa2 3 1 2 Department of Computer Sciences Department of Biostatistics and Medical Informatics University of Wisconsin Madison USA 3 COPPE Sistemas UFRJ Brasil hcorrada raghu shavlik cs wisc edu page vitor biostat wisc edu Abstract We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems It avoids redundant computation is more amenable to the use of set oriented generation and evaluation of hypotheses and allows relational DBMS technology to be more easily applied to ILP systems Further our approach opens up new avenues such as probabilistically scoring rules during search and the generation of probabilistic rules As a first example of the benefits of our ILP framework we propose a scheme for defining the hypothesis search space through Inverse Entailment using multiple example seeds 1 Introduction The goal of Inductive Logic Programming ILP 1 is to autonomously learn first order logic programs that model relational data However the current approach to ILP has limitations in its scalability and computational efficiency Recent efforts extend ideas from relational database query optimization to this setting 2 6 Along the same line we present a new formulation of ILP that systematically exploits caching to achieve greater efficiency and flexibility and present theoretical results that characterize it The fundamental building blocks for our approach are a new data structure and an extension operation for hypotheses that expose and exploit opportunities for caching the results of previous computation This provides an immediate benefit by avoiding the redundant computation pervasive in the standard ILP search and score paradigm Further the extension operation is






Loading Unlocking...
Login

Join to view A Framework for Set-Oriented Computation in Inductive Logic Programming and its Application and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view A Framework for Set-Oriented Computation in Inductive Logic Programming and its Application and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?