Pi演算与动态描述逻辑DDL的关系研究 被引量：1

1

作者 刘磊 汪美玲 +2 位作者 高艳华 张长海 于哲舟 《计算机研究与发展》 EI CSCD 北大核心 2008年第z1期131-136,共6页

分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,... 分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,并通过一个例子说明Pi演算对DDL动态知识的变化过程的描述.以上工作表明:DDL的可判定推理可解决基于Pi演算的动态系统的某些一致性检测问题,而Pi演算对动态系统的描述能力可解决DDL动态知识的变化过程的描述问题. 展开更多

关键词 PI演算 动态描述逻辑ddl 关系

在线阅读 下载PDF 职称材料

基于动态描述逻辑DDL的动作理论 被引量：4

2

作者 常亮 陈立民 《计算机科学》 CSCD 北大核心 2011年第7期203-208,共6页

基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,动态描述逻辑DDL为基于描述逻辑的动作刻画和推理提供了一种途径。系统地研究了基于DDL的动作表示和推理... 基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,动态描述逻辑DDL为基于描述逻辑的动作刻画和推理提供了一种途径。系统地研究了基于DDL的动作表示和推理问题。首先,在应用描述逻辑对静态领域知识进行刻画的基础上,引入带参数的原子动作定义式和带参数的复杂动作定义式,刻画出关于动作的知识;这两部分知识与关于具体状态的知识一起构成基于DDL的知识表示系统。接下来,针对该系统中刻画的各种知识,对相关推理问题进行了严格定义,给出了相应的推理机制和算法。最后探讨了基于DDL的动作理论在智能主体建模中的应用。基于DDL的动作理论既具有较强的知识表示能力,又提供了丰富的推理服务,适用于语义Web环境下对动作的刻画和推理。 展开更多

关键词 动态描述逻辑 知识表示和推理 动作理论 智能主体 语义WEB

在线阅读 下载PDF 职称材料

CDDL:动态描述逻辑的不确定性扩展 被引量：3

3

作者 吴涛 金义富 《计算机工程与科学》 CSCD 北大核心 2011年第2期142-148,共7页

本体(Ontology)是语义Web中共享知识的形式化建模工具,其逻辑基础是描述逻辑。动态描述逻辑(DDL)具有同时表示静态和动态知识的优势。本文针对语义Web需要处理不确定性动态知识的需求,利用云模型对DDL进行不确定性扩展,提出了一种能够... 本体(Ontology)是语义Web中共享知识的形式化建模工具,其逻辑基础是描述逻辑。动态描述逻辑(DDL)具有同时表示静态和动态知识的优势。本文针对语义Web需要处理不确定性动态知识的需求,利用云模型对DDL进行不确定性扩展,提出了一种能够有效实现不确定性静态和动态知识进行表示和推理的不确定性动态描述逻辑CDDL。与传统的描述逻辑相比,CDDL能够处理语义Web必须的动态知识,能处理的知识的不确定性范围更广泛,对知识不确定性的建模与表示更合理,更有效地弥补了DDL作为语义Web的逻辑基础的不足。通过实例分析了CDDL对不确定性静态和动态知识的表示与处理。从一定意义上说,CDDL更适合作为语义Web的逻辑基础。 展开更多

关键词 动态描述逻辑 云模型 不确定性 语义WEB

在线阅读 下载PDF 职称材料

一种分布式动态描述逻辑 被引量：16

4

作者 蒋运承 史忠植 +1 位作者 汤庸 王驹 《计算机研究与发展》 EI CSCD 北大核心 2006年第9期1603-1608,共6页

