IGORII - an Analytical Inductive Functional Programming System
2010
The analytical inductive programming system IGOR II is an implemented prototype for constructing recursive functional programs from few non-recursive, possibly non-ground example equations describing a subset of the input/output (I/O) behaviour of a function. Starting from an initial, overly general program hypothesis, stepwise several refinement operators are applied which compute successor hypotheses. Organised as an uniformed-cost search, the hypothesis with the lowest costs is developed and replaced by its successors until the best does not contain any unbound variables.
Keywords:
- Procedural programming
- Discrete mathematics
- Inductive programming
- Signal programming
- Programming domain
- Functional logic programming
- Inductive functional programming
- Functional reactive programming
- Machine learning
- Fifth-generation programming language
- Computer science
- Artificial intelligence
- Programming paradigm
- Symbolic programming
- Constraint programming
- Theoretical computer science
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
4
References
0
Citations
NaN
KQI