A Scheme-Driven Approach to Learning Programs from Input/Output Equations
We describe an approach to learn, in a term-rewriting setting, function definitions from input/output equations. By confining ourselves to structurally recursive definitions we obtain a fairly fast learning algorithm that often yields definitions close to intuitive expectations. We provide a Prolog prototype implementation of our approach, and indicate open issues of further investigation.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Data-driven Polytopic Output Synchronization of Heterogeneous Multi-agent Systems from Noisy Data
This paper proposes a novel approach to addressing the output synchronization problem in unknown heterogeneous multi-agent systems (MASs) using noisy data. Unlike existing studies that focus on noiseless data, we introdu…
Origami: (un)folding the abstraction of recursion schemes for program synthesis
Program synthesis with Genetic Programming searches for a correct program that satisfies the input specification, which is usually provided as input-output examples. One particular challenge is how to effectively handle …
Program SynthesisDetermining optimal input-output properties: A data-driven approach
Due to their relevance in systems analysis and (robust) controller design, we consider the problem of determining control-theoretic system properties of an a priori unknown system from data only. More specifically, we in…
Data-driven discoveries of Bäcklund transforms and soliton evolution equations via deep neural network learning schemes
We introduce a deep neural network learning scheme to learn the B\"acklund transforms (BTs) of soliton evolution equations and an enhanced deep learning scheme for data-driven soliton equation discovery based on the know…
Deep LearningEquation DiscoveryOn Data-Driven Stochastic Output-Feedback Predictive Control
The fundamental lemma by Jan C. Willems and co-authors enables the representation of all input-output trajectories of a linear time-invariant system by measured input-output data. This result has proven to be pivotal for…
LEMMA