检索结果-南通市图书馆

描述逻辑εL~■和εLU~■表达力的刻画与比较

在线全文

学校读者我要写书评

暂无评论

计算机学报 2018年第4期41卷 898-914页

作者：申宇铭郝天永张倩生广东外语外贸大学思科信息学院广州510006 广东外语外贸大学语言工程与计算重点实验室广州510006 广东外语外贸大学金融学院广州510006

逻辑的表达力及其推理问题的计算复杂性一直是逻辑研究的两个重点.描述逻辑是一族重要的知识表示语言,目前,国内外对其计算复杂性的研究成果比较丰富.而对其表达力的研究相对较少.从逻辑语义的角度看,解释之间的互模拟关系是刻画表达力... 详细信息

逻辑的表达力及其推理问题的计算复杂性一直是逻辑研究的两个重点.描述逻辑是一族重要的知识表示语言,目前,国内外对其计算复杂性的研究成果比较丰富.而对其表达力的研究相对较少.从逻辑语义的角度看,解释之间的互模拟关系是刻画表达力的一个有效途径,其较具代表性的结论是刻画命题模态逻辑表达力的van Benthem定理.文中主要研究了包含顶概念、原子概念、原子概念否定、概念交和完全存在约束等5个概念构造子的描述逻辑εL~■,给出了εL~■模拟关系,建立了刻画εL~■表达力的van Benthem定理.在εL~■基础之上,再增加概念并构造子,还给出了刻画εLU~■表达力的van Benthem定理.在这些工作的基础上,给出了εL、εL~■、εLU和εLU~■等4个系统表达力之间的比较结果.再依据若干概念包含关系问题的计算复杂性结果,明确了如下结论:在表达力要求不高的情形下,可以优先选择εL作为知识的表示语言.而对表达力要求较高的情形下,应该优先选择ALC作为知识的表示语言.同时,在没有特殊要求的情况下,应尽量避免使用εL~■、εLU和εLU~■作为知识的表示语言.

关键词：描述逻辑概念描述术语公理集表达力

描述逻辑εL混合循环术语集的LCS和MSC推理

在线全文

学校读者我要写书评

暂无评论

软件学报 2008年第10期19卷 2483-2497页

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

分析了描述逻辑循环术语集的研究现状和存在的问题,在***工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循... 详细信息

分析了描述逻辑循环术语集的研究现状和存在的问题,在***工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础.

关键词：描述逻辑混合循环术语集不动点语义描述语义 LCS(least common subsumer) MSC(most specific concept)

在线全文

学校读者我要写书评

暂无评论

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

计算机学报 2009年第7期32卷 1280-1290页

作者：蒋运承王驹邓培民汤庸周生明华南师范大学计算机学院广州510631 中国科学院软件研究所计算机科学国家重点实验室北京100190 广西师范大学计算机科学与信息工程学院广西桂林541004 中山大学计算机科学系广州510275

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

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,基于混合μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCIO中,提出了一种允许包含循环术语集的描述逻辑μALCIO.给出了μALCIO的语法和语义,证明了μALCIO的可满足性推理等价于混合μ-演算的可满足性推理,并利用树自动机理论给出了μALCIO的可满足性推理算法以及给出了推理算法正确性证明和复杂性定理.

关键词：描述逻辑 μALCIO 混合μ-演算树自动机不动点构造算子

在线全文

学校读者我要写书评

暂无评论

描述逻辑FL_0的包含推理及其保守扩充

计算机研究与发展 2015年第1期52卷 221-228页

作者：聂登国康旺强曹发生王驹贵州工程应用技术学院理学院贵州毕节551700 广西师范大学漓江学院广西桂林541004 广西师范大学计算机科学与信息工程学院广西桂林541004

本体作为知识库表示知识已经成为计算机理论与应用的研究热点.在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox.本体是动态的实体,为了适应新领域的发展,需要对原始本体进行扩充.但是扩充后的本... 详细信息

本体作为知识库表示知识已经成为计算机理论与应用的研究热点.在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox.本体是动态的实体,为了适应新领域的发展,需要对原始本体进行扩充.但是扩充后的本体与原始本体是否保持逻辑一致性是目前研究者们所关注的焦点.在Lutz等人研究的基础上探究的保守扩充问题.首先构建了的典范模型,将包含推理问题转换为典范模型的模拟问题;其次由典范模型之间的最大模拟是多项式时间复杂的,证明了的包含推理是多项式时间复杂的;最后给出描述逻辑的保守扩充及其判定算法,证明了的保守扩充的判定算法是指数时间复杂的.

关键词：描述逻辑典范模型保守扩充本体包含推理

描述逻辑εLU概念及术语公理集的表达能力刻画

在线全文

学校读者我要写书评

暂无评论

软件学报 2014年第8期25卷 1794-1805页

作者：申宇铭王驹唐素勤广东外语外贸大学思科信息学院广东广州510420 广西师范大学计算机科学与信息工程学院广西桂林541004 高可信软件技术教育部重点实验室(北京大学) 北京100871

表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系.解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理——van Benthem刻画定理.给出了描述逻辑... 详细信息

表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系.解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理——van Benthem刻画定理.给出了描述逻辑εLU(含构造子:原子概念、顶概念、概念交、概念并、完全存在约束)的模拟关系,建立了εLU中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与εLU中概念和术语公理集等价的充分必要条件.上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持.

关键词：描述逻辑概念描述术语公理集表达能力

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

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

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

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

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

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

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

在线全文

学校读者我要写书评

暂无评论

描述逻辑εL循环术语集的混合推理

计算机研究与发展 2009年第1期46卷 15-22页

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

循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题.给出了εL... 详细信息

循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题.给出了εL的混合循环知识库的语法和语义(包括不动点语义和描述语义).针对εL循环术语集混合推理的需要,提出了TBox-完全的概念,并重新定义了描述图(包括语法描述图和语义描述图).使用描述图之间的模拟关系和TBox-完全概念给出了最大不动点语义和描述语义下εL混合循环知识库的实例检测推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.

关键词：描述逻辑循环术语集不动点语义描述语义混合推理

在线全文

学校读者我要写书评

暂无评论

描述逻辑非标准推理

模式识别与人工智能 2010年第4期23卷 522-530页

作者：唐素勤蔡自兴王驹蒋运承中南大学信息科学与工程学院长沙410083 广西师范大学计算机科学与信息工程学院桂林541004

描述逻辑是知识工程应用领域中重要的一类知识表示形式化工具.近年来,解决描述逻辑标准推理和非标准推理已成为描述逻辑研究的一个重要内容.文中概述描述逻辑的标准推理和非标准推理的重要性和研究进展,给出LCS推理、MSC推理、重写推理... 详细信息

描述逻辑是知识工程应用领域中重要的一类知识表示形式化工具.近年来,解决描述逻辑标准推理和非标准推理已成为描述逻辑研究的一个重要内容.文中概述描述逻辑的标准推理和非标准推理的重要性和研究进展,给出LCS推理、MSC推理、重写推理、匹配推理、调试推理和保守扩充等非标准推理的定义和实现这些推理的主要技术.深入讨论LCS推理、MSC推理和匹配推理,以及混合循环术语集的非标准推理及其研究进展.最后探讨描述逻辑非标准推理的发展趋向.

关键词：描述逻辑标准推理非标准推理匹配