描述逻辑中概念的匹配推理研究现状和存在的问题

描述逻辑中概念的匹配推理研究现状和存在的问题
摘要：描述逻辑除了知识表示外，在众多领域均有使用。

描述逻辑有着强大的表达能力，是知识形式化表现的重要方式。

今年来描述逻辑受到了人们的极大关注，关于描述逻辑中概念的匹配推理的研究逐渐增多及深入。

该文对描述逻辑中概念的匹配推理研究现状进行分析，探讨现存的问题并提出一些解决办法。

关键词：描述逻辑；概念的匹配推理；研究现状；问题
中图分类号：tp391 文献标识码：a 文章编号：1009-3044（2013）14-3379-02
描述逻辑在众多领域中被广泛使用，因此对描述逻辑中概念的匹配推理进行研究也就越加重要。

目前描述逻辑被作为知识表示的工具应用在众多领域，像数据库软件工程、信息系统、规划及网络职能访问中等均有使用。

描述逻辑有着清晰的理论机制，对于这些应用领域有着重要的作用，同时可以提供众多重要的推理服务，而描述逻辑中概念的匹配推理是描述逻辑运用中的重要环节。

1 描述逻辑及逻辑推理的概念及应用
描述逻辑是把描述对象通过知识表示的一中形式化，依据kl-one 的主要思想，是一阶谓词逻辑的一个可判定子集。

描述逻辑有着极强的表达能力，同时有着明显的可判断信号，因此，在推理验算中总是可以有效终止，并返回到正确结果。

目前网络知识在表达中主要接受并使用的语言工具就是描述逻辑，主要是由于描述逻辑有以下几点优势：描述逻辑模型-理论语义清晰，在处理概念分层是有
着显著的作用，同时描述逻辑可以提供有效准确的推理机制共使用。

因此在人工智能及计算机科学中被作为重点进行研究，通过研究者的深入研究，描述逻辑在服务计算、概念建模、语义web、数据库及软件工程领域取得了巨大的成就。

2 描述逻辑中概念的匹配推理的发展与研究现状
描述逻辑最初是用在静态知识的描述中。

这种运用的使用范围较为狭窄，同时存在着一些缺陷，对时间及动作表示较差，为了使表示言语简单，通常利用相对应模态算子来对其进行扩展。

schild和schmiedel在对认知逻辑及时序描述逻辑进行构造研究时，发现可判断性受到表达能力的限制。

laux和baader进行了优化，将描述逻辑中的alc与多态k结合，将模态算子运用到概念及公式中并进行了验证，并证明了结果语言的可判定性。

wolter等研究学者深度调查研究模态算子的描述逻辑后，同时对时序描述逻辑及认知时序逻辑在恒定领域假设条件下进行折中，并将两种命题动态逻辑pdl 及描述逻辑进行结合，提出了动态描述逻辑。

e.franconi和
a.artale为了使动作和规划能在统一的框架下进行表示和推理，一种新的知识表示系统，将规划、动作及状态通过时间约束统一，同时与描述逻辑进行整合，使得描述逻辑得到了较大的发展。

描述逻辑推理的核心问题是可满足性问题，逻辑中的很多问题都可以发展为可满足性问题。

smolka和schmidt-schaub为了对可满足性问题进行自动判断，建立了tableau算法，目前已在多种描述逻辑中广泛应用。

f.baader将模态操作引入描述逻辑，实现了描述
逻辑处理模态词的功能。

目前描述逻辑的主要工作聚集在多维描述及模态公理的问题上，a.schmiedel第一个提出整合时间方法；schild则提出了另外简单的时序扩张办法。

4 结束语
描述逻辑的概念匹配推理在不断的发展与研究中，随着现代计算机技术的发展以及各应用领域的需要，对描述逻辑进行不断的研究与深化有助于推动改系统的发展，目前描述逻辑的概念匹配推理已经得到了较大的发展，然而随着新的科学技术的发展及应用中新的问题的出现，现有的描述逻辑的概念匹配推理已经不适应需要，因此，要对描述逻辑进行不断的深入研究，从而促进相关技术的发展与推广。

参考文献：
[1] 王驹，蒋运承，申宇铭.描述逻辑系统vl循环术语集的可满足性及推理机制[j].中国科学f辑，2009，23（2）：205-211. [2] 张维，曹发生，余泉.描述逻辑系统eln中的概念包含推理算法研究[j].毕节学院学报，2010，8（28）：9-13.
[3] franz baader.the instance problem and the most specific concept in the description logic elw.r.t.ter- minological cycles with descriptive semantics[c].in proceedings of the 26th annual german conference on artificial intelligence，volume 282 1 of lecture notes in artificial intelligence，hamburg，germany：springer- verlag，2003：64-78.。