An Interactive System to Learn Functional Logic Programs

Bergadano, Francesco; Gunetti, Daniele

An Interactive System to Learn Functional Logic Programs

Download BibTeX Cite

Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Machine Learning. Pages 1044-1048.

Abstract

The problem of learning functional logic programs from positive examples is addressed. We describe a system, called FILP, which asks existential 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.

Francesco Bergadano, and Daniele Gunetti. 1993. An Interactive System to Learn Functional Logic Programs. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 1044–1048. https://ijcai.org/proceedings/1993/144

@inproceedings{ijcai1993p144,
  title     = {An Interactive System to Learn Functional Logic Programs},
  author    = {Bergadano, Francesco and Gunetti, Daniele},
  booktitle = {Proceedings of the Thirteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-93}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ruzena Bajcsy},
  pages     = {1044--1048},
  year      = {1993},
  note      = {Machine Learning},
  url       = {https://ijcai.org/proceedings/1993/144},
}

TY  - CPAPER
TI  - An Interactive System to Learn Functional Logic Programs
AU  - Bergadano, Francesco
AU  - Gunetti, Daniele
T2  - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1993
SP  - 1044
EP  - 1048
UR  - https://ijcai.org/proceedings/1993/144
ER  -