通用问题求解系统的完备性

作     者：冯柳平 

出 版 物：《桂林电子工业学院学报》 (Journal of Guilin Institute of Electronic Technology)

年 卷 期：1998年第18卷第2期

页      码：35-38页

摘      要：ＰＲＯＬＯＧ是基于Ｈｏｒｎ逻辑的通用搜索系统，是一种方便、高效的逻辑设计工具，但该系统却不具有完备性。从其理论基础和运行方式两方面，对ＰＲＯＬＯＧ系统进行剖析，分析系统完备性受到破坏的原因是：在该系统中采用了深度优先搜索策略和引入了ＣＵＴ控制机制。最后，提出了增强系统完备性的方法。

主 题 词：完备性 Horn逻辑 SLD归结法 人工智能 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 081104[081104] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

D　O　I：10.16725/j.cnki.cn45-1351/tn.1998.02.009

馆 藏 号：203348439...