模糊描述逻辑L-ALCN

被引：7

作者：

李淑英 ^{[1
]}

李梅 ^{[1
]}

蒋运承 ^{[2
]}

王驹 ^{[2
]}

刘真环 ^{[1
]}

机构：

[1] 广西师范大学数学科学学院

[2] 广西师范大学计算机科学与信息工程学院

来源：

计算机研究与发展 | 2008年 / 04期

关键词：

描述逻辑; 完备格; L-解释; tableau算法; 一致性问题;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

为了使描述逻辑能够处理更一般化的模糊信息,Straccia给出了基于完备格的L-ALC描述逻辑系统.在该方法的基础上,提出了带数量约束算子的L-ALCN系统,给出了L-ALCN的语法,并详细给出了概念(≥nR)和(≤nR)的语义.经典的描述逻辑系统中引入了数量约束算子后,角色R就出现了多个后继.当系统的真子集扩充到完备格时,角色R的后继和断言的真值同时出现了多个.为了保证推理算法的合理性且得到可行的计算复杂度,引入了一个特殊的集合DL(c),并且利用集合DL(c)扩展了完备格上的两条运算性质.在这些工作的基础上,深入研究了系统的推理算法,并证明了算法的终止性、可靠性与完全性.相对于L-ALC,系统L-ALCN具有更强的表达能力,并且L-ALCN的计算复杂度是Pspace完全的.

引用

页码：619 / 625

页数：7