T007525 新一代计算技术前沿的研究

书籍:中国图书大辞典:1949-1992第16册工业技术(下) 更新时间:2018-09-19 11:13:01

出处:按学科分类—综合性图书 湖北人民出版社《中国图书大辞典:1949-1992第16册工业技术(下)》第794页(538字)

慈云桂、张晨曦等着。

清华大学出版社1989年10月版。72.9万字。

分7个方面:“顺序Prolog系统”;非逻辑成分执行机制NLEM以及顺序推理机的系统结构;“逻辑程序的并行处理”,并行执行模型——OR树林模型及其体系结构;“基于知识的系统”,知识库系统及新一代专家系统的原理和构造方法;“数据流计算与体系结构”;“启发式搜索”;“超级计算”。综合论述智能计算机、巨型机研究中的若干关键课题。书中提出的WAM-PLUS模型和OR树林模型是在推理机方面国际上首次提出的模型。WAM-PLUS模型是一个高效的顺序Prolog执行模型,它的非逻辑成分执行机制有效地解决了诸如动态Prolog代码的一致性语义、数据库的动态修改等难题,为顺序推理机的研究提供了良好的理论基础。OR树林模型是一个新型的逻辑程序并行执行模型。与国际上流行的其他模型相比,该模型具有并行性高、通讯开销小、功能强等特点。

它为逻辑程序并行性的开发提供了理论依据。

书中论述的另一个新型模型——人工智能中的启发式搜索算法SA、WSA,突破传统搜索概念,首次把统计推断方法引进搜索技术,创造了统计启发式搜索法。本书的缩编本已由荷兰NorthHolland出版社出版。

分享到: