The problem of learning functional logic pro- grams from positive examples is addressed.We describe a system, called FILP, which asks ex- istential queries to the user, and is able to learn multiple predicates and recursive clauses. We prove that the learned descriptions are correct in the sense that they are consistent with the given examples. Moreover, a correct solution is always found if it exists.

An interactive system to learn functional logic programs

BERGADANO, Francesco;GUNETTI, Daniele
1993-01-01

Abstract

The problem of learning functional logic pro- grams from positive examples is addressed.We describe a system, called FILP, which asks ex- istential queries to the user, and is able to learn multiple predicates and recursive clauses. We prove that the learned descriptions are correct in the sense that they are consistent with the given examples. Moreover, a correct solution is always found if it exists.
1993
International Joint Conference on Artificial Intelligence
Chambery
1993
Proceedings of the International Joint Conference on Artificial Intelligence
International Joint Conference on Artificial Intelligence, Inc.
1044
1049
155860300X
Artificial Intelligence; Machine Learning; Inductive Logic Programming
Bergadano F.; Gunetti D.
File in questo prodotto:
File Dimensione Formato  
ijcai93.pdf

Accesso aperto

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 106.28 kB
Formato Adobe PDF
106.28 kB Adobe PDF Visualizza/Apri

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/2318/122156
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 2
social impact