共查询到18条相似文献，搜索用时 78 毫秒
1.
2.
3.
讨论了基于petri网的知识库一致性检验方法的实现;给出了知识库的一致性定义和Petri网建立知识库模型及一致性检验方法,为知识库的检验提供了一种有效方法. 相似文献
4.
本文研究了发动机诊断领域的知识库组织与管理问题.讨论了发动机领域级多种不同深度知识源的表示与获取问题;提出了知识库组织的分层分块管理策略. 相似文献
5.
裴道武 《淮阴师范学院学报(自然科学版)》2002,1(1):6-12
在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步,本文还讨论了这个系统关于建立在正规剩余格上语义的完备性. 相似文献
6.
未来社会是网络的社会，随着网络数量的增加和规模的扩大，网络管理的复杂性也益增大，和知识工程理论和技术把网络管理中所要用到的技术、技巧表示成计算机能够接受的知识，提供知识的查询和完整性，一致性检查并提供知识的存储和利用。 相似文献
7.
Hamilton算子特征函数系的完备性 总被引：1，自引：0，他引：1
对一类可用传统的分离变量法的偏微分方程引入Hamilton系统,证明基于基底函数组的展开在一般收敛意义下发散,而在Abel收敛意义下收敛,并将结果推广到更一般的情况. 相似文献
8.
范畴论是现代数学的基础,从Riesz模范畴出发,研究Riesz模的内部特征是研究Riesz模的重要方法。范畴的极限是范畴论的重要概念之一,范畴中乘积、等值子概念均可以看作是范畴的某种特殊的极限,余积、余等值子是特殊的余极限。范畴中极限的存在性决定了该范畴的完备性,余极限的存在性决定了余完备性。通过对以Riesz模为对象,Riesz模同态为态射的Riesz模范畴极限的研究,给出了Riesz模范畴中的乘积与余积、等值子与余等值子的具体表示形式,进而证明了Riesz模范畴具有完备性和余完备性。 相似文献
9.
10.
11.
鲁应书 《山西大学学报(自然科学版)》1987,(2)
第五代计累机是智能计算机系统,它是以处理知识为目标的,知识库是它的关键环节之一,所以知识库系统的研究引起了广泛的兴趣。本文通过数据库,知识库和PROLOG程序之间的对比,阐明了PROLOG程序具有知识库系统的基本功能,认为在PROLOG语言的基础上开发知识库系统是可行的。 相似文献
12.
本文介绍了一个分布式知识库系统DKBS/TH—1的结构模型。它以PROLOG作为推理工具,Unify关系数据库系统作为存放知识的机构,二者之间通过一阶谓词逻辑的子集Horn子句进行联系.分布式系统中各结点之间的通讯联系也由Horn子句来实现,本文还讨论了PROLOG与关系数据库的结合方法及查询优化的技术. 相似文献
13.
14.
本讨论了命题逻辑和一阶逻辑中应用可靠性定理和完备性定理所解决的一些代表性问题，还讨论了极大协调集在建立可靠性定理和完备性定理的证明过程中所起的作用。 相似文献
15.
对基于规则和框架的专家系统知识库验证中遇到的若干问题进行了深入探讨，首先，简要介绍了知识表达和知识库的组成，接着定义了知识库的Ａ、Ｂ两类知识，对Ｂ类知识，包括冗余，矛盾，循环、不完备等进行了系统分类和分析，最后，讨论了Ｂ类知识对专家系统性能的影响。 相似文献
16.
郑炜 《厦门大学学报(自然科学版)》1996,35(4):522-527
通过理论分析电火花线切割加工的基本规律，清楚认识线切割加工的三个工艺指标和十个加工条件的基本关系；采用理想的正交试验法找出满足这三个指标的十个加工条件的较优方案，并进行指标评估，作为线切割加工的数据库和知识库；研究了用面向对象模型组织线切割加工的数据库和知识库的方法．该组织方法的寻优预试验次数很少，精确可靠，实用价值高． 相似文献
17.
谢颖夫 《云南民族大学学报(自然科学版)》2000,9(2):81-84
在知识型系统的开发中知识获取一直是一个瓶颈问题，既由知识获取的性质所决定又受到缺乏合适的方法和工具的影响．笔者提出一种基于生命周期的知识获取方法，来解决这方面的问题，同时开发了相应的支持工具KCT帮助知识工程师获取知识，以达到缩短知识获取过程和提高获取知识质量的目的． 相似文献
18.
虚词知识库的研究是语言知识库研究的基础部分.文章根据藏语虚词的传统功能、兼类、半语法化以及对真实语料中虚词用法规律的考虑,着力构建面向机器的虚词知识库,旨在为现代藏语虚词在机器翻译等句法分析领域提供参考依据. 相似文献