RI: Small: RUI: Evolution of Robustly Intelligent Computational Systems

RI：小型：RUI：鲁棒智能计算系统的演变

• 批准号: 1017817
• 负责人: Lee Spector
• 金额: $ 42.33万
• 依托单位: Hampshire College
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-09-01 至 2015-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1017817&HistoricalAwards=false
• 关键词: RI; Small; RUI; Evolution; Robustly

This project is extending the science of automatic programming, using concepts derived from evolutionary biology and software engineering, to permit the evolution of general and robust computational systems with multiple interacting functionalities and interfaces. The project uses the PI's Push programming language as the target language for evolved programs. Push programs are syntactically unconstrained, which facilitates evolution, but they can make use of arbitrary control and data structures; this supports the evolution of complex, modular programs.This project will add new features to the Push language and develop new methods that allow requirements specifications and tests, of the type employed in software engineering practice, to be transformed into fitness functions that drive evolution. The cumulative effect of these extensions will be to support the evolution of significantly more general and robust computational systems.The effectiveness of the technologies developed in this project will be demonstrated in two application areas: the automatic programming of small but complete productivity software applications and the automatic programming of robustly intelligent software agents for complex, time-varying economic games. The project is contributing to long-standing goals in computer science of building robustly intelligent systems and automatic synthesis of useful computer programs.

该项目扩展了自动编程的科学，使用了进化生物学和软件工程的概念，以允许具有多种交互功能和接口的通用和健壮的计算系统的进化。该项目使用PI的Push编程语言作为进化程序的目标语言。Push程序在语法上是不受约束的，这有利于进化，但它们可以使用任意的控制和数据结构；这支持复杂、模块化程序的发展。该项目将向Push语言添加新的特性，并开发新的方法，这些方法允许在软件工程实践中使用的需求规格说明和测试类型被转换为驱动进化的适应度函数。这些扩展的累积效应将支持更加通用和健壮的计算系统的发展。本项目开发的技术的有效性将在两个应用领域得到证明：小型但完整的生产力软件应用程序的自动编程，以及复杂的、时变的经济博弈的健壮智能软件代理的自动编程。该项目有助于实现计算机科学的长期目标，即建立强大的智能系统和自动合成有用的计算机程序。