导读:本文包含了动态描述逻辑论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:逻辑,动态,语义,组合,时序,动作,算法。
动态描述逻辑论文文献综述
何亚南[1]（2017）在《基于时序动态描述逻辑的民族文化资源知识表示形式化模型研究》一文中研究指出描述逻辑(Description Logics,DLs)是以对象为中心的形式化语言工具,用来对知识进行表示,它延续了 KL-ONE的重要理念,是一阶谓词逻辑的一个可判定子集。近年来,描述逻辑以其强大的知识表达能力和完备的推理机制得到了广泛的应用。描述逻辑最开始是用在静态领域知识的处理,不能对动态知识进行表示使得它的运用范围相对局限,并且也存在少许弊端,对时间和动作的描述能力较差,为了达到对动态领域知识应用的目的,通常利用相应的模态算子来对其进行扩展,包括动态性、时序性和模糊性等叁方面的扩展,基于描述逻辑的各种扩展形式陆续成为知识表示与推理的研究热门。民族文化资源知识中,大部分的知识都具有动态性和时间属性,通过对基本描述逻辑的分析可知,传统的描述逻辑对动态的民族文化资源知识缺乏表达能力,针对这一问题,本文以基本描述逻辑ALC为基础,增添动作算子和时序算子进行扩展,以此来描述随着时间进行变化的民族文化资源知识,提出基于时序动态描述逻辑CTL-DDLALC的民族文化资源的知识形式化表示方法,对民族文化资源推理过程中需要的知识、规则等进行统一的、标准化表示,以保证民族文化资源知识的表示与推理研究。本文主要的研究内容如下:(1)结合民族文化资源领域知识,对基本描述逻辑ALC进行扩展,增添8个模态算子,其中包括4个动作算子:;(Sequence,顺序)、∪(Choice,选择)、*(Iteration,迭代)、?(Test,测试),4个时序算子:O(Next,下一时刻)、◇(Frequently,某一时刻)、□(Always,所有时刻)、U(Until,直到)以及2个路径量词:A(All the Path,全路径)、E(Exist a Path,存在路径),提出时序动态描述逻辑CTL-DDLALC形式化系统,对CTL-DDLALC的语法和语义进行定义,并构建相应的知识库,使民族文化资源知识的描述具有动态性和时态性。(2)对CTL-DDLALC的推理问题进行研究,构建相应的Tableau算法规则,并证明所提出的Tableau算法的正确性,包括可终止性、可满足性,以实现民族文化资源的知识推理。(3)对民族文化资源领域知识进行分析,利用所提出的CTL-DDLALC形式化系统对民族文化资源知识进行描述和推理验证,包括动态性验证和时态性验证。(本文来源于《云南师范大学》期刊2017-05-25）
张娜[2]（2015）在《基于DL-Lite的动态描述逻辑研究》一文中研究指出随着互联网的快速发展及其在人们生活中的普及,描述逻辑受到了国内外越来越多的关注与研究。描述逻辑是一类基于逻辑的知识表示方法,适合于刻画静态领域的知识,有较强的描述能力和可判定性特征,以及有高效的推理算法与推理工具作为支持。然而,仅仅靠描述逻辑不能刻画具有动作特征的问题。研究者提出了各种描述逻辑的各种动态扩展形式,构造出了各种动态描述逻辑。但是,目前所有动态描述逻辑的判定算法中,都限制其中描述逻辑部分的TBox不再包括一般概念包含公理(GCIs),因为一旦引入GCIs,就会导致算法不可判定。DL-Lite是被裁减用于捕获概念建模构造的一种轻量级的描述逻辑,推理复杂度低,易处理,是近年来被推荐作为Web本体语言的OWL2的一个易处理子部分,这些特征使得DL-Lite尤其适合作为大数据下的数据密集型应用的一种概念层。我们从上述两个动机出发,首先选择在DL-Lite上进行动态扩展构造出判定算法支持一般概念包含公理的动态描述逻辑;其次,需要为其提供有效的推理工具;最后,从应用的角度出发,对该逻辑工具进行扩展,研究其典型的应用实例。本文是基于上述思路进行研究工作的,工作主要如下:(1)针对目前动态描述逻辑的判断算法不支持一般概念包含公理的现状,首先,将描述逻辑DL-Lite、动态逻辑和动作理论结合,并限制涉及到角色的包含断言中不能出现否定,构建出了新的动态描述逻辑R prDDL-Lite;然后,给出了其语法与语义,以及为其设计了Tableau算法并介绍算法的整个过程;最后,对其可终止性、可靠性与完备性进行了分析与证明。(2)为了更好的应用于实际问题当中,需要对R prDDL-Lite公式的可满足性问题进行快速简便的判定。因此,在上述R prDDL-Lite的算法基础上开发出相对应的R prDDL-Lite(Tableau)推理机软件,介绍了软件的功能、设计与工具演示,让使用者更容易理解与使用。(3)语义Web下知识库是不断演化的,类比数据库,基于描述逻辑DL-Lite的知识库也同样面临着事务回滚和事务并发的问题,于是在R prDDL-Lite的基础上引入逆动作和并发动作,构建了支持逆动作和并发动作的动态描述逻辑R prCDDL-Lite,研究其在DL-Lite知识库动态演化中的应用。(本文来源于《桂林电子科技大学》期刊2015-04-01）
张建华,田东平,岳金朋,张博[3]（2015）在《基于动态描述逻辑的Web自动化服务组合》一文中研究指出研究了动态描述逻辑(DDL)在Web服务组合中的应用。基于目标规划以及动态描述逻辑给出了Web服务组合算法。该算法考虑了客户的个人偏好,扩大了Web服务的应用范围。它使用DDL进行Web服务组合刻画,因为DDL将具有相似功能的服务划为一个动作集合,因而能够实现对语义Web中的动态知识和静态知识的统一描述,克服描述逻辑缺乏对动态知识描述的不足。该算法能够利用目标规划给出主体的动作执行序列,以有效实现Web服务的自动组合。最后通过具体实例验证了该算法的可行性。(本文来源于《高技术通讯》期刊2015年02期）
孙永新,赵希顺[4]（2014）在《基于动态时序描述逻辑的动作理论》一文中研究指出动态时序描述逻辑(DLTLDL)是一类描述逻辑的动态时序扩展。提出一种基于DLTLALCIO的动态域建模方法,利用该方法可构造出刻画动态域知识的DLTLALCIO理论,并解决动作推理中的框架问题和分支问题。动作推理问题,如动作可执行性和投影问题等,可归结为关于DLTLALCIO理论的推理问题,并最终归结为DLTLALCIO的公式可满足性问题。DLTLALCIO公式可表达动作和时间约束,相对于其他基于描述逻辑的动作形式,基于DLTLALCIO的动作形式在需要执行复杂查询,尤其是含时间或动作的查询的应用场合具有更好的适用性。(本文来源于《计算机科学》期刊2014年09期）
郭媛香[5]（2014）在《基于动态描述逻辑的语义Web服务PE匹配算法》一文中研究指出将基于描述逻辑断言构成的PE描述公理的有限集合看作一个本体知识库,因此有关PE的语义匹配问题就转化到两个基于描述逻辑的本体知识库之间的逻辑蕴含判定问题,然后将逻辑蕴含推理问题转化为本体库的可满足性检测问题,并通过可判的扩展算法解决,同时对匹配结果进行有意义的排序及分类.所提方法与现有方法相当的情况下,具有更高的查全率,能够更好地区分匹配结果.(本文来源于《晋中学院学报》期刊2014年03期）
张建华,史忠植,岳金朋,齐保元,蒋运承[6]（2014）在《支持链式桥规则的分布式动态描述逻辑》一文中研究指出研究了链式桥规则在分布式动态描述逻辑(D3L)中的应用,旨在使得现有的分布式动态描述逻辑可以在多个系统中进行推理和发挥其在信息集成中的重要作用。在动态描述逻辑(DDL)推理和D3L推理的基础上,提出了支持链式桥规则的分布式动态描述逻辑(CD3L)推理算法。该算法首先判断能否在一个DDL系统内部进行推理,然后再判断能否在两个D3L系统间进行推理,最后通过CD3L在多个D3L系统中进行推理。与D3L相比,新提出的CD3L弥补了传统桥规则描述逻辑系统的不足,为信息系统集成和语义网提供了更为合理的逻辑基础。(本文来源于《高技术通讯》期刊2014年05期）
任志宇,陈性元,马军强[7]（2013）在《一种采用动态描述逻辑表示的RBAC管理模型》一文中研究指出针对现有RBAC的管理模型中管理范围划分不明晰、管理权限分配不明确等问题,提出一种分布式RBAC管理模型。采用基于角色的管理思想,通过合理设置管理角色,将管理范围的划分、用户授权和角色授权工作进行分离,使模型具有较好的实用性。应用动态描述逻辑对模型进行描述,详细描述了各种授权管理操作的判定条件与执行过程,并通过应用实例验证了模型的有效性和实用性。(本文来源于《信息工程大学学报》期刊2013年06期）
常亮,刘进,古天龙,史忠植[8]（2013）在《基于动态描述逻辑的语义Web服务组合》一文中研究指出应用合适的形式系统对语义Web服务建模是实现语义Web服务自动组合的前提;形式系统的表达能力和计算性能决定了语义Web服务组合的准确度和求解效率.动态描述逻辑DDL(X)将动态逻辑、描述逻辑以及构建在描述逻辑之上的动作理论有机地结合,为语义Web服务的建模提供了新的工具.提出了一种基于DDL(X)的语义Web服务自动组合方法.首先,在将OWL-S表示的语义Web服务建模为动作的基础上,将语义Web服务组合问题建模为基于DDL(X)的规划问题,其中规划问题的规划解可以由DDL(X)中的任一动作构成,从而可以支持OWL-S中不含有Split和Split+Join的各种Web服务组合方案.针对建模后得到的任一规划问题,给出了用来判断是否存在规划解的判定算法,证明了算法的可终止性、可靠性和完备性.最后,当规划解存在时,可以根据判定过程将其解析出来.文中的方法充分发挥了DDL(X)在表达能力和计算性能等方面的优势,为语义Web服务自动组合提供了一套有效的理论工具.(本文来源于《计算机学报》期刊2013年12期）
杨男,李东波,童一飞[9]（2013）在《云制造环境下基于动态描述逻辑的制造服务匹配研究》一文中研究指出为解决云制造环境下制造服务显着的异构性、动态性给云制造服务匹配带来的难题,提出了一种基于动态描述逻辑的制造服务匹配方法。建立了基于动态描述逻辑的动作描述理论,给出了复杂动作在描述、拆解、组合过程中需要遵循的原则,提出了"五层叁阶段"的云制造匹配策略。用基于DDL的六元组对云制造服务进行建模,该模型能够准确地描述云制造服务的输入、控制和输出,为云制造服务匹配提供语义表达基础,同时,给出了匹配策略下的制造服务匹配规则及初步匹配算法实现。最后,通过对已有锻造系统的云化改造,证明了该方法能够有效地完成云制造环境下制造服务匹配工作。(本文来源于《中国机械工程》期刊2013年16期）
苏朋程[10]（2013）在《面向对象的时序动态描述逻辑管理制度设计》一文中研究指出本文结合面向对象、时序动态描述逻辑等概念及理论,研究了管理制度设计的面向对象的时序动态描述逻辑公式描述形式,这些公式是管理制度中各条款语言文字化的逻辑及概念基础。文章采用面向对象、时序动态描述逻辑等理论和方法,实现将管理目的、管理控制参数、管理过程等描述成逻辑公式,使管理制度更加直观、简洁,便于形式化地分析管理漏洞。最后,通过实例分析了面向对象的时序动态描述逻辑的管理制度设计过程及其步骤。(本文来源于《商业时代》期刊2013年07期）
动态描述逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
随着互联网的快速发展及其在人们生活中的普及,描述逻辑受到了国内外越来越多的关注与研究。描述逻辑是一类基于逻辑的知识表示方法,适合于刻画静态领域的知识,有较强的描述能力和可判定性特征,以及有高效的推理算法与推理工具作为支持。然而,仅仅靠描述逻辑不能刻画具有动作特征的问题。研究者提出了各种描述逻辑的各种动态扩展形式,构造出了各种动态描述逻辑。但是,目前所有动态描述逻辑的判定算法中,都限制其中描述逻辑部分的TBox不再包括一般概念包含公理(GCIs),因为一旦引入GCIs,就会导致算法不可判定。DL-Lite是被裁减用于捕获概念建模构造的一种轻量级的描述逻辑,推理复杂度低,易处理,是近年来被推荐作为Web本体语言的OWL2的一个易处理子部分,这些特征使得DL-Lite尤其适合作为大数据下的数据密集型应用的一种概念层。我们从上述两个动机出发,首先选择在DL-Lite上进行动态扩展构造出判定算法支持一般概念包含公理的动态描述逻辑;其次,需要为其提供有效的推理工具;最后,从应用的角度出发,对该逻辑工具进行扩展,研究其典型的应用实例。本文是基于上述思路进行研究工作的,工作主要如下:(1)针对目前动态描述逻辑的判断算法不支持一般概念包含公理的现状,首先,将描述逻辑DL-Lite、动态逻辑和动作理论结合,并限制涉及到角色的包含断言中不能出现否定,构建出了新的动态描述逻辑R prDDL-Lite;然后,给出了其语法与语义,以及为其设计了Tableau算法并介绍算法的整个过程;最后,对其可终止性、可靠性与完备性进行了分析与证明。(2)为了更好的应用于实际问题当中,需要对R prDDL-Lite公式的可满足性问题进行快速简便的判定。因此,在上述R prDDL-Lite的算法基础上开发出相对应的R prDDL-Lite(Tableau)推理机软件,介绍了软件的功能、设计与工具演示,让使用者更容易理解与使用。(3)语义Web下知识库是不断演化的,类比数据库,基于描述逻辑DL-Lite的知识库也同样面临着事务回滚和事务并发的问题,于是在R prDDL-Lite的基础上引入逆动作和并发动作,构建了支持逆动作和并发动作的动态描述逻辑R prCDDL-Lite,研究其在DL-Lite知识库动态演化中的应用。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
动态描述逻辑论文参考文献
[1].何亚南.基于时序动态描述逻辑的民族文化资源知识表示形式化模型研究[D].云南师范大学.2017
[2].张娜.基于DL-Lite的动态描述逻辑研究[D].桂林电子科技大学.2015
[3].张建华,田东平,岳金朋,张博.基于动态描述逻辑的Web自动化服务组合[J].高技术通讯.2015
[4].孙永新,赵希顺.基于动态时序描述逻辑的动作理论[J].计算机科学.2014
[5].郭媛香.基于动态描述逻辑的语义Web服务PE匹配算法[J].晋中学院学报.2014
[6].张建华,史忠植,岳金朋,齐保元,蒋运承.支持链式桥规则的分布式动态描述逻辑[J].高技术通讯.2014
[7].任志宇,陈性元,马军强.一种采用动态描述逻辑表示的RBAC管理模型[J].信息工程大学学报.2013
[8].常亮,刘进,古天龙,史忠植.基于动态描述逻辑的语义Web服务组合[J].计算机学报.2013
[9].杨男,李东波,童一飞.云制造环境下基于动态描述逻辑的制造服务匹配研究[J].中国机械工程.2013
[10].苏朋程.面向对象的时序动态描述逻辑管理制度设计[J].商业时代.2013
论文知识图
