描述逻辑ALC中的ABOX反绎推理算法

• 作者: 古天龙 常亮 马严伟
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: 反绎推理 ABOX反绎推理问题 Tableau 知识库一致性
• 年，卷（期）: 2012,（3）
• 页码范围: 217-221
• 分类号: TP301
• 字数: 3562字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2012.03.011

摘要

鉴于已有的描述逻辑ALC中ABOX反绎推理算法需要转化到FOL上处理,涉及了大量变元和Skolem项的使用.ALC-Tableau可以避免大量变元和斯科伦项,给出了一种直接在ALC上处理ABOX反绎推理问题的算法.该算法将ABOX反绎推理问题转化为知识库的一致性问题,在此基础上结合反绎推理的自身特性对传统的Tableau构造过程进行扩充,最终借助一个回溯过程找出反绎问题的所有解.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子科技大学计算机科学与工程学院	207	1546	18.0	30.0
2	常亮	桂林电子科技大学计算机科学与工程学院	77	450	12.0	17.0
3	马严伟	桂林电子科技大学计算机科学与工程学院	1	0	0.0	0.0