BSF:2012144:Human-Competitive Evolutionary Computation

BSF:2012144：人类竞争进化计算

• 批准号: 1331283
• 负责人: Lee Spector
• 金额: $ 4.2万
• 依托单位: Hampshire College
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-10-01 至 2017-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1331283&HistoricalAwards=false
• 关键词: BSF; 2012144; Human; Competitive; Evolutionary

This project is funded as part of the United States-Israel Collaboration in Computer Science (USICCS) program. Through this program, NSF and the United States - Israel Binational Science Foundation (BSF) jointly support collaborations among US-based researchers and Israel-based researchers.This project will examine and extend computational techniques that allow computers to out-perform humans on certain classes of difficult problems, some of which have practical applications across many areas of science and engineering. The techniques to be studied, which are modeled on biological processes of evolution, have already been shown to produce human-competitive performance in areas ranging from pure mathematics to quantum system design, and from game-playing systems to software engineering and debugging. In this project the co-PIs will collaborate to characterize the application areas in which these human-competitive successes have been achieved, along with the specific techniques that were used in each case. The project will use these characterizations to guide improvements to the techniques and applications to new problems.The initial data for the study will be taken from the winners of the of the Human Competitive Results Competition that has been held annually since 2004 at the Genetic and Evolutionary Computation Conference. Areas of anticipated application work include software engineering, for example for automatic program synthesis and repair, where early successes and the scale of the potential applications indicate substantial promise. The long-term potential of work in this area is for computers to automatically generate useful software, for many applications of scientific or social significance, that would be prohibitively difficult or expensive for human programmers to produce. The project will be conducted with undergraduates and graduate students and will also thereby help to train future innovators in computer science.

该项目是美国-以色列计算机科学合作（USICCS）计划的一部分。 通过这个项目，NSF和美国-以色列两国科学基金会（BSF）共同支持美国和以色列研究人员之间的合作。这个项目将研究和扩展计算技术，使计算机能够在某些类别的困难问题上超越人类，其中一些在许多科学和工程领域都有实际应用。这些以生物进化过程为模型的技术已经被证明可以在从纯数学到量子系统设计，从游戏系统到软件工程和调试等领域产生人类竞争力。在这个项目中，合作PI将合作描述这些人类竞争成功的应用领域，沿着在每种情况下使用的特定技术。该项目将使用这些特征来指导技术的改进和新问题的应用。该研究的初始数据将来自人类竞争结果竞赛的获胜者，该竞赛自2004年以来每年在遗传和进化计算会议上举行。预期的应用工作领域包括软件工程，例如自动程序合成和修复，早期的成功和潜在应用的规模表明了巨大的希望。这一领域工作的长期潜力是计算机自动生成有用的软件，用于许多具有科学或社会意义的应用，这对人类程序员来说是非常困难或昂贵的。该项目将与本科生和研究生一起进行，从而也将有助于培养未来的计算机科学创新者。