首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 84 毫秒
1.
本文首先介绍对象逻辑程序设计语言LKO的基本概念,然后讨论其转换系统的系统结构,主要数据结构及关键算法。  相似文献   

2.
当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中.KBASE-P是一个通用的知识库程序设计语言.KBASE-P以KBASE作为查询语言,以FD-PROLOG(我们开发的一个PROLOG扩充)为过程性的宿主语言执行1/O和DB更新操作(用扩充的内部谓词).由于良好的设计和实现,查询语言与宿主语言之间的阻抗不匹配问题相对较小.因而,KBASE-P是一个比较实用的知识库程序设计语言.KBASE-P系统支持逻辑程序设计语言(KBASE-P语言)的程序开发,提供了文本编辑、文件管理、谓词管理、事实操作、Datalog查询、SQL查询等功能.本文详细介绍了KBASE-P系统的设计和实现.  相似文献   

3.
知识库系统KBASE+的数据模型,语言及实现   总被引:1,自引:0,他引:1  
本文讨论具有面向对象特征的知识库系统KBASE+的数据模型,语言及实现,KBASE+的数据模型可以方便地支持对象标识,类层次,多继承等面向对象概念。描述性查询语言KBL是扩充的DATALOG。本文重构了KBL语义理论框架,提出了解决属性继承和实例继承的方案,说明了KBL程序可以转换成语义等价的DATALOG程序。  相似文献   

4.
具有面向对象特征和知识库系统   总被引:1,自引:0,他引:1  
本文讨论了具有面向对象特征的知识库系统KBASE^+的数据模型,语言及实现。KBASE^+的数据模型可可以方便地支持对象标识,类层次,多继承等面和对象概念。描述性查询语言KBL是DATALOG针对于非一范式关系模型的扩充。本文重构了KBL的语义理论框架,提出了通过计算相关的下确界来解决属性继承中的冲突问题,通过在KBL程序中添加规则来实现实例继承的方案。本文说明了KBL程序可以转换成语义等价的DA  相似文献   

5.
本文介绍面向逻辑程序的并行推理机系统EC-PIM。它以逻辑程序设计语言PROLOG为核心,以硬件、软件两方面结合的方式直接实现以PROLOG所描述的推理任务,系统设计基于Earley算法,VLSI技术以及适当的系统结构及部件的设计方案,在提出并行推理机及其概念模型的前提下,作出EC-PIM体系结构的设计包括互连结构,公共存储器系统的设计方案,并成功地实现了双八路二级并行逻辑推理模拟机的研制。  相似文献   

6.
本文介绍面向逻辑程序的并行推理机系统EC-PIM。它以逻辑程序设计语言PROLOG为核心,以硬件、软件两方面结合的方式直接实现以PROLOG所描述的推理任务。系统设计基于Earley算法、VLSI技术以及适当的系统结构及部件的设计方案。在提出并行推理机及其概念模型的前提下,作出EC-PIM体系结构的设计,包括互连结构。公共存储器系统的设计方案。并成功地实现了双八路二级并行逻辑推理模拟机的研制。  相似文献   

7.
SC-PROLOG解释系统中的约束逻辑程序设计方法   总被引:1,自引:0,他引:1       下载免费PDF全文
约束逻辑程序设计(CLP)方法是提高PROLOG语言效率的一种崭新方法,本文针对SC┐PROLOG解释系统的实现介绍其相应设计思想,从域变量含义入手,提出了域及约束的存储方法以及约束机制的实现算法,是对逻辑设计方法研究的一点体会  相似文献   

8.
当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中。KBASE-P是一个通用的知识库程序设计语言。KBASE-P以KBASE作为查询语言,以FD-PROLOG(我们开发的一个PROLOG扩充)为过程性的宿主语言执行I/O和DB更新操作(用扩充的内部谓词)。由于良好的设计和实现,查询语言与宿主语言之间的阻抗不匹配问题相对较小。因而,KBASE-P是一个比较实用的知识库程序设计语言。KBA  相似文献   

