| 模糊描述逻辑L-ALCN |
| |
| 引用本文： | 李淑英,李梅,蒋运承,王驹,刘真环.模糊描述逻辑L-ALCN[J].计算机研究与发展,2008,45(4):619-625. |
| |
| 作者姓名： | 李淑英 李梅 蒋运承 王驹 刘真环 |
| |
| 作者单位： | [1]广西师范大学数学科学学院,桂林541004 [2]广东省佛山市顺德区大良实验中学,顺德528300 [3]广西师范大学计算机科学与信息工程学院,桂林541004 |
| |
| 基金项目： | 国家自然科学基金项目(60573010,60663001); 广西壮族自治区自然科学基金项目(0447032); 广西壮族自治区青年科学基金项目(0640030); 广西壮族自治区研究生教育创新计划基金项目(2007106020701M52) |
| |
| 摘 要： | 为了使描述逻辑能够处理更一般化的模糊信息，Straccia给出了基于完备格的L-ALC描述逻辑系统．在该方法的基础上，提出了带数量约束算子的L-ALCN系统，给出了望ALCN的语法，并详细给出了概念（≥n R）和（≤n R）的语义．经典的描述逻辑系统中引入了数量约束算子后，角色尺就出现了多个后继．当系统的真子集扩充到完备格时，角色R的后继和断言的真值同时出现了多个．为了保证推理算法的合理性且得到可行的计算复杂度，引入了一个特殊的集合DL（c），并且利用集合DL（c）扩展了完备格上的两条运算性质．在这些工作的基础上，深入研究了系统的推理算法，并证明了算法的终止性、可靠性与完全性．相对于L-ALC，系统L-ALCN具有更强的表达能力，并且L-ALCN的计算复杂度是Pspace完全的．
|
| 关 键 词： | 描述逻辑 完备格 L-解释 tableau算法 一致性问题 |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
