Abstract | ||
---|---|---|
. The problem of inductive inference of functions from hypotheticalknowledge is investigated in this paper. This type of inductiveinference could be regarded as a generelization of synthesis from examplesthat can be directed not only by input/output examples but alsoby knowledge of, e. g., functional description's syntactic structure or assumptionsabout the process of function evaluation. We show that synthesisof this kind is possible by efficiently enumerating the hypothesisspace ... |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/3-540-61863-5_43 | ALT |
Keywords | Field | DocType |
incorporating hypothetical knowledge,inductive synthesis,input output,inductive inference | Inductive reasoning,Inductive bias,Computer science,Functional description,Artificial intelligence,Machine learning,Syntactic structure | Conference |
ISBN | Citations | PageRank |
3-540-61863-5 | 1 | 0.41 |
References | Authors | |
3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Janis Barzdins | 1 | 199 | 35.69 |
Ugis Sarkans | 2 | 948 | 122.35 |