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

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

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.