基于OBDD的Iteration-free CPDL判定算法研究 邓刚 【期刊名称】《湖北农机化》 【年(卷),期】2011(000)004 【摘 要】命题动态逻辑是一种应用模态逻辑，用于程序行为的推理。Iteration—free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。PDL不但用于程序形式化描述和推理。而且还能够提供合适的形式框架对动作进行刻画和推理，可用其进行web服务组合。 【总页数】1页(P59-59) 【作 者】邓刚 【作者单位】湖北工业大学 【正文语种】中 文 【中图分类】TP312 【相关文献】 1.基于OBDD的描述逻辑ALC判定算法 [J], 黄聪;古天龙;常亮 2.基于OBDD的描述逻辑SHOIQ判定算法研究与实现 [J], 李德波;古天龙;常亮;高西 3.基于OBDD的Iteration-free CPDL判定算法 [J], 覃凤萍;古天龙;常亮 4.基于OBDD的εL(-)本体判定算法 [J], 高申;古天龙 5.基于OBDD的描述逻辑ALCIO判定算法 [J], 常亮;高申;李德波;古天龙 因版权原因，仅展示原文概要，查看原文内容请购买 本文来源：https://www.wddqw.com/doc/8b83800abd23482fb4daa58da0116c175f0e1efa.html