基于互补概念和搜索图的MUPS求解优化方法

• 作者: 何加亮 崔仙姬 张俊星 高健
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 描述逻辑 本体调试 MUPS 互补概念 选择函数
• 年，卷（期）: 2018,（10）
• 所属期刊栏目: 本体工程与知识图谱专题
• 页码范围: 2995-3008
• 页数: 14页
• 分类号: TP18
• 字数: 14300字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005553

摘要

本体调试是人工智能中非标准推理任务之一,对于本体工程具有很重要的意义.结合互补概念与基于术语集的搜索图提出极小不可满足子术语集求解的优化方法.首先,通过判断扩展的术语集是否包含互补概念,确定该子术语集是否需要进行概念可满足性检测,可以有效减少推理机的调用次数.接着,根据术语集扩展过程构造一个术语集搜索图,分别采用宽度优先搜索和深度优先搜索策略快速查找不可满足子术语集.该优化方法一方面减少了待测子术语集的规模,另一方面提高了查找不可满足子术语集对应的节点的查找效率.最后,实现了所给出的各类优化算法并与现有的黑盒优化算法进行了比较.实验结果表明,该方法从推理机调用次数和待测术语集规模方面均优于现有的MUPS求解方法,能够有效提高求解术语集MUPS的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张俊星	大连民族大学信息与通信工程学院	40	101	6.0	7.0
2	何加亮	大连民族大学信息与通信工程学院	10	25	3.0	5.0
3	高健	大连海事大学信息科学技术学院	9	33	4.0	5.0
4	崔仙姬	大连民族大学信息与通信工程学院	5	4	1.0	2.0