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

---

慈云桂、张晨曦等著。

清华大学出版社1989年10月版。72．9万字。

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

它为逻辑程序并行性的开发提供了理论依据。书中论述的另一个新型模型——人工智能中的启发式搜索算法SA、WSA，突破传统搜索概念，首次把统计推断方法引进搜索技术，创造了统计启发式搜索法。本书的缩编本已由荷兰NorthHolland出版社出版。