We present a system to induce logic programs from postive examples only. For every predicate P, the user is asked to provide a mode (input or output) for each of its arguments, and the system assumes that the mode corresponds to a total function, i.e., for a given input there is one and only one corresponding output that makes the predicate true. By means of queries, missing examples can be added to those given initially, and this makes the program complete and consistent w.r.t the examples.

Functional inductive logic programming with queries to the user

BERGADANO, Francesco;
1993

Abstract

We present a system to induce logic programs from postive examples only. For every predicate P, the user is asked to provide a mode (input or output) for each of its arguments, and the system assumes that the mode corresponds to a total function, i.e., for a given input there is one and only one corresponding output that makes the predicate true. By means of queries, missing examples can be added to those given initially, and this makes the program complete and consistent w.r.t the examples.
European Conference on Machine Learning
Vienna
5-7 aprile 1993
Proceedings of the European Conference on Machine Learning (ECML-93)
Springer-Verlag
LNCS 776
323
328
3540566023
Artificial Intelligence; Machine Learning; Inductive Logic Programming
Bergadano F.; Gunetti D.
File in questo prodotto:
File Dimensione Formato  
ecml93.pdf

Accesso aperto

Tipo di file: POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione 825.09 kB
Formato Adobe PDF
825.09 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/122378
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact