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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:2012 4th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC S. 8 - 14
1. Verfasser: Gulwani, S.
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 01.09.2012
Schlagworte:
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
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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