检索结果-南通市图书馆

同方期刊数据库

面向语义Web的Expressive格值描述逻辑(英文)

在线全文

学校读者我要写书评

暂无评论

电子科技大学学报 2012年第3期41卷 322-335页

作者：蒋运承谭红艳华南师范大学计算机学院广州510631 中国科学院声学所北京海淀区100190

提出了一种基于可信度格的Expressive模糊描述逻辑框架,对描述逻辑SROIQ(D)进行了模糊化扩充,建立了一种面向语义Web的基于格的模糊描述逻辑L-SROIQ(D),给出了L-SROIQ(D)的语法、语义和逻辑性质,以及建立了一个线序格下的将模糊描述逻辑... 详细信息

提出了一种基于可信度格的Expressive模糊描述逻辑框架,对描述逻辑SROIQ(D)进行了模糊化扩充,建立了一种面向语义Web的基于格的模糊描述逻辑L-SROIQ(D),给出了L-SROIQ(D)的语法、语义和逻辑性质,以及建立了一个线序格下的将模糊描述逻辑L-SROIQ(D)转换为经典描述逻辑SROIQ(D)的推理算法,从而证明了线序格下L-SROIQ(D)的可满足性推理是可判定的。

关键词：可信度格描述逻辑模糊描述逻辑模糊逻辑语义Web

在线全文

学校读者我要写书评

暂无评论

带n-元存在量词的描述逻辑MSC推理

计算机学报 2009年第8期32卷 1500-1510页

作者：蒋运承唐素勤华南师范大学计算机学院广州510631 中国科学院计算机科学国家重点实验室北京100190 广西师范大学计算机科学与信息工程学院广西桂林541004

分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新... 详细信息

分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新的εL(n)-描述图,利用描述树和描述图给出了描述逻辑εL(n)的MSC近似推理算法,并利用εL(n)-描述树嵌套和εL(n)-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL(n)-描述树描述图同态给出了εL(n)的实例推理算法,也证明了实例推理算法的正确性.

关键词：描述逻辑 n-元存在量词描述树描述图非标准推理 MSC

描述逻辑εLN循环术语集的不动点语义及推理

在线全文

学校读者我要写书评

暂无评论

软件学报 2009年第3期20卷 477-490页

作者：蒋运承王驹史忠植汤庸广西师范大学计算机科学与信息工程学院广西桂林541004 中山大学计算机科学系广东广州510275 中国科学院计算技术研究所北京100190

循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决分析了描述逻辑循环术语集的研究现状和存在的问题,将Baader的工作扩展到新的方向.针对更大的描述逻辑系统研究了循环术语集的语义及推理机制... 详细信息

循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决分析了描述逻辑循环术语集的研究现状和存在的问题,将Baader的工作扩展到新的方向.针对更大的描述逻辑系统研究了循环术语集的语义及推理机制,即在描述逻辑εL的基础上添加数量约束构造算子,提出了描述逻辑εLN,给出了εLN的语义(包括不动点语义和描述语义).针对εLN的需要,重新定义了描述图(包括语法描述图和语义描述图).使用描述图之间的模拟关系给出了不动点语义下εLN循环术语集的可满足性和包含关系推理算法,并证明了推理算法是多项式时间复杂的.

关键词：描述逻辑 εLN 循环术语集描述图模拟关系不动点语义

在线全文

学校读者我要写书评

暂无评论

独立于设计者的行动推理

计算机研究与发展 2009年第11期46卷 1917-1924页

作者：周生明王驹蒋运承广西师范大学计算机科学与信息工程学院广西桂林541004 中国科学院计算机科学国家重点实验室北京100190

高水平的智能机器人要求能够独立地对环境进行感知并进行正确的行动推理.在情境演算行动理论中表示带有感知行动及知识的行动推理需要外部设计者为agent写出背景公理、感知结果及相应的知识变化,这是一种依赖于设计者的行动推理.情境演... 详细信息

高水平的智能机器人要求能够独立地对环境进行感知并进行正确的行动推理.在情境演算行动理论中表示带有感知行动及知识的行动推理需要外部设计者为agent写出背景公理、感知结果及相应的知识变化,这是一种依赖于设计者的行动推理.情境演算行动理论被适当扩充,感知器的表示被添加到行动理论的形式语言中,并把agent新知识的产生建立在感知器的应用结果之上.扩充后的系统能够形式化地表示机器人对环境的感知并把感知结果转换为知识,还能进行独立于设计者的行动推理,同时让感知行动的"黑箱"过程清晰化.

关键词：情境演算行动推理感知行动知道逻辑知识流

基于最大不动点模型的描述逻辑系统FLε的有穷基

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2010年第9期47卷 1514-1521页

作者：唐素勤蔡自兴王驹蒋运承中南大学信息科学与工程学院长沙410083 广西师范大学计算机科学与信息工程学院广西桂林541004 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在***工作基础上设置了描述逻辑的描... 详细信息

研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在***工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库.