分析了目前描述逻辑(DL)的研究现状和存在的问题,特别是动态描述逻辑(DDL)作为语义Web逻辑基础所存在的问题.针对语义Web的特点和需求,对DDL进行了扩充,提出了一种新的描述逻辑,即分布式动态描述逻辑(D3L),给出了D3L的语法和语义,并研究... 分析了目前描述逻辑(DL)的研究现状和存在的问题,特别是动态描述逻辑(DDL)作为语义Web逻辑基础所存在的问题.针对语义Web的特点和需求,对DDL进行了扩充,提出了一种新的描述逻辑,即分布式动态描述逻辑(D3L),给出了D3L的语法和语义,并研究了D3L的推理机制,提出了两种推理方法:直接推理和转化推理.与动态描述逻辑DDL相比,该D3L可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足. 展开更多

关键词 描述逻辑 动态描述逻辑 分布式动态描述逻辑 语义WEB

在线阅读 下载PDF 职称材料

基于动态描述逻辑的语义Web服务匹配研究 被引量：25

5

作者 彭晖 陈立民 +1 位作者 常亮 史忠植 《计算机研究与发展》 EI CSCD 北大核心 2008年第12期2102-2109,共8页

动态描述逻辑(dynamic description logic,DDL)是描述逻辑(description logic,DL)的一种动态扩展,它支持语义Web环境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义Web服务描述与服务匹配方法:将服务需求方的目标服务以及服务... 动态描述逻辑(dynamic description logic,DDL)是描述逻辑(description logic,DL)的一种动态扩展,它支持语义Web环境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义Web服务描述与服务匹配方法:将服务需求方的目标服务以及服务发布方的原子服务用动态描述逻辑的动作进行描述,解决了语义Web服务的一致的形式化表述问题;将目标服务和原子服务的匹配问题归结为动态描述逻辑的公式可满足性判定问题,利用动态描述逻辑对动作的推理功能,发现与目标服务相匹配的原子服务组合.动态描述逻辑的公式可满足性问题是可判定的,解决了利用一阶谓词逻辑进行逻辑推理时的不可判定性. 展开更多

关键词 语义WEB服务 服务匹配 描述逻辑 动态描述逻辑 动作

在线阅读 下载PDF 职称材料

动态描述逻辑的Tableau判定算法 被引量：41

6

作者 常亮 史忠植 +1 位作者 邱莉榕 林芬 《计算机学报》 EI CSCD 北大核心 2008年第6期896-909,共14页

动态描述逻辑在描述逻辑的基础上引入了动态维,用于描述和推理动态领域的知识,但目前缺少有效的判定算法作为支撑.文中以描述逻辑ALCO的动态扩展为例,构建出动态描述逻辑D-ALCO.以D-ALCO的构建过程为基础,将ALCO的Tableau算法、命题动... 动态描述逻辑在描述逻辑的基础上引入了动态维,用于描述和推理动态领域的知识,但目前缺少有效的判定算法作为支撑.文中以描述逻辑ALCO的动态扩展为例,构建出动态描述逻辑D-ALCO.以D-ALCO的构建过程为基础,将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来,给出了D-ALCO的Tableau判定算法,证明了算法的可终止性、可靠性和完备性.应用该算法,可以在采用开世界假设的情况下对D-ALCO中公式的可满足性进行判定.对于D-ALCQO、D-ALCQIO等具有更强描述能力的动态描述逻辑,可以对该算法扩展后得到相应的Tableau判定算法. 展开更多

关键词 动态描述逻辑 动作理论 可满足性问题 TABLEAU算法 可判定性

在线阅读 下载PDF 职称材料

一种模糊动态描述逻辑 被引量：11

7

作者 王驹 蒋运承 唐素勤 《计算机科学与探索》 CSCD 2007年第2期216-227,共12页

分析了目前描述逻辑DL的研究现状和存在的问题,特别是动态描述逻辑DDL作为语义Web逻辑基础所存在的问题。针对语义Web需要处理模糊和不精确知识的特点和需求,对DDL进行了模糊化扩充,提出了一种新的描述逻辑,即模糊动态描述逻辑FDDL。给... 分析了目前描述逻辑DL的研究现状和存在的问题,特别是动态描述逻辑DDL作为语义Web逻辑基础所存在的问题。针对语义Web需要处理模糊和不精确知识的特点和需求,对DDL进行了模糊化扩充,提出了一种新的描述逻辑,即模糊动态描述逻辑FDDL。给出了FDDL的语法和语义,研究了FDDL的推理机制。与动态描述逻辑DDL相比,该FDDL可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足。 展开更多

