A Learning System Able to Synthesize Arithmetical Functions
Abstract
This paper describes a system able to synthesize functions and predicates from examples taken in an arithmetical domain. Numbers are represented as characters strings. They are not represented as bags as in Lenat or Knapman's works. The representations of functions and predicates are sets of Horn clauses and the synthesis lies in the construction of new clauses or in the debugging of the existent ones. The paper describes the concepts which are used in the system and the synthesis process.
Cite
Text
Schyn and Guiho. "A Learning System Able to Synthesize Arithmetical Functions." International Joint Conference on Artificial Intelligence, 1979.Markdown
[Schyn and Guiho. "A Learning System Able to Synthesize Arithmetical Functions." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/schyn1979ijcai-learning/)BibTeX
@inproceedings{schyn1979ijcai-learning,
title = {{A Learning System Able to Synthesize Arithmetical Functions}},
author = {Schyn, Francois and Guiho, Gerard},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1979},
pages = {785-787},
url = {https://mlanthology.org/ijcai/1979/schyn1979ijcai-learning/}
}