|
|||||
|
|
| 完全析取范式检测ALCN-概念的可满足性 | |
| 引用本文： | 古华茂,高济,王勋.完全析取范式检测ALCN-概念的可满足性[J].四川大学学报(工程科学版),2009,41(6):165-170. |
| 作者姓名： | 古华茂 高济 王勋 |
| 作者单位： | 1. 浙江工商大学信息学院,浙江,杭州,310018;浙江大学人工智能研究所,浙江,杭州,310027 2. 浙江大学人工智能研究所,浙江,杭州,310027 3. 浙江工商大学信息学院,浙江,杭州,310018 |
| 基金项目： | 国家自然科学基金(60775029)；国家高技术研究发展计划(863)(2007AA01Z187)；国家重点基础研究发展规划(973)(2003cb31700)；浙江省科技计划（2007C33072）;浙江省自然科学基金(Y1090734)资助项目 |
| 摘 要： | 基于"逐步展开"模式的Tableau算法在各类非循环定义的描述逻辑概念的可满足性判断中会产生大量的重复性的中间概念描述,因而浪费大量的空间.为此,提出了-个全新的对非循环定义的ALCN-概念可满足性进行判断的完全析取范式(CDNF)算法.CDNF算法直接在输入概念描述上,以角色为纽带构建不同层次的析取范式,从而将输入概念描述重组成一种层次结构的可满足性直接可知的完全析取范式,从而实现了真正意义上的"计算"可满足性.CDNF算法采用"一步到位"的展开方式并且直接在输入概念描述上进行处理,因而可最大程度地消除概念描述的重复.因此,CDNF算法比Tableau算法能节省线性甚至指数倍于输入概念描述长度的空间代价. |
| 关 键 词： | 可满足性推理 析取范式 ALCN |
| 收稿时间： | 2008/7/29 0:00:00 |
| 修稿时间： | 2008/10/3 0:00:00 |
Checking the Satisfiability of ALCN-concepts with a Complete DNF |
|
| Gu Hua-Mao,Gao Ji and Wang Xun.Checking the Satisfiability of ALCN-concepts with a Complete DNF[J].Journal of Sichuan University (Engineering Science Edition),2009,41(6):165-170. | |
| Authors: | Gu Hua-Mao Gao Ji and Wang Xun |
| Affiliation: | College of Information, Zhejiang Gongshang University,Institute of Artificial Intelligence, Zhejiang University,College of Information, Zhejiang Gongshang University |
| Abstract: | |
| Keywords: | reasoning on satisfiability disjunctive normal form ALCN |
| 本文献已被 万方数据 等数据库收录！ | |
| 点击此处可从《四川大学学报(工程科学版)》浏览原始摘要信息 | |
| 点击此处可从《四川大学学报(工程科学版)》下载全文 | |