关键词 模糊化 动态描述逻辑 逻辑基础 语法和语义 推理机制 知识 扩充 处理

在线阅读 下载PDF 职称材料

云制造环境下基于动态描述逻辑的制造服务匹配研究 被引量：7

8

作者 杨男 李东波 童一飞 《中国机械工程》 EI CAS CSCD 北大核心 2013年第16期2202-2207,共6页

为解决云制造环境下制造服务显著的异构性、动态性给云制造服务匹配带来的难题,提出了一种基于动态描述逻辑的制造服务匹配方法。建立了基于动态描述逻辑的动作描述理论,给出了复杂动作在描述、拆解、组合过程中需要遵循的原则,提出了&q... 为解决云制造环境下制造服务显著的异构性、动态性给云制造服务匹配带来的难题,提出了一种基于动态描述逻辑的制造服务匹配方法。建立了基于动态描述逻辑的动作描述理论,给出了复杂动作在描述、拆解、组合过程中需要遵循的原则,提出了"五层三阶段"的云制造匹配策略。用基于DDL的六元组对云制造服务进行建模,该模型能够准确地描述云制造服务的输入、控制和输出,为云制造服务匹配提供语义表达基础,同时,给出了匹配策略下的制造服务匹配规则及初步匹配算法实现。最后,通过对已有锻造系统的云化改造,证明了该方法能够有效地完成云制造环境下制造服务匹配工作。 展开更多

关键词 云制造 云服务 动态描述逻辑 服务建模 服务匹配

在线阅读 下载PDF 职称材料

基于主体的语义Web服务自动组合研究 被引量：27

9

作者 邱莉榕 史忠植 +1 位作者 林芬 常亮 《计算机研究与发展》 EI CSCD 北大核心 2007年第4期643-650,共8页

语义Web服务要解决的一个主要问题就是如何实现服务组合自动化.主体技术因其智能性、自主性等特点在解决语义Web服务组合问题中具有较大优势.通过分析语义Web服务组合研究现状,分析主体、语义Web与Web服务的紧密关系,论证了基于主体的语... 语义Web服务要解决的一个主要问题就是如何实现服务组合自动化.主体技术因其智能性、自主性等特点在解决语义Web服务组合问题中具有较大优势.通过分析语义Web服务组合研究现状,分析主体、语义Web与Web服务的紧密关系,论证了基于主体的语义Web服务的可行性并描述了基于多主体的Web服务组合平台架构.介绍了基于主体技术的语义Web服务组合技术,将服务组合看成是一个多主体环境下的规划问题,给出语义Web服务作为主体动作子类的形式化定义,并针对服务组合问题增加限定条件,定义服务之间的5种关系,试图从逻辑角度,以描述逻辑为基本工具,突出服务的动态性与交互性.最后利用主体的目标规划以及基于描述逻辑的有效推理,给出了服务的自动组合算法. 展开更多

关键词 语义WEB服务 服务组合 AI规划 动态描述逻辑 主体

在线阅读 下载PDF 职称材料

基于动态描述逻辑的多主体协作模型 被引量：12

10

作者 罗杰文 史忠植 +1 位作者 王茂光 林芬 《计算机研究与发展》 EI CSCD 北大核心 2006年第8期1317-1322,共6页

基于动态描述逻辑的主体模型和协作过程就是既考虑了智能主体的知识表示与推理问题,又紧密地结合主体的设计与编程问题,把表示与推理应用到主体的具体设计中·它充分利用了动态描述逻辑的统一的形式化框架,同时从静态的知识表示与... 基于动态描述逻辑的主体模型和协作过程就是既考虑了智能主体的知识表示与推理问题,又紧密地结合主体的设计与编程问题,把表示与推理应用到主体的具体设计中·它充分利用了动态描述逻辑的统一的形式化框架,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态和协作过程,探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改以及联合目标的形成、多目标的规划问题·多主体协作模型将理论和实践有机地结合起来,能够充分体现智能主体的本质特征与运行机制,为多主体系统的设计与编程奠定了很好的基础· 展开更多

