A learning system able to synthesize arithmetical functions

Authors:
Francois Schyn;Gerard Guiho
Affiliations:
Laboratoire do Recherche en Informatique, Equipe de Recherche Associee au CNRS "AL KHOWARIZMI", Universite de Paris Sud, Orsay, France;Laboratoire do Recherche en Informatique, Equipe de Recherche Associee au CNRS "AL KHOWARIZMI", Universite de Paris Sud, Orsay, France
Venue:
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Year:
1979

Citing 3
Cited 0

A Methodology for LISP Program Construction from Examples

Journal of the ACM (JACM)
Problem-Solving Methods in Artificial Intelligence

Problem-Solving Methods in Artificial Intelligence
Goal-Directed Program Transformation

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.