Abstract | ||
---|---|---|
Our goal through several years has been the development of efficient search algorithm for inductive inference of expressions using only input/output examples. The idea is to avoid exhaustive search by means of taking full advantage of semantic equality of many considered expressions. This might be the way that people avoid too big search when finding proof strategies for theorems, etc. As a formal model for the development of the method we use arithmetic expressions over the domain of natural numbers. A new approach for using weights associated with the functional symbols for restricting search space is considered. This allows adding constraints like the frequency of particular symbols in the expression. Additionally the current state of the art of computer experiments using this methodology is described. An example that is considered is the inductive inference of the formula for solving quadratic equations, the finding of which by pure exhaustive search would be unrealistic. |
Year | DOI | Venue |
---|---|---|
1993 | 10.1007/3-540-57370-4_37 | ALT |
Keywords | Field | DocType |
output examples,towards efficient inductive synthesis,computer experiment,exhaustive search,inductive inference,search space,input output,search algorithm | Search algorithm,Expression (mathematics),Computer science,Input/output,Theoretical computer science,Artificial intelligence,Inductive reasoning,Computer experiment,Brute-force search,Quadratic equation,Algorithm,Beam search,Machine learning | Conference |
ISBN | Citations | PageRank |
3-540-57370-4 | 5 | 0.68 |
References | Authors | |
8 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Janis Barzdins | 1 | 199 | 35.69 |
Guntis Barzdins | 2 | 121 | 18.62 |
Kalvis Apsitis | 3 | 28 | 4.23 |
Ugis Sarkans | 4 | 948 | 122.35 |