关键词 动态描述逻辑 主体 多主体系统 协作

在线阅读 下载PDF 职称材料

基于动态描述逻辑的服务组合及质量模型 被引量：8

11

作者 万长林 韩旭 +2 位作者 牛温佳 王文杰 史忠植 《电子学报》 EI CAS CSCD 北大核心 2010年第8期1923-1928,共6页

本文提出一个基于动态描述逻辑的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层两部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.基于... 本文提出一个基于动态描述逻辑的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层两部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.基于该框架,本文给出了一个支持非线性QoS聚合和显式数据流声明的QoS模型.得益于合理的服务组合框架和QoS模型,本文提出的服务选择方法可以将复杂服务分解为较小的服务,然后分别用递归的剪枝算法求解.实验显示该方法是有效的,不但可适应候选Web服务数量较大的情况,且相对于现有方法能更好地处理服务组合中的复杂结构. 展开更多

关键词 服务质量 动态描述逻辑 服务选择 服务组合 分治算法

在线阅读 下载PDF 职称材料

基于动态描述逻辑的语义Web服务组合 被引量：14

12

作者 常亮 刘进 +1 位作者 古天龙 史忠植 《计算机学报》 EI CSCD 北大核心 2013年第12期2468-2478,共11页

应用合适的形式系统对语义Web服务建模是实现语义Web服务自动组合的前提;形式系统的表达能力和计算性能决定了语义Web服务组合的准确度和求解效率.动态描述逻辑DDL(X)将动态逻辑、描述逻辑以及构建在描述逻辑之上的动作理论有机地结合,... 应用合适的形式系统对语义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服务自动组合提供了一套有效的理论工具. 展开更多

关键词 语义WEB服务 服务组合 动态描述逻辑 动作理论 规划问题

在线阅读 下载PDF 职称材料

基于动态描述逻辑的主体模型 被引量：14

13

作者 董明楷 张海俊 史忠植 《计算机研究与发展》 EI CSCD 北大核心 2004年第5期780-786,共7页

在动态描述逻辑的基础上 ,提出了一种智能主体的心智状态模型 它充分利用了动态描述逻辑统一的形式化框架 ,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态 探讨了主体信念、行为能力、目标和规划等心智要... 在动态描述逻辑的基础上 ,提出了一种智能主体的心智状态模型 它充分利用了动态描述逻辑统一的形式化框架 ,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态 探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改等基本问题 该主体模型将理论和实践有机地结合起来 ,表达能力强 ,能够充分体现智能主体的本质特征与运行机制 。 展开更多

关键词 智能主体 主体模型 动态描述逻辑

在线阅读 下载PDF 职称材料

一类扩展的动态描述逻辑 被引量：23

14

作者 常亮 史忠植 +1 位作者 陈立民 牛温佳 《软件学报》 EI CSCD 北大核心 2010年第1期1-13,共13页

