排序方式: 共有17条查询结果,搜索用时 31 毫秒
1.
基于PROLOG元级扩充的知识消化系统 总被引:1,自引:0,他引:1
通过对TURBO PROLOG进行元级扩充,实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统,所采用的技术和方法对提高微机PROLOG知识库系统的质量和性能有重要参考价值。 相似文献
2.
黄国兴 《华东师范大学学报(自然科学版)》1996,(3):33-39
在许多基于知识的问题求解系统中,随着知识的不断积累可能会检测到某些新的结论和原有的知识产生矛盾,而维持该类系统中知识库的一致性是衡量该类系统是否有效的十分重要的标志,信值修正系统是解决类问题有效工具。 相似文献
3.
二叉树是一种重要的数据结构,它在计算机科学中有广泛的应用。当二叉树的两个子树没有区别时,就产生了二叉树同构的概念。本文讨论了在PCD-PROLOG中,用递归技术判定,二叉树同构的方法。 相似文献
4.
夏却利 《哈尔滨商业大学学报(自然科学版)》1999,(2)
良好的程序结构是模块化程序设计的基础,为构造结构良好的PROLOG 应用软件,本文讨论了三种控制结构在PROLOG中的实现。 相似文献
5.
TheImplementationTechnologyofaModelDescriptionandManagementToolsofComprehensiveInformationWANGShiping;XIAnbang(ManagementScho... 相似文献
6.
本文以一种抽象的顺序推理机系统为模型,详细讨论了现有四种同步机械-忙式等待、信号灯,条件临界区和管理能否在该模型上使用,并对使用情况进行了评述。用Turbo-Prolog语言书写了软件模拟程序(1400行),现已在IBM-PC/XT微机上实现。 相似文献
7.
本文直接应用两图同构的定义.讨论了在微机上判断无复铰运动链同构的算法和步骤,并用PROLOG程序设计语言实现了这种算法. 相似文献
8.
本文介绍了一个分布式知识库系统DKBS/TH—1的结构模型。它以PROLOG作为推理工具,Unify关系数据库系统作为存放知识的机构,二者之间通过一阶谓词逻辑的子集Horn子句进行联系.分布式系统中各结点之间的通讯联系也由Horn子句来实现,本文还讨论了PROLOG与关系数据库的结合方法及查询优化的技术. 相似文献
9.
LISP-ELP语言是作者设计的一种支持专家系统程序设计的函数/逻辑型程序设计语言,本文介绍LISP-ELP语言的特点及其解释系统的实现技术.该解释系统用C语言编写,并在IBM-PC机上实现. 相似文献
10.