| 基于子句的ALCN语言tableau算法增强方式 |
| |
| 引用本文： | 古华茂,石锦芹,高济.基于子句的ALCN语言tableau算法增强方式[J].东南大学学报,2008,24(3). |
| |
| 作者姓名： | 古华茂 石锦芹 高济 |
| |
| 作者单位： | [1]浙江大学人工智能研究所,杭州310027 [2]浙江工商大学计算机与信息工程学院,杭州310018 [3]浙江工商大学食品感官科学实验室,杭州310018 |
| |
| 基金项目： | 国家自然科学基金，浙江省自然科学基金 |
| |
| 摘 要： | 由于目前tableau算法在判断概念可满足性时会产生大量的描述重复（因而浪费了很多空间）,针对描述逻辑语言ALCN提出了一种基于子句重构的tableau增强方式.该增强方式对概念描述先构建一个析取范式,并只保留其中的一个合取子句,然后用这个获得的最简的概念合取子句去取代传统tableau算法构建的完整树的结点标记中的子概念集（这个过程根据需要可重复多次）.由于避免了传统tableau算法因∩-,∪-规则所带来的大量的概念描述重复,这种增强方式在空间性能上有了非常大的改善.通过例子示范了这种增强方式的运用及其在空间性能上的改善程度.结果表明,这种改善是相当明显的.
|
| 关 键 词： | tableau算法 增强方式 子句 可满足性 |
Clause-based enhancing mode for tableau algorithm for ALCN |
| |
| Gu Huamao,Shi Jinqin,Gao Ji.Clause-based enhancing mode for tableau algorithm for ALCN[J].Journal of Southeast University(English Edition),2008,24(3). |
| |
| Authors: | Gu Huamao Shi Jinqin Gao Ji |
| |
| Abstract: | |
| |
| Keywords: | tableau algorithm enhancing mode clause satisfiability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
