Synthesis from Examples: Interaction Models and Algorithms

Examples are often a natural way to specify various computational artifacts such as programs, queries, and sequences. Synthesizing such artifacts from example based specifications has various applications in the domains of end-user programming and intelligent tutoring systems. Synthesis from example...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:2012 4th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC s. 8 - 14
Hlavný autor: Gulwani, S.
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 01.09.2012
Predmet:
Algebra
Artificial intelligence
Communities
Domain Specific Languages
DSL
End User Programming
Geometry
Inductive Synthesis
Intelligent Tutoring Systems
Program Synthesis
Programming
Programming By Example
Synthesizers
ISBN:9781467350266, 1467350265
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Examples are often a natural way to specify various computational artifacts such as programs, queries, and sequences. Synthesizing such artifacts from example based specifications has various applications in the domains of end-user programming and intelligent tutoring systems. Synthesis from examples involves addressing two key technical challenges: (i) design of a user interaction model to deal with the inherent ambiguity in the example based specification. (ii) design of an efficient search algorithm - these algorithms have been based on paradigms from various communities including use of SAT/SMT solvers (formal methods community), version space algebras (machine learning community), and A*-style goal-directed heuristics (AI community). This paper describes some effective user interaction models and algorithmic methodologies for synthesis from examples while discussing synthesizers for a variety of artifacts ranging from tricky bit vector algorithms, spreadsheet macros for automating repetitive data manipulation tasks, ruler/compass based geometry constructions, algebraic identities, and predictive intellisense for repetitive drawings and mathematical terms.
ISBN:9781467350266
1467350265
DOI:10.1109/SYNASC.2012.69