基于OBDD的Iteration-free CPDL判定算法研究

2022-12-19 11:00:39   文档大全网     [ 字体: ] [ 阅读: ]

#文档大全网# 导语】以下是®文档大全网的小编为您整理的《基于OBDD的Iteration-free CPDL判定算法研究》,欢迎阅读!
判定,算法,Iteration,基于,研究
基于OBDDIteration-free CPDL判定算法研究

邓刚

【期刊名称】《湖北农机化》 【年(),期】2011(000)004

【摘 要】命题动态逻辑是一种应用模态逻辑,用于程序行为的推理。Iterationfree CPDL是一种无迭代算子而含有逆算子的命题动态逻辑。PDL不但用于程序形式化描述和推理。而且还能够提供合适的形式框架对动作进行刻画和推理,可用其进行web服务组合。 【总页数】1(P59-59) 【作 者】邓刚

【作者单位】湖北工业大学 【正文语种】 【中图分类】TP312 【相关文献】

1.基于OBDD的描述逻辑ALC判定算法 [J], 黄聪;古天龙;常亮

2.基于OBDD的描述逻辑SHOIQ判定算法研究与实现 [J], 李德波;古天龙;常亮;高西

3.基于OBDDIteration-free CPDL判定算法 [J], 覃凤萍;古天龙;常亮 4.基于OBDDεL(-)本体判定算法 [J], 高申;古天龙

5.基于OBDD的描述逻辑ALCIO判定算法 [J], 常亮;高申;李德波;古天龙


因版权原因,仅展示原文概要,查看原文内容请购买


本文来源:https://www.wddqxz.cn/8b83800abd23482fb4daa58da0116c175f0e1efa.html

相关推荐