公共文化服务平台

共 8 条记录，以下是 1-8

全选清除导出

排序方式：

决策逻辑的图论模型: 2014年; 通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。; 曹发生张家锋黄飞丹聂登国; 关键词：决策逻辑粗糙集语义

基于领域本体的文本分类方法被引量：2: 2012年; 基于本体的文本分类方法未考虑本体概念自身所含有的信息量及忽略本体推理功能。为此,以旅游领域为背景,提出一种基于领域本体的文本分类方法。该方法采用本体自身结构作为分类标准,通过计算特征项和本体概念间的语义关联度及结合本体的推理功能,将文本划分到合适的本体概念下作为概念的实例。实验结果证明,与传统方法相比,该方法的分类方法 F1值至少提高8.7%。; 韦婷婷聂登国王驹蒋运承; 关键词：领域本体文本分类本体概念语义关联

描述逻辑VL的保守扩充被引量：4: 2013年; 保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色,它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充,如果不是,那么进化后的本体与原始本体将不能保持一致的逻辑结论。分析了现有的描述逻辑的保守扩充及其相应的判定算法,提出描述逻辑VL的保守扩充,并构建了VL的典范模型,证明了VL的保守扩充的判定算法是指数时间复杂的。; 聂登国曹发生; 关键词：描述逻辑本体

描述逻辑ALC的公理化方法研究: 2014年; 描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识。描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究。本文首先通过描述逻辑ALC与一阶逻辑的一个可判定片段之间的关系试图揭示描述逻辑的本质。最后给出了描述逻辑ALC的公理化方法及其演绎定理的证明。; 聂登国张维; 关键词：描述逻辑公理化一阶逻辑

描述逻辑系统VL的保守扩充: 随着万维网(World Wide Web)信息的与日俱增,万维网已发展成为人类历史上最大的信息系统。面对海量的信息,利用机器自动处理这些信息成为一种必然的趋势.自从Timberners-Lee在2000年世界XML大会上...; 聂登国; 关键词：描述逻辑本体; 文献传递

基于圆壳区域伸缩的空间知识表示: 2011年; 区域连接演算RCC(region connection calculs)是定性空间推理的重要理论之一,但由于缺乏必要的定量工具,RCC只能描述空间拓扑关系,而不能描述距离、方向等其他空间关系。在RCC理论的基础上,引入区域圆壳概念对区域伸缩加以度量,得出一种以区域为单位的形式化度量方法,来描述区域间的距离关系、方向关系,从而增强RCC的空间关系表示能力,拓展了RCC理论的适用范围。; 聂登国王勇红康旺强; 关键词：区域连接演算

格值模糊描述逻辑L-ALCN的Duquenne-Guigues基: 2014年; 描述逻辑和形式概念分析都是以概念为基础的形式系统,在处理信息方面它们各有优缺点。近年来,研究者们将两者结合在一起,取长补短。本文将形式概念分析的方法引入描述逻辑,研究了格值模糊描述逻辑系统模型的基问题。首先介绍了的语法、语义和形式概念分析的基本知识,根据的特点,重新定义了描述背景下内涵、伪内涵及有穷基底的理论框架,证明了系统中基底的存在性,给出了相应的算法并指出了中基底是可靠的、完备的和非冗余的。近年来,研究者们将两者结合在一起,取长补短。本文将形式概念分析的方法引入描述逻辑,研究了格值模糊描述逻辑系统L-ALCN模型的Duquenne-Guigues基问题。首先介绍了L-ALCN的语法、语义和形式概念分析的基本知识,根据L-ALCN的特点,重新定义了描述背景下内涵、伪内涵及有穷基底的理论框架,证明了L-ALCN系统中Duquenne-Guigues基底的存在性,给出了相应的算法并指出了L-ALCN中Duquenne-Guigues基底是可靠的、完备的和非冗余的。; 张维李佳聂登国; 关键词：基底

描述逻辑EVL模拟关系及其性质: 2014年; 模拟和互模拟是分析模态逻辑的表达能力的一个强有力的工具。巴德尔(Baader)率先提出,可以运用描述图之间的模拟关系来分析描述逻辑的包含推理,并证明了在概念定义式循环术语集限制下,描述逻辑EL的包含推理是多项式时间复杂的。本文分析了描述逻辑模拟关系的研究现状和存在的问题,给出一般情形描述逻辑EVL下的模拟关系及其性质。; 王勇红段高华聂登国; 关键词：描述逻辑互模拟

全选清除导出

共1页<1>

聂登国