描述逻辑的非标准推理及其应用

• 作者: 刘磊 张银平
• 来源期刊: 吉林大学学报（理学版）
• 学科: 工学
• 关键词: 描述逻辑 概念收缩 概念诱导
• 年，卷（期）: 2007,（5）
• 所属期刊栏目: 计算机科学
• 页码范围: 800-804
• 页数: 5页
• 分类号: TP311
• 字数: 3453字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-5489.2007.05.023

摘要

用描述逻辑中的两种非标准推理概念收缩和概念诱导, 分别扩展了可满足性问题和包含问题, 以解决供应与需求的匹配问题, 并提出了改进的排序算法以及有助于完善供需双方资源和需求描述的算法. 结果表明, 改进后的排序算法有利于供需双方的交互, 并且能够尽快排除因为严格特性而部分匹配的供应和需求, 从而加快算法的运行速度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
2	张银平	吉林大学计算机科学与技术学院	3	17	2.0	3.0