基于动态时序描述逻辑的动作理论

动态时序描述逻辑(DLTLDL)是一类描述逻辑的动态时序扩展。提出一种基于DLTLALCIO的动态域建模方法,利用该方法可构造出刻画动态域知识的DLTLALCIO理论,并解决动作推理中的框架问题和分支问题。动作推理问题,如动作可执行性和投影问题等,可归结为关于DLTLALCIO理论的推理问题,并最终归结为DLTLALCIO的公式可满足性问题。DLTLALCIO公式可表达动作和时间约束,相对于其他基于描述逻辑的动作形式,基于DLTLALCIO的动作形式在需要执行复杂查询,尤其是含时间或动作的查询的应用场合具有更好的适用性。

描述逻辑的动态时序扩展

在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一类描述逻辑扩展。分析了该类扩展的基本形式DLTLALC的语法和语义,并提出一种可终止的tableau算法判别DLTLALC公式可满足性。利用该类扩展,可以表达组合动作执行过程中域变化的时间特性,该类扩展为语义Web服务等动态应用建模和推理提供了一条有效途径。

面向对象的时序动态描述逻辑管理制度设计

本文结合面向对象、时序动态描述逻辑等概念及理论,研究了管理制度设计的面向对象的时序动态描述逻辑公式描述形式,这些公式是管理制度中各条款语言文字化的逻辑及概念基础。文章采用面向对象、时序动态描述逻辑等理论和方法,实现将管理目的、管理控制参数、管理过程等描述成逻辑公式,使管理制度更加直观、简洁,便于形式化地分析管理漏洞。最后,通过实例分析了面向对象的时序动态描述逻辑的管理制度设计过程及其步骤。