首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   9篇
  国内免费   2篇
  完全免费   26篇
  自动化技术   37篇
  2020年   1篇
  2019年   1篇
  2017年   1篇
  2016年   1篇
  2015年   3篇
  2014年   1篇
  2013年   2篇
  2012年   1篇
  2011年   1篇
  2010年   1篇
  2009年   2篇
  2008年   3篇
  2007年   2篇
  2006年   1篇
  2005年   2篇
  2004年   3篇
  2003年   1篇
  2002年   3篇
  2001年   2篇
  2000年   5篇
排序方式: 共有37条查询结果,搜索用时 15 毫秒
1.
Progress in the Development of National Knowledge Infrastructure   总被引:21,自引:1,他引:20       下载免费PDF全文
This paper presents the recent process in a long-term research project,called National Knowledge Infrastructure(or NKI).Initiated in the early 2000,the project aims to develop a multi-domain shareable knowledge base for knowledge-intensive applications.To develop NKI,we have used domain-specific ontologies as a solid basis,and have built more than 600 ontologies.Using these ontologies and our knowledge acquisition methods,we have extracted about 1.1 millions of domain assertions.For users to access our NKI knowledge,we have developed a uniform multi-modal human-knowledge interface.We have also implemented a knowledge application programming interface for various applications to share the NKI knowledge.  相似文献
2.
基于知识本体的属性分析以及概念联通   总被引:7,自引:1,他引:6       下载免费PDF全文
知识库是计算机智能的重要来源。要提高机器的智能程度.不仅需要大型的知识库,更需要知识之间的广泛联通。类似于MindNet的语义联通,我们以文本知识为背景提出了基于本体的概念联通。文章首先介绍了知识本体的设计思想,然后进行属性的本体分析,最后讨论了基于属性的概念联通以及A-属性联通测度。  相似文献
3.
基于Concept—Relation模型的知识联通   总被引:6,自引:3,他引:3       下载免费PDF全文
1 引言 Johnson认为知识不是孤立的而是互相联系的,认知学指出思维过程体现为相关知识间的连接过程。那么如何在相关的知识之间建立联通?如何判定两条知识之间是否存在有意义的联通?又如何建立有意义的联通?这是知识处理中很重要的问题。形象地讲,知识联通就是在知识之间建立有意义的“由此及彼”的桥梁。总体上说,从知识工程角度看,要提高机器的智能程度需要知识间广泛的知识联通;从认知和语义学角度讲,知识联通是可行的。另外,Johnson的三阶段  相似文献
4.
基于模糊命题模态逻辑的形式推理系统   总被引:4,自引:0,他引:4       下载免费PDF全文
张再跃  眭跃飞  曹存根 《软件学报》2005,16(8):1359-1365
探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊约束作为基本表达式,给出推理规则,建立了相应的模糊推理形式系统,并以形式系统中模糊约束集的可满足性来表示模糊推理的有效性,使模糊推理过程变得容易,为最终在计算机上实现基于模态逻辑的模糊推理打下了一定的基础.主要结论是证明了基于可满足性的模糊推理形式系统的可靠性与完备性.  相似文献
5.
音乐领域本体的建立和分析   总被引:3,自引:0,他引:3       下载免费PDF全文
音乐是一门重要的社会学科,具有丰富的领域知识,这些知识是计算机音乐应用系统所需要的专业知识。本文基于本体论方法形式化地探讨音乐领域本体的建立和分析,具体介绍了本体的建立方法、本体元素的描述、本体的一致性分析等方面内容。我们给出两个判断类间关系一致性的算法并分析其性质,还探讨了基于公理的知识的一致性。  相似文献
6.
NKI中的本体、框架和逻辑理论   总被引:2,自引:0,他引:2       下载免费PDF全文
眭跃飞  高颖  曹存根 《软件学报》2005,16(12):2045-2053
NKI(国家知识基础设施)是一个大规模知识库,它用框架来表示本体中的概念,用Hom逻辑程序作为自动推理.给出NKI中的本体、框架和逻辑理论的形式表示以及形式表示之间的转换,并证明如果将本体、框架和逻辑理论看作是3个范畴,则这些转换是这3个范畴之间的函子.这个结果保证了在NKI中,基于Horn逻辑程序的推理关于用本体和框架表示的知识库是正确的.  相似文献
7.
不同逻辑间翻译的逻辑性质   总被引:2,自引:0,他引:2  
如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的.  相似文献
8.
基于Part-Whole关系的人造物属性分析   总被引:1,自引:0,他引:1  
知识分析是建立知识库系统过程中的重要一环,其目的就是帮助检查知识库中的知识一致性、完备性和精确性。该文重点讨论了基于Part—Whole关系的人造物属性分析,主要内容是:一是部分和整体的属性之间是否具有继承关系;二是部分的公共属性和整体相同属性的属性值之间的内在约束关系。  相似文献
9.
10.
基于近似决策熵的属性约简   总被引:1,自引:0,他引:1       下载免费PDF全文
粗糙集理论已被证明是一种有效的属性约简方法. 目前有许多启发式属性约简算法已被提出, 其中基于信息熵的属性约简算法受到了广泛的关注. 为此, 针对现有的基于信息熵的属性约简算法问题, 定义一种新的信息熵模型—–近似决策熵, 并提出一种基于近似决策熵的属性约简(ADEAR) 算法. 通过在多个UCI 数据集上的实验表明, 与现有算法相比, ADEAR算法能够获得较小的约简和较高的分类精度, 具有相对较低的计算开销.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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