Research into the Design and Implementation of Knowledge- Based Systems (Computer and Information Science)

基于知识的系统的设计与实现研究（计算机与信息科学）

• 批准号: 8722886
• 负责人: Jeffrey Ullman
• 金额: $ 65.28万
• 依托单位: Stanford University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1988
• 资助国家: 美国
• 起止时间: 1988-01-01 至 1992-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8722886&HistoricalAwards=false
• 关键词: Research; into; Design; Implementation; Knowledge

This award is for continued work on knowledge based systems by Jeffrey Ullman and his research group at Stanford. The goal is to develop systems which will not only store large amounts of data, but will respond effectively to inquiries, without explicit programming by the user. By choosing logic as the vehicle to develop knowledge based systems, this group intends to make data retrieval and inference mesh smoothly with advanced operations on data such as generation and modification of database elements for advanced engineering design. The central challenge is to make logic programming computationally effective for large amounts of data. The significance of this research is that it will lead to far more efficient and natural forms of programming - a key to the effective use of computers as design and reasoning "assistants," rather than as passive stores of data.

该奖项旨在表彰 Jeffrey Ullman 及其斯坦福大学研究小组在基于知识的系统方面的持续工作。 目标是开发不仅可以存储大量数据，而且可以有效响应查询的系统，而无需用户进行显式编程。 通过选择逻辑作为开发基于知识的系统的工具，该小组打算使数据检索和推理与高级数据操作（例如用于高级工程设计的数据库元素的生成和修改）顺利结合。 核心挑战是使逻辑编程在计算上对大量数据有效。 这项研究的意义在于，它将带来更加高效和自然的编程形式——这是有效利用计算机作为设计和推理“助手”而不是被动的数据存储的关键。