A Learning System Able to Synthesize Arithmetical Functions

Schyn, Francois; Guiho, Gerard

A Learning System Able to Synthesize Arithmetical Functions

Download BibTeX Cite

Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .

Abstract

This paper describes a system able to synthesize functions and predicates from examples taken in an arithmetical domain. Numbers are repr e sented 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 exis~t ones. The paper describes the concepts which are used in the system and the synthesis process.

Francois Schyn, and Gerard Guiho. 1979. A Learning System Able to Synthesize Arithmetical Functions. In Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79. IJCAI, https://ijcai.org/proceedings/1979/172

@inproceedings{ijcai1979p172,
  title     = {A Learning System Able to Synthesize Arithmetical Functions},
  author    = {Schyn, Francois and Guiho, Gerard},
  booktitle = {Proceedings of the Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI-79}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Bruce G. Buchanan},
  year      = {1979},
  month     = {8},
  url       = {https://ijcai.org/proceedings/1979/172},
}

TY  - CPAPER
TI  - A Learning System Able to Synthesize Arithmetical Functions
AU  - Schyn, Francois
AU  - Guiho, Gerard
T2  - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1979
UR  - https://ijcai.org/proceedings/1979/172
ER  -