PARALLEL LOGIC PROGRAMMING

并行逻辑编程

• 批准号: 8809324
• 负责人: Simon Kasif
• 金额: $ 6万
• 依托单位: Johns Hopkins University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1988
• 资助国家: 美国
• 起止时间: 1988-06-01 至 1990-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8809324&HistoricalAwards=false
• 关键词: PARALLEL; LOGIC; PROGRAMMING

This research investigates the use of parallel computation systems (systems of many computing elements operating simultaneously) for knowledge representation, reasoning, and problem solving in large knowledge based systems. Experimental studies of computer performance are coupled with theoretical analysis of the algorithms involved. The importance of this research is that it significantly advances the usefulness of parallel computing power for real knowledge based applications. This award is being funded as one of the 1988 Research Initiation Awards for outstanding new investigators in the Computer and Information Science and Engineering (CISE) Directorate.

本研究探讨了在大型基于知识的系统中使用并行计算系统（许多计算元素同时运行的系统）进行知识表示、推理和问题解决。计算机性能的实验研究与所涉及算法的理论分析相结合。这项研究的重要性在于，它极大地提高了并行计算能力在真正基于知识的应用中的实用性。该奖项是1988年研究启动奖之一，用于奖励计算机和信息科学与工程（CISE）理事会的杰出新研究人员。