基于PROLOG元级扩充的知识消化系统

通过对ＴＵＲＢＯ ＰＲＯＬＯＧ进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机ＰＲＯＬＯＧ知识库系统的质量和性能有重要参考价值。     

信值修正系统及其实现

在许多基于知识的问题求解系统中，随着知识的不断积累可能会检测到某些新的结论和原有的知识产生矛盾，而维持该类系统中知识库的一致性是衡量该类系统是否有效的十分重要的标志，信值修正系统是解决类问题有效工具。     

用PROLOG表示基本控制结构

良好的程序结构是模块化程序设计的基础，为构造结构良好的ＰＲＯＬＯＧ 应用软件，本文讨论了三种控制结构在ＰＲＯＬＯＧ中的实现。     

现有同步机构在抽象顺序推理机上的实现

本文以一种抽象的顺序推理机系统为模型，详细讨论了现有四种同步机械－忙式等待、信号灯，条件临界区和管理能否在该模型上使用，并对使用情况进行了评述。用Turbo-Prolog语言书写了软件模拟程序（1400行），现已在IBM－PC／XT微机上实现。     

WIZARD: AI in conformational analysis

Summary A program which utilizes the techniques of Artificial Intelligence and Expert Systems to solve problems in the area of Conformational Analysis is described. The program searches conformational space in a systematic fashion, based on the technique known as heuristic state-space search. The program proceeds by recognizingconformational units, assigning one or moreconformational templates to each unit, andjoining them to form conformational suggestions. These suggestions arecriticized to discover logical inconsistencies, and any resulting stresses areresolved. The resulting conformational suggestions are sometimes accurate enough for immediate use, or may be further refined by a numerical program. The latter combination is shown to be quite efficient compared to purely numerical conformational search techniques.     

分布式知识库系统DKBS/TH—1中推理与查询接口的设计与优化

本文介绍了一个分布式知识库系统DKBS/TH—1的结构模型。它以PROLOG作为推理工具,Unify关系数据库系统作为存放知识的机构,二者之间通过一阶谓词逻辑的子集Horn子句进行联系.分布式系统中各结点之间的通讯联系也由Horn子句来实现,本文还讨论了PROLOG与关系数据库的结合方法及查询优化的技术.     

LISP-ELP语言的实现技术

LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现.     

Automated conformational analysis: Algorithms for the efficient construction of low-energy conformations

Summary The method of constructing low-energy conformations using template joining can provide an efficient means of searching the conformational space of molecules. The simplest algorithm to perform this task would construct each potential conformation from scratch. However, new algorithms, some of which use techniques from Artificial Intelligence, have been developed which can greatly improve the efficiency of this approach.     

PROLOG线性归结的研究与设计

本文研究了 Horn 子句的形式描述,分析了 PROLOG 语言的归结机制,探讨了有选择线性归结及其不完备性,提出的改进技术引入了宽度优先搜索机制,并在理论上作了探讨,解决了使搜索陷入无穷分枝的问题。