Synthesis from Examples: Interaction Models and Algorithms
Synthesis from Examples: Interaction Models and Algorithms
复制标题
实例综合：交互模型和算法
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Sumit Gulwani
中科院分区：
文献类型：
--
作者：
Sumit Gulwani
示例通常是指定各种计算文物（例如程序，查询和序列）的自然方法。从基于示例的规格中综合此类工件在最终用户编程和智能辅导系统的领域中具有各种应用。示例中的综合涉及解决两个关键的技术挑战：（i）设计用户交互模型以处理基于示例规范中固有的歧义。 （ii）设计有效搜索算法的设计 - 这些算法基于来自各个社区的范式，包括使用SAT/SMT求解器（正式方法社区），版本空间代数（机器学习社区）和A*式目标定向启发法（AI社区）。本文介绍了一些有效的用户交互模型和算法方法，用于合成的示例中，同时讨论合成器的各种文物的合成器，从棘手的位矢量算法，电子表格宏，自动化重复性数据操纵任务，基于尺子/指南针的质量标识，以及algebraic sissentions，Algebraic，以及Algebraic sipply seply seply seply osssheet宏，以及重复图和数学术语的预测智能。
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.