首页> 中文会议>2015全国理论计算机科学学术年会 >广义可能性计算树逻辑的两种范式

广义可能性计算树逻辑的两种范式

页面导航

摘要
著录项
相似文献
相关主题

摘要

计算树逻辑的范式在模型检测方法中具有重要意义.但广义可能性计算树逻辑的范式尚未有系统研究.在广义可能性计算树逻辑理论的基础上,本文给出了广义可能性计算树逻辑的两种不同的范式PNF(Positive Normal Form)和ENF(Existential Normal Form),并利用归纳假设法证明了任意的广义可能性计算树逻辑公式都有与之等价的PNF公式和ENF公式.

著录项

来源
《2015全国理论计算机科学学术年会》|2015年|1-9|共9页
会议地点金华
作者
Zhao Jie; 赵杰; Li Yongminng; 李永明;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类算法理论;
关键词
计算树逻辑; PNF范式; ENF范式; 模型检测;
入库时间 2022-08-17 11:05:40

相似文献

中文文献
外文文献
专利

1. 广义可能性计算树逻辑的两种范式 [J] . 赵杰 ,李永明 . 计算机科学与探索 . 2016,第010期
2. 广义可能性计算树逻辑和计算树逻辑的关系 [J] . 李丹 ,李永明 . 计算机科学与探索 . 2017,第010期
3. 具有多值决策过程的广义可能性计算树逻辑模型检测 [J] . YUAN Shen ,WEI Jie-lin ,LI Yong-ming . 计算机工程与科学 . 2019,第001期
4. 广义可能性计算树逻辑的模型检测问题 [J] . 梁常建 ,李永明 . 电子学报 . 2017,第011期
5. 广义可能性计算树逻辑的不动点语义 [J] . 邓楠轶 ,张兴兴 ,李永明 . 陕西师范大学学报（自然科学版） . 2015,第004期
6. 广义可能性决策过程的计算树逻辑模型检测 [C] . MA Zhan-you ,马占有 ,LI Yong-ming . 2015全国理论计算机科学学术年会 . 2015
7. 基于DNA计算模型的计算树逻辑模型检测算法研究 [A] . 韩英杰 . 2020

广义可能性计算树逻辑的两种范式

摘要

著录项

相似文献

相关主题

期刊订阅