作为描述逻辑的扩展,动态描述逻辑为语义Web服务的建模和推理提供了一种有效途径.在将语义Web服务建模为动作之后,动态描述逻辑从动作执行结果的角度提供了丰富的推理机制,但对于动作的执行过程却不能加以处理.借鉴Pratt关于命题动态逻... 作为描述逻辑的扩展,动态描述逻辑为语义Web服务的建模和推理提供了一种有效途径.在将语义Web服务建模为动作之后,动态描述逻辑从动作执行结果的角度提供了丰富的推理机制,但对于动作的执行过程却不能加以处理.借鉴Pratt关于命题动态逻辑的相关研究,一方面,对动态描述逻辑中动作的语义重新进行定义,将每个动作解释为由关于可能世界的序列组成的集合;另一方面,在动态描述逻辑中引入动作过程断言,用来对动作的执行过程加以刻画.在此基础上提出一类扩展的动态描述逻辑EDDL(X),其中的X表示从ALC(attributive language with complements)到SHOIN(D)等具有不同描述能力的描述逻辑.以X为描述逻辑ALCQO(attributive language with complements,qualified number restrictions and nominals)的情况为例,给出了EDDL(ALCQO)的表判定算法,并证明了算法的可终止性、可靠性和完备性.EDDL(X)可以从动作执行过程和动作执行结果两个方面对动作进行全面的刻画和推理,为语义Web服务的建模和推理提供了进一步的逻辑支持. 展开更多

关键词 动态描述逻辑 动作推理 动作的执行过程 表判定算法 语义WEB服务

在线阅读 下载PDF 职称材料

基于动态描述逻辑的Web服务自动组合技术 被引量：3

15

作者 陈立民 王竹晓 史忠植 《高技术通讯》 CAS CSCD 北大核心 2011年第1期58-64,共7页

提出了一种利用动态描述逻辑（DDL）的动态推理自动组合Web服务的方法。DDL是描述逻辑（DL）的一种动态扩展，它结合本体提供的静态信息与Web服务提供的计算，统一地描述和推理Web环境中静态信息与动态知识。该方法充分利用Web服务组合... 提出了一种利用动态描述逻辑（DDL）的动态推理自动组合Web服务的方法。DDL是描述逻辑（DL）的一种动态扩展，它结合本体提供的静态信息与Web服务提供的计算，统一地描述和推理Web环境中静态信息与动态知识。该方法充分利用Web服务组合中涉及的静态知识（如描述逻辑知识库刻画的领域公理、具体环境和用户需求等）和动态知识（DDL中动作刻画的Web服务的功能），将Web服务组合的问题归约为DDL公式的可满足性问题，并通过一个可判的表扩展算法解决。开发了基于动态描述逻辑D—ALCHOQ的原型系统，并针对旅行代理问题的实验初步证实了该方法的可行性及潜在的应用前景。 展开更多

关键词 WEB服务 Web服务自动组合wsc) 语义WEB 描述逻辑(DL) 动态描述逻辑 (ddl)

在线阅读 下载PDF 职称材料

D3L(ccy)的属性及分布式Tableaux推理算法的研究 被引量：1

16

作者 赵晓非 田东平 +1 位作者 张文波 史忠植 《计算机研究与发展》 EI CSCD 北大核心 2014年第3期570-579,共10页

分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式... 分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式正确传播.借鉴了基于包的描述逻辑(P-DL)的思想,引入了组合一致性语义对D3L进行了扩展从而很好地解决了上述问题.系统地研究了扩展得到的描述逻辑D3L(ccy)的属性及分布式推理理论.证明了该描述逻辑的单调性(D3L(ccy)是一种单调逻辑)、有向性(桥规则的影响具有方向性)及冲突局部性(局部本体的冲突不会传播到整个分布式系统);通过对原有Tableaux推理算法的扩展,为D3L(ccy)提出了分布式Tableaux推理算法并研究了算法的性质,证明了该算法是可终止的、可靠的和完备的.与传统的D3L相比,扩展后的D3L可以为信息集成系统、语义Web等分布式、动态的系统提供更为合理的逻辑基础. 展开更多

关键词 分布式动态描述逻辑 知识传播 组合一致性 分布式推理 Tableaux推理算法 DISTRIBUTED dynamic description logicS (D3L)

在线阅读 下载PDF 职称材料

动态描述逻辑推理的并行计算技术 被引量：3

17

作者 王竹晓 胡宏 +1 位作者 陈立民 史忠植 《计算机研究与发展》 EI CSCD 北大核心 2011年第12期2317-2325,共9页

