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.

这位总统青年研究员的研究领域是人工智能学习和自动推理领域。 由于计算机需要系统的显式模型来执行推理，并且推理的特征很大程度上取决于模型的性质，因此通过使程序能够动态地重新构建其模型可以获得很大的影响力。 研究者在其聚合工作以及差异定性分析和夸大的比较分析技术中进行了重新表述。 他现在将结合机器学习的想法来帮助重新制定任务。 一个具体项目是推广当前的模型重构方案。 每个模型的适用性限制将根据模型隐式假设的简化以语言明确表示。 第二个项目是理论形成的受限形式：世界模型的自动构建。 这里的方法是通过使用上述建模语言来表征程序的视图，从而概括以前关于测量解释和视图应用的工作。