We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn, by induction, an abductive logic program. Abducibles and integrity constraints can be specified by the user as content of the background knowledge or can be generated by the abductive/inductive process. We ground our framework on the generalized stable model semantics defined for abductive logic programs, and its associated proof procedure. By integrating Inductive Logic Programming with Abductive Logic Programming we can learn in presence of incomplete knowledge, take into account negative examples and generate exceptions to (possibly induced) rules.

Learning Abductive Logic Programs

ESPOSITO, Floriana;SEMERARO, Giovanni
1996-01-01

Abstract

We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn, by induction, an abductive logic program. Abducibles and integrity constraints can be specified by the user as content of the background knowledge or can be generated by the abductive/inductive process. We ground our framework on the generalized stable model semantics defined for abductive logic programs, and its associated proof procedure. By integrating Inductive Logic Programming with Abductive Logic Programming we can learn in presence of incomplete knowledge, take into account negative examples and generate exceptions to (possibly induced) rules.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11586/91533
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 0
social impact