在设计用于处理大规模本体和数据的推理引擎时,推理引擎的可扩展性是一个需要研究的重要问题.动态描述逻辑要在真实环境中获得成功应用,需要在推理中采用并行计算技术.提出了两种方法将并行计算技术应用于动态描述逻辑推理.方法1是设计... 在设计用于处理大规模本体和数据的推理引擎时,推理引擎的可扩展性是一个需要研究的重要问题.动态描述逻辑要在真实环境中获得成功应用,需要在推理中采用并行计算技术.提出了两种方法将并行计算技术应用于动态描述逻辑推理.方法1是设计分布式动态描述逻辑框架.分布式动态描述逻辑由若干独立的动态描述逻辑所组成,这些动态描述逻辑两两之间通过桥规则联系起来.提出了基于Tableau的分布式推理算法,从而为分布式动态描述逻辑提供了全局推理能力,并且该算法可以将大的推理任务分解为若干子任务,而这些子任务可以被不同的推理主体并行处理.方法2是并行化动态描述逻辑的Tableau算法的不确定分支.不确定分支的并行计算使得推理任务可以在若干独立机器上同时执行.最后,介绍了推理引擎的原型实现并评估了其性能.实验结果表明提出的两种方法取得了明显的推理加速效果. 展开更多

关键词 并行推理 动态描述逻辑 分布式动态描述逻辑 表算法 推理引擎

在线阅读 下载PDF 职称材料

可判定的时序动态描述逻辑 被引量：6

18

作者 常亮 史忠植 +1 位作者 古天龙 王晓峰 《软件学报》 EI CSCD 北大核心 2011年第7期1524-1537,共14页

动态描述逻辑DDL(dynamic description logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现为原子动作的执行,从而将时序维... 动态描述逻辑DDL(dynamic description logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现为原子动作的执行,从而将时序维与动态维统一起来.在此基础上,从描述逻辑ALCQIO出发构建了一个时序动态描述逻辑TDALCQIO,给出了TDALCQIO的Tableau判定算法,并证明了算法的可终止性和正确性.TDALCQIO不仅兼容了构建在描述逻辑ALCQIO基础上的动态描述逻辑的刻画和推理能力,而且还可从可达性、安全性等角度对整个动态领域的时序特征进行刻画和推理,从而为语义Web环境下对动态领域知识的刻画和推理提供了进一步的逻辑支持. 展开更多

关键词 动态描述逻辑 分支时序逻辑 知识表示和推理 动作理论 Tableau判定算法

在线阅读 下载PDF 职称材料

基于动态描述逻辑的UML状态图形式化方法 被引量：6

19

作者 陈振庆 罗兰花 《计算机工程》 CAS CSCD 北大核心 2011年第13期55-57,60,共4页

统一建模语言(UML)状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题。给出状态图状... 统一建模语言(UML)状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题。给出状态图状态可达性和动作包含关系的定义,并证明其正确性。 展开更多

关键词 动态描述逻辑 统一建模语言状态图 形式化方法 动作推理

在线阅读 下载PDF 职称材料

动态描述逻辑动作间关系的Petri网分析方法研究 被引量：5

20

作者 马炳先 徐颖蕾 《自动化学报》 EI CSCD 北大核心 2007年第11期1144-1149,共6页

针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足,提出对多个动态描述逻辑动作间关系描述和分析的Petri网方法.首先讨论了动态描述逻辑动作的等价Petri网描述,进一步通过对动作描述的推理和各个动作的Pe... 针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足,提出对多个动态描述逻辑动作间关系描述和分析的Petri网方法.首先讨论了动态描述逻辑动作的等价Petri网描述,进一步通过对动作描述的推理和各个动作的Petri网共享合成操作,得到多个动态描述逻辑动作的Petri网系统.在此基础上,应用Petri网的相关理论与方法,如可达图分析方法,研究了多个动态描述逻辑动作间关系的分析与判定方法,对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充. 展开更多

关键词 描述逻辑 动态描述逻辑 动作 PETRI网

在线阅读 下载PDF 职称材料