Presidential Young Investigator Award

总统青年研究员奖

• 批准号: 8957302
• 负责人: Daniel Weld
• 金额: $ 21.2万
• 依托单位: University of Washington
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-08-01 至 1995-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8957302&HistoricalAwards=false
• 关键词: Presidential; Young; Investigator; Award

The research of this Presidential Young Investigator is in the artificial intelligence fields of learning and automated reasoning. Because computers require an explicit model of a system to perform reasoning and the character of the reasoning depends critically on the nature of the model, great leverage can be obtained by enabling programs to reformulate their models dynamically. The investigator has pursued reformulation in his work on aggregation and the comparative analysis techniques of differential qualitative analysis and exaggeration. He will now incorporate ideas from machine learning to aid in the reformulation task. One specific project is to generalize current schemes for model reformulation. The limits of applicability for each model will be represented explicitly in a language based on the simplifications implicitly assumed by the model. A second project is a restricted form of theory formation: the automatic construction of world models. Here the approach is to generalize previous work on measurement interpretation and view application by characterizing the program's views with the modeling language described above.

这位总统青年研究员的研究是在人工智能领域的学习和自动推理。因为计算机需要一个系统的明确模型来进行推理，而推理的特征主要取决于模型的性质，所以通过使程序动态地重新制定它们的模型可以获得很大的杠杆作用。研究者在他的工作中追求重新制定聚合和差异定性分析和夸张的比较分析技术。他现在将把机器学习的想法融入到重新制定任务中来。一个具体项目是概括目前的模式重新拟订方案。每个模型的适用性限制将根据模型隐式假设的简化用一种语言显式表示。第二个项目是理论形成的一种有限形式：世界模型的自动构建。这里的方法是通过用上面描述的建模语言描述程序视图来概括以前在测量解释和视图应用方面的工作。