|
|||||
|
|
| 一种子句重构的增强Tableau算法 | |
| 引用本文： | 古华茂,高济,王勋,吴海燕.一种子句重构的增强Tableau算法[J].模式识别与人工智能,2009,22(4). |
| 作者姓名： | 古华茂 高济 王勋 吴海燕 |
| 作者单位： | 1. 浙江大学,人工智能研究所,杭州,310027;浙江工商大学,计算机与信息工程学院,杭州,310018 2. 浙江大学,人工智能研究所,杭州,310027 3. 浙江工商大学,计算机与信息工程学院,杭州,310018 |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划)，浙江省科技计划项目 |
| 摘 要： | 利用非循环定义的概念可展开的特性,提出一个基于子句重构的增强Tableau算法.采用最简洁的概念合取子句代替原来的子概念集对完整树/图上的结点进行标记,并设计一组推理规则以构建这样的完整树/图,从而消除传统Tableau算法中的∩-规则、∪-规则所带来的概念描述重复.因而在非循环定义概念可满足性判定问题上,空间性能有明显提高.此外,虽然文中只提供针对SI语言的规则和证明,可是这种处理思路同样适用于其它描述逻辑语言,因而具有一定的推广价值. |
| 关 键 词： | 增强Tableau 描述逻辑推理 可满足性 合取子句 |
An Enhanced Tableau Algorithm Based on Clause Reorganization |
|
| GU Hua-Mao,GAO Ji,WANG Xun,WU Hai-Yan.An Enhanced Tableau Algorithm Based on Clause Reorganization[J].Pattern Recognition and Artificial Intelligence,2009,22(4). | |
| Authors: | GU Hua-Mao GAO Ji WANG Xun WU Hai-Yan |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |
