命题动态逻辑相关论文
把命题动态逻辑PDL和模态逻辑S5进行融合后,得到的动态信念和知识的多主体逻辑(简称BDL),可以对动态认知信息进行推理.为此,一方面......
命题动态逻辑是模态逻辑最为成功的变种之一,在计算机科学和人工智能的众多领域发挥着重要作用.作为W3C推荐的Web本体语言OWL的逻辑......
命题动态逻辑(propositional dynamic logic.简称PDL)最初是由Fischer和Ladner在上世纪70年代末引入的,已成为计算机科学中一种有......
装配序列规划作为制造领域的研究热点之一,其好坏直接影响产品的可装配性、装配成本以及装配质量。自上世纪八十年代以来,国内外专......
命题动态逻辑(PDL)是一种应用模态逻辑,用于程序行为的推理。Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。......
本论文主要研究形式规范语言命题动态逻辑(PropositionalDynamicLogic)的可分解(组合)性及其递归扩展,以及相关的一些判定性问题。 ......
行动理论是人工智能中重要的研究课题,是当前成为研究热点的智能主体和语义Web服务的理论基础。对行动理论的研究现状进行了总结。......
命题动态逻辑是一种应用模态逻辑,用于程序行为的推理。Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。对于给......
模型检验的智能规划方法具有较高的求解效率,是当今通用智能规划研究的热点。由于模型检验的命题动态逻辑规划方法无法从拆卸角度......
本文提出了一个描述并行处理环境下程序动态特性的多类命题动态逻辑和多类结构,并使用MPDL描述一个实际问题。本文使用了新算子G^ij来描述并......