Automatic Construction of Accurate Models of Physical Systems

该奖项为开发物理系统精确模型的自动构建提供资金。有关目标系统的具体信息将通过直接在物理设备上进行的测量、或用户以不同精度向程序描述的观察以及用户提出的假设来提供。除了构建这样的模型外，次要目标是了解模型中什么是重要的，什么是定性的和定量的受到用户情况和知识的要求的影响。这种理解在验证现有模型和设计方面在科学和工程上具有实际意义。

This award provides funding for developing automatic construction of accurate models for physical systems. Specific information about the target system will be provided through measurements made directly on a physical device, or a user's observations described to the program in varying degrees of precision, and hypotheses suggested by a user. In addition to construction of such models, a secondary objective is to understand what matters in a model, what qualitative and quantitative are affected by the requirements of the situation and knowledge of the user. Such understanding is of practical importance in science and engineering in validating existing models and designs.