摘要:本文分析了当前知识工程语言及其开发环境的现状,并介绍了基于知识工程语言及其支撑环境应是传统程序设计语言及其支撑环境的提高和进化的思想设计和实现的NEW专家系统开发环境,本文主要介绍了NEW的系统结构、知识表示、推理机制、开发环境以及实现与应用的情况。

摘要:带有模糊量词的推理在计算机科学特别是人工智能中十分重要。模糊量词具有“统计”的性质,本文将从此角度讨论模糊量词的形式化及带有模糊量词的推理,本文的结果可应用在专家系统等智能系统中。

摘要:本文将介绍高级屏幕设计和管理软件CPANEL Plus的用处、基本组成、汉化技术、使用方法和实例,以及应用的前景。

摘要:本文介绍了一种区域边界的识别算法和一种区域标记的算法,前者在有若干区域的多条边界相交及存在边界公用的情况下,通过直线生成的方法能寻找出每一个最小区域的完整的区域边界;后者则能在识别出区域边界的基础上进行区域的标记,把区域分割出来,这两个算法已用于电脑刺绣编程系统的图象预处理系统,效果良好。文中并通过实例说明了这两个算法的特点。

摘要:知识求精属知识获取的一个重要方面,旨在解决因知识不完全和噪音等因素引起的知识库正确性与有效性问题。本文通过知识库建造工具GKD—KBST中求精器KBRS实现方案的介绍,论述知识求精的基本理论。

摘要:为了解决解释学习中知识库不完备的问题,本文引入了多知识库协作,提出了解释与联想的学习方法。

摘要:本文通过引进序Petri网的概念,定义了序Petri网计算机,最后讨论该机器的计算能力:它可以计算所有的一般递归函数。

摘要:本文根据范畴等价的思想,讨论了Horn逻辑上的一种范畴等价,其中一个范畴是Horn范畴C_HT,其态射是保真关系,另一个范畴是Herbrand解释范畴C_HB,范畴等价可以描述作用于理论上元级操作的语义,本文一般性地描述了这一方法的思想。

摘要:本文描述了断言信度偏差,规则强度偏差,断言可靠度,规则可靠度,二级不确定性等概念,给出了处理信度偏差与规则强度偏差的推理方法和具有两级不确定性(可信度,可靠度)的推理模型,本文还对参与协作的诸ES所输出的结论的评价方法进行了讨论。

摘要:本文旨在为Peterson—Fischer二进程互斥算法提供一个断言式证明,根据麻省理工学院Nancy A.Lynch教授的论述,这是一个未解决的问题,因此本文的意义在于填补这一空缺。

摘要:为了研究Non—1NF关系模型G.M.,Kuper提出了LPS语言,基于这种语言,本文给出了用最一般合一描述的程序的过程语义,并用解释方法实现了该语言。

摘要:本文介绍一种用于FORTRAN并行化的实用算法,本文探讨串行源程序中的循环横向切分并行化的理论和算法,我们建立了一套新的理论概念,并且在这套概念的基础之上,导出了一系列横向切分理论。最后,文章还根据这些并行化理论得出的结果,介绍了一种实用的循环检测并行化方法。