Presidential Young Investigator Awards

总统青年研究员奖

• 批准号: 8958582
• 负责人: Marianne Winslett
• 金额: $ 31.2万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-10-01 至 1996-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8958582&HistoricalAwards=false
• 关键词: Presidential; Young; Investigator; Awards

This research project is concerned problems associated with reasoning about change. On the practical side, means of supporting changes in an Engineering Information System (EIS), that is a repository of information about an engineering artifact such as a VLSI circuit or software system will be investigated. It is now widely recognized that information management is crucial to the success of large scale design efforts. Near term projects in this area include construction of a main memory based data manager for high level synthesis of VLSI circuits; investigation of performance issues for updates in EIS, particularly as different aspects of the same design are updated in parallel by different engineers, leading to problems of data consistency and task coordination that are critical in large engineering projects. From a more theoretical perspective, there is interest in formal means of reasoning about changes in logical theories. For example, when a new piece of information about the world is discovered, how can one decide what old pieces of knowledge and data to keep, and what to discard in the light of the new information? This work is relevent to problems in databases (updating databases with incomplete information), philosophy (belief revision, revision of scientific theories), and artificial intelligence (planning, diagnosis, reasoning about the effects of actions, etc.). The studies of theory revision will emphasize problems from AI, such as reasoning about the location of objects in a room, as applications for revison techniques. Recent studies of the relationship of theory revision to circumscription and reasoning about action have proven particularly fruitful, and these will be pursued further.

该研究项目关注与变革推理相关的问题。 在实践方面，将研究支持工程信息系统（EIS）变更的方法，该系统是有关工程制品（例如 VLSI 电路或软件系统）的信息存储库。 现在人们普遍认识到信息管理对于大规模设计工作的成功至关重要。 该领域的近期项目包括构建基于主存的数据管理器，用于 VLSI 电路的高级综合； 调查 EIS 更新的性能问题，特别是当同一设计的不同方面由不同工程师并行更新时，会导致数据一致性和任务协调问题，这在大型工程项目中至关重要。 从更理论的角度来看，人们对逻辑理论变化的推理形式感兴趣。 例如，当发现关于世界的一条新信息时，如何根据新信息决定保留哪些旧知识和数据，以及丢弃哪些？ 这项工作与数据库（用不完整信息更新数据库）、哲学（信念修正、科学理论修正）和人工智能（规划、诊断、对行动效果的推理等）中的问题相关。 理论修正的研究将强调人工智能的问题，例如推理房间中物体的位置，作为修正技术的应用。 最近关于理论修正与限制和行动推理之间关系的研究已被证明特别富有成果，并将进一步开展这些研究。