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

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

基于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.wddqxz.cn/8b83800abd23482fb4daa58da0116c175f0e1efa.html