关键词：描述逻辑有穷基形式概念分析蕴含最大不动点

在线全文

学校读者我要写书评

暂无评论

基于描述逻辑的模糊ER模型

软件学报 2006年第1期17卷 20-30页

作者：蒋运承汤庸王驹中山大学计算机科学系广东广州510275 广西师范大学数学与计算机科学学院广西桂林541004

分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的... 详细信息

分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的基础上,对描述逻辑ALNUI进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑FALNUI.研究了基于FALNUI的模糊ER模型,即研究了如何将模糊ER模型转化为FALNUI的知识库,并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性.

关键词：模糊数据库模糊ER模型描述逻辑模糊描述逻辑

在线全文

学校读者我要写书评

暂无评论

描述逻辑μALCQO的语义及推理

软件学报 2009年第3期20卷 491-504页

作者：蒋运承王驹汤庸邓培民广西师范大学计算机科学与信息工程学院广西桂林541004 中山大学计算机科学系广东广州510275

循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决.基于混合分级μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCQO中,提出了一种允许包含循环术语集的描述逻辑μALCQO.给出了μ... 详细信息

循环术语集是描述逻辑长期以来的研究难点,其最基本的问题即语义及推理问题没有得到合理的解决.基于混合分级μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCQO中,提出了一种允许包含循环术语集的描述逻辑μALCQO.给出了μALCQO的语法、语义和不动点构造算子的性质,证明了μALCQO的可满足性推理等价于混合分级μ-演算的可满足性推理.基于混合分级μ-演算可满足性推理算法,并利用完全强化自动机给出了μALCQO的可满足性推理算法,以及给出了推理算法正确性证明和复杂性定理.μALCQO为进一步给出同时含有不动点构造算子和枚举构造算子的表达能力强的描述逻辑推理算法提供了理论基础.

关键词：描述逻辑 μALCQO 混合分级μ-演算完全强化自动机不动点构造算子

在线全文

学校读者我要写书评

暂无评论

基于描述逻辑的带属性依赖时序ER模型

计算机研究与发展 2007年第10期44卷 1765-1773页

作者：蒋运承汤庸王驹冀高峰中山大学计算机科学系广州510275 广西师范大学计算机科学与信息工程学院桂林541004

分析了描述逻辑在数据库中的研究现状和存在的问题,特别是描述逻辑与时序ER模型的关系,在Artale的基础上提出了一种形式化带属性依赖时序ER模型εRVTAD.针对带属性依赖时序ER模型εRVTAD的需求和特点,提出了一种新的描述逻辑,即时序描... 详细信息

分析了描述逻辑在数据库中的研究现状和存在的问题,特别是描述逻辑与时序ER模型的关系,在Artale的基础上提出了一种形式化带属性依赖时序ER模型εRVTAD.针对带属性依赖时序ER模型εRVTAD的需求和特点,提出了一种新的描述逻辑,即时序描述逻辑ALCQI(D)US.给出了ALCQI(D)US的语法和语义,提出了基于ALCQI(D)US的带属性依赖时序ER模型,即给出了如何将带属性依赖时序ER模型εRVTAD转化为ALCQI(D)US知识库,以及利用ALCQI(D)US的推理机制给出了带属性依赖时序ER模型εRVTAD的可满足性、冗余性、包含关系和蕴含关系等自动推理问题,证明了这些推理问题的正确性.

关键词：描述逻辑时序描述逻辑 ER模型时序ER模型属性依赖时序数据库

基于元路径的图Transformer神经网络

在线全文

学校读者我要写书评

暂无评论

计算机系统应用 2022年第11期31卷 1-9页

作者：梁书晴蒋运承华南师范大学计算机学院广州510631

图神经网络作为一种新的深度学习模型,被广泛运用在图数据中,并极大地推动了推荐系统、社交网络、知识图谱等应用的发展.现有的异构图神经网络通常事先定义了多条元路径来学习异构图中的复合关系.然而,这些模型通常在特征聚合步骤中只... 详细信息

图神经网络作为一种新的深度学习模型,被广泛运用在图数据中,并极大地推动了推荐系统、社交网络、知识图谱等应用的发展.现有的异构图神经网络通常事先定义了多条元路径来学习异构图中的复合关系.然而,这些模型通常在特征聚合步骤中只考虑单条元路径,导致模型只关注了元路径的局部结构,忽略了元路径之间的全局相关性;还有一些模型则是忽略掉了元路径的中间节点和边信息,导致模型无法学习到元路径内部的语义信息.针对以上问题,本文提出一种基于元路径的图Transformer神经网络(MaGTNN).该模型首先将异构图采样为基于元路径的多关系子图,利用提出的位置编码和边编码的方法来获取元路径中的语义信息.随后使用改进的图Transformer层计算出目标节点与其元邻居的相似度,并利用该相似度来聚合其所有的元邻居信息.在3个公开数据集的节点分类和节点聚类任务中,MaGTNN均高于最新的基准模型.

关键词：异构图异构图嵌入元路径图神经网络 Transformer