清华大学出版社最新图书

《逻辑程序语言及其实现技术》 本书详细论述了逻辑程序设计语言的实现技术和面向逻辑程序设计语言的体系结构。其主要内容包括:逻辑程序理论基础,Prolog语言简介,WAN编译技术,WAM的扩充和优化,顺序推理机体系结构,逻辑程序并行处理方法和模型,抽象解释技术,并行逻辑程序设计语言及其实现技术、并行推理机体系结构等。     

第五代机系统的并发推理模型

第五代计算机系统,突破了传统的思想体系,将实现新的知识信息处理系统。实现第五代目标的关键技术是逻辑程序的并行推理技术。本文就这个问题着重介绍了当前国际上已提出的并发推理模型,分析这些模型思想,且提出了知识元多级进程模型的构想,高度开发新一代系统逻辑程序的潜在并行性。     

逻辑程序设计语言的并行性分析

逻辑程序设计语言的并行性是研究和开发并行推理机的重要内容之一。本文介绍了逻辑型语言的一般概念和特点,比较和分析了被 ICOT 确定为五代机核心语言的 Prolog、CP、GHC以及东京大学新提出的语言方案 SPL 的并行性。最后强调了并行基本处理单位的粒度与计算模型、体系结构的关系。     

Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

KBS-1知识库系统的知识获取

知识库系统是人工智能技术与数据库技术相结合的产物。知识获取是知识库系统中的一个重要组成部分。本文较详细地给出了KBS-1知识库系统中知识获取部分的描述,它们已在VAX-11/780上实现。这是一个基于逻辑程序设计语言Prolog的知识获取机构。     

Prolog语言实用化新进展

一、引言二十年前,一种新型的计算机语言由法国马赛大学首次提出,这就是如今尽人皆知的Prolog。多年来,英国艾丁堡大学在Prolog的理论、实现及推广方面,做出了重要贡献。当然,人们也不会忘记日本所做的大量工作.第五代机计划的实施,在推动和促进Prolog语言及知识处理系统的研究与发展方面所产     

Visual Prolog语言在测试设备故障诊断专家系统中的应用

Visual Prolog语言是人工智能与专家系统领域最著名的逻辑程序设计语言,适合表达人的思维和推理规则,能够方便地实现模式匹配、回溯、事实数据库和谓词等功能;针对导弹测试设备结构复杂、故障隔离与定位困难等情况,充分利用Visual Prolog语言在专家系统知识表示及逻辑推理过程中的优点,建立了一个基于规则的导弹测试设备故障诊断专家系统;通过应用表明Visual Prolog语言十分适合构建此类专家系统,并具有良好的开发应用前景.     

基于Prolog的专家系统研究与应用

随着计算机与网络通信技术的迅猛发展,特别是互联网的大规模普及,围绕人工智能与专家系统的研究和应用开发也迎来一个蓬勃发展的新时期。Prolog语言是人工智能与专家系统领域最著名的逻辑程序设计语言。本文基于Prolog平台上,探讨了专家系统建造的原理和应用。     

Prology程序部分计算的研究与实现

部分计算是一种重要的程序变换方法和编译优化技术，Prolog程序特别适合于部分计算。目前，国际上已开始了几个Prolog程序部分计算的原理模型和专用工具，但其中存在以下若于问题:(1)关于Prolog程序部分计算的基本原理和特征缺乏系统的认识;(2)现有的两种检测逻辑程序中循环的方法，并没有最后解决部分计算的终止性问题》;(3)关于Prolog中内部谓词的处理不够究善，而且其中还隐含了许多语叉错误;(4)部分计算算法相当低效；(5)现有的部分计算器局限于各自的应用领域，缺乏通用性。本文结合我们研制GKD－Prolog编译系统[14]剖中一个实用源级部分计算器的工作实践，全面、系统地讨论了纯Prolog的部分计算、逻辑程序的循环检测以及全Prolog的内部谓词处理。     

基于Prolog的专家系统研究与应用

随着计算机与网络通信技术的迅猛发展,特别是互联网的大规模普及,围绕人工智能与专家系统的研究和应用开发也迎来一个蓬勃发展的新时期。Prolog语言是人工智能与专家系统领域最著名的逻辑程序设计语言。本文基于Prolog平台上,探讨了专家系统建造的原理和应用。