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.
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.
