基于本体的数学知识获取与知识继承机制研究

基于本体、框架和逻辑给出了数学知识表示语言，采用了面向概念的数学知识获取方法，利用半自动的方式对数学知识进行了获取。提出了知识树的概念用于所获得的知识的管理，设计并实现了数学知识获取和管理平台。研究了数学概念知识体系结构以及概念之间的知识继承机制，并对知识继承的一致性进行了分析。在数学知识的应用方面，对基于Web的数学知识问答系统、数学智能教学系统、数学知识的多语言版本自动生成等进行了初步的探讨。     

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.     

基于概念主干H的知识联通及其联通测度

1 引言领域专业知识在决策系统、智能教学系统(ITS)、知识查询系统等高技术产品中具有重要的作用。知识库是机器智能的重要来源,而大量实践证明计算机真正具有智能不仅需要大型知识库,而且更需要知识间广泛的互连。     

基于Part-Whole关系的人造物属性分析

知识分析是建立知识库系统过程中的重要一环,其目的就是帮助检查知识库中的知识一致性、完备性和精确性。该文重点讨论了基于Part-Whole关系的人造物属性分析,主要内容是:一是部分和整体的属性之间是否具有继承关系;二是部分的公共属性和整体相同属性的属性值之间的内在约束关系。     

描述语义Web服务的带类型的OWL-S

语义Web服务利用语义Web中的语义标注技术使得Web服务可以被计算机所理解,从而实现Web服务的发现、调用、组合等的自动化。分析了目前语义Web服务的研究现状和存在的问题,从类型标注的角度出发,用一种带类型的OWL-S来形式化语义Web服务,并且形式地陈述了标注两个被组合的服务的属性和关系的类型、对象、本体概念之间的联系,从而为服务组合提供了一种形式化的验证方法。     

基于粗糙熵的离群点检测方法及其在无监督入侵检测中的应用

香农的信息熵被广泛用于粗糙集.利用粗糙集中的粗糙熵来检测离群点,提出一种基于粗糙熵的离群点检测方法,并应用于无监督入侵检测.首先,基于粗糙熵提出一种新的离群点定义,并设计出相应的离群点检测算法-–基于粗糙熵的离群点检测(rough entropy-based outlier detection,REOD);其次,通过将入侵行为看作是离群点,将REOD应用于入侵检测中,从而得到一种新的无监督入侵检测方法.通过多个数据集上的实验表明,REOD具有良好的离群点检测性能.另外,相对于现有的入侵检测方法,REOD具有较高的入侵检测率和较低的误报率,特别是其计算开销较小,适合于在海量高维的数据中检测入侵.     

L3-值命题逻辑的R-演算

在L 3-值命题逻辑中,对应于矢列式推导的Gentzen推理系统G是单调的,而对应于余矢列式推导的Gentzen推理系统G-是非单调的。基于G和G-,文中给出了一个R-演算S,使得任意的R-转换Δ|AΔ,C是有效的当且仅当它在S中可证。因此,S在限制A进入Δ时是单调的,而在将A添加到Δ中时是非单调的。     

命题中介逻辑的可靠和完备Gentzen推导系统

中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词~、反对连接词◁以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的.     

描述数据库的双层描述逻辑

为了表示元组和属性值的逻辑区别,引入了一个双层描述逻辑,其中概念分为两类:元组概念和属性值概念。给出双层描述逻辑的语言、语法和语义;然后定义从数据库中的关系到双层描述逻辑的知识库以及双层描述逻辑的模型的转换;最后扩展双层描述逻辑,使得其中的角色分为3类:元组之间的角色、元组与属性值之间的角色以及属性值之间的角色。     

Progress in the Development of National Knowledge Infrastructure

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.