Skip to main content
Article thumbnail
Location of Repository

Integrating Extensional and Intensional ILP Systems through Abduction

By E. Lamma, P. Mello, M. Milano and F. Riguzzi

Abstract

. We present an hybrid extensional-intensional Inductive Logic Programming algorithm. We then show how this algorithm solves the problem of global inconsistency of intensional systems when learning multiple predicates, without incurring in the problems of incompleteness and inconsistency of extensional systems. The algorithm is obtained by modifying an intensional system [6] for learning abductive logic programs. Extensionality is thus obtained by exploiting abduction: the training set is considered as a set of abduced literals that is taken as input by the abductive proof procedure used for the coverage of examples. 1 Introduction Logic programs are rarely constituted by a single predicate. However, most Inductive Logic Programming (ILP) systems have been designed for learning single predicates. If we synthesize multiple predicates programs by applying single predicate learners, we find two problems [16]. The first is that adding a clause to a partial hypothesis can make pre..

Year: 1997
OAI identifier: oai:CiteSeerX.psu:10.1.1.31.1489
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www-lia.deis.unibo.it/S... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.