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

该项目正在扩展自动编程的科学，使用来自进化生物学和软件工程的概念，以允许具有多个交互功能和接口的通用和强大的计算系统的进化。该项目使用PI的Push编程语言作为进化程序的目标语言。Push程序在语法上是无约束的，这有利于进化，但它们可以使用任意的控制和数据结构;这支持复杂的模块化程序的进化。本项目将为Push语言增加新的功能，并开发新的方法，使软件工程实践中使用的需求规范和测试类型转换为驱动进化的适应度函数。这些扩展的累积效应将支持更通用和更强大的计算系统的发展，本项目开发的技术的有效性将在两个应用领域得到证明：小型但完整的生产力软件应用程序的自动编程和复杂的，随时间变化的经济游戏的鲁棒智能软件代理的自动编程。该项目正在为计算机科学的长期目标做出贡献，即构建强大的智能系统和自动合成有用的计算机程序。

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.