An Interactive System to Learn Functional Logic Programs
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.
Cite
Text
Bergadano and Gunetti. "An Interactive System to Learn Functional Logic Programs." International Joint Conference on Artificial Intelligence, 1993.Markdown
[Bergadano and Gunetti. "An Interactive System to Learn Functional Logic Programs." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/bergadano1993ijcai-interactive/)BibTeX
@inproceedings{bergadano1993ijcai-interactive,
title = {{An Interactive System to Learn Functional Logic Programs}},
author = {Bergadano, Francesco and Gunetti, Daniele},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1993},
pages = {1044-1049},
url = {https://mlanthology.org/ijcai/1993/bergadano1993ijcai-interactive/}
}