模糊描述逻辑(&)-ALCN

• 作者: 刘真环 李梅 李淑英 王驹 蒋运承
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 描述逻辑 完备格 (&)-解释 tableau算法 一致性问题
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 人工智能
• 页码范围: 619-625
• 页数: 7页
• 分类号: TP18
• 字数: 5900字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王驹	广西师范大学计算机科学与信息工程学院	53	458	11.0	19.0
2	蒋运承	广西师范大学计算机科学与信息工程学院	44	591	15.0	23.0
3	李梅	广西师范大学数学科学学院	32	121	6.0	9.0
4	刘真环	广西师范大学数学科学学院	2	5	1.0	2.0