9.
动态模糊逻辑程序设计语言的指称语义   总被引:1,自引:0,他引:1  
文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构.在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义.最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程.  相似文献   

10.
本文介绍了设计SC-PROLOG逻辑程序编译系统时所采用的方法,解决了系统设计方案,中间代码选择,动态编译实现以及优化手段实现等问题。分析和讨论了在无微解释器硬件支持的条件下,选择高级语言作为编译目标码的方法  相似文献   

11.
概率逻辑程序   总被引:2,自引:0,他引:2  
1 引言最近几十年来,不确定性的管理在知识描述和推理中扮演着越来越重要的角色。为了处理不确定知识,人们提出了各种不同的形式化和方法论,其中大部分是直接或间接地基于概率论的。  相似文献   

12.
MOHAMEDHamada 《软件学报》2001,12(9):1279-1286
函数式语言和逻辑语言在下列意义上是互补的,基于归约的函数式程序设计语言具有确定和懒惰求解等性质.但同时它又缺少诸如存在量化的变量以及部分数据结构等所希望的性质.相反,基于HORN子句逻辑和消解原理的逻辑程序设计语言允许存在量化的变量和部分数据结构但又缺少确定和懒惰求解的性质.从这个角度出发,把函数和逻辑程序设计语言结合成一种范型是很自然的,这种结合提供了一种比逻辑和函数语言表达能力更强的合一语言.提出了函数式逻辑语言的操作语义,同时表明这种操作语义在实践中是可见的.  相似文献   

13.
14.
15.
王克文 《计算机学报》1997,20(4):289-297
析取逻辑程序设计是传统逻辑程序设计最重要的扩充之一,本文通过一些实例说明,现存语义无法充分 表示信息的不完全性。为此,本文提出了双析取逻辑程序设计的概念,我们不仅从句法上将正规则析取逻辑程序推广为双析取逻辑程序。而且建立了一种高度直观,灵活的辩论语义框架BDAS。  相似文献   

16.
数字序列抗原内部存在许多语义特征,针对抗原进行语义识别可以提高系统检测的准确性。基于抗原的相对时序关系,该文采用了一阶逻辑作为抗原和淋巴细胞的基本描述语言,以扩展逻辑程序构造淋巴细胞的时间语义逻辑模型,给出了淋巴细胞的逻辑表示形式。基于逻辑程序的稳定模型语义学,用稳定模型语义计算作为新的淋巴细胞的匹配算法。借鉴遗传归纳逻辑程序GILP的基本思想,给出了新的淋巴细胞的演化算法。  相似文献   

17.
18.
A long outstanding problem for abduction in logic programming has been on how minimality might be defined. Without minimality, an abductive procedure is often required to generate exponentially many subsumed explanations for a given observation. In this paper, we propose a new definition of abduction in logic programming where the set of minimal explanations can be viewed as a succinct representation of the set of all explanations. We then propose an abductive procedure where the problem of generating explanations is formalized as rewriting with confluent and terminating rewrite systems. We show that these rewrite systems are sound and complete under the partial stable model semantics, and sound and complete under the answer set semantics when the underlying program is so-called odd-loop free. We discuss an application of abduction in logic programming to a problem in reasoning about actions and provide some experimental results.  相似文献   

19.
This paper addresses the notion of (declarative) goals as used in agent programming. Goals describe desirable states, and semantics of these goals in an agent programming context can be defined in various ways. We focus in this paper on the representation of conflicting goals. In particular, we define two semantics for goals, one for unconditional goals and one for conditional goals. The first is based on propositional logic, and the latter is based on default logic. We establish relations between and properties of these semantics. This title was inspired by the title of the PhD thesis of Harrenstein: Logic in conflict: logical explorations in strategic equilibrium [25].  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号