基于OBDD的描述逻辑εL循环术语集推理

古天龙; 吕思菁; 常亮; 徐周波

首页> 中文期刊> 《软件学报》 >基于OBDD的描述逻辑εL循环术语集推理

基于OBDD的描述逻辑εL循环术语集推理

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑循环术语集的推理.首先,针对描述逻辑εL中的循环术语集,给出了描述图上关于最大模拟关系的重要性质,并借助集合表示和集合运算对该性质进行了表述和证明.在此基础上,应用布尔函数对描述图进行编码,给出了基于OBDD求解最大模拟关系的方法,进而给出了最大不动点语义下基于OBDD对概念包含关系进行判定的算法;接下来,基于OBDD给出了求解描述图中可以到达循环路径的所有结点的方法,进而给出了最小不动点语义下基于OBDD对概念包含关系进行判定的算法;最后,对算法的正确性、复杂度等进行了分析和证明,并对算法进行了编程实现,给出了关于计算性能的实验结果.该工作为循环术语集的推理提供了一条有效途径,也为OBDD在逻辑推理中的应用提供了新的案例.

著录项

来源
《软件学报》 |2014年第1期|64-77|共14页
作者
古天龙; 吕思菁; 常亮; 徐周波;
展开▼
作者单位

广西可信软件重点实验室(桂林电子科技大学);

广西桂林541004;

广西可信软件重点实验室(桂林电子科技大学);

广西桂林541004;

广西可信软件重点实验室(桂林电子科技大学);

广西桂林541004;

广西可信软件重点实验室(桂林电子科技大学);

广西桂林541004;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动推理、机器学习;
关键词
描述逻辑εL; 循环术语集; 有序二叉决策图; 概念包含关系; 不动点语义;

相似文献

中文文献
外文文献
专利

1. gfp-模型的描述逻辑FLε的循环术语集推理 [J] . 覃俊明 ,耿继兵 ,王驹 . 计算机工程与应用 . 2010,第012期
2. 描述逻辑εLN循环术语集的不动点语义及推理 [J] . 蒋运承 ,王驹 ,史忠植 . 软件学报 . 2009,第003期
3. 描述逻辑εL循环术语集的混合推理 [J] . 蒋运承 ,王驹 ,周生明 . 计算机研究与发展 . 2009,第001期
4. 描述逻辑εL混合循环术语集的LCS和MSC推理 [J] . 蒋运承 ,王驹 ,周生明 . 软件学报 . 2008,第010期
5. 描述逻辑FL-循环术语集的语义及推理 [J] . 蒋运承 ,王驹 ,邓培民 . 计算机学报 . 2008,第002期
6. 基于OBDD的描述逻辑ALCIO判定算法 [C] . 常亮 ,高申 ,李德波 . 广西计算机学会2010年年会 . 2010
7. 基于OBDD的描述逻辑循环术语集推理算法研究 [A] . 吕思菁 . 2013

基于OBDD的描述逻辑εL循环术语集推理

摘要

著录项

相似文献

相关主题

期刊订阅