逻辑学综述

描述逻辑研究方向

作为描述逻辑本身，其理论研究和发展主要在三个方面：

一是描述语言。提供具有逻辑语义的描述语言是描述逻辑的核心。描述语言的表达能力取决于引入的构造器（基本逻辑符号）。复杂的描述语言具有较强的表达能力，但也会导致推理、计算的复杂性。

二是推理算法。推理是描述逻辑提供的另一项强大功能。由于描述语言具有逻辑语义，能够通过自动推理，发现知识库中定义的隐含的知识（逻辑关系）。在一项查询中，人们总是希望在合理的时间里得到问题的答案，因此推理算法的效率对于能否构建使用的知识表示系统十分重要。

三是算法复杂性。人们总是希望用最强大的描述语言来描述世界，用最高的效率实现推理和查询。而表达能力强的描述语言总会导致复杂性问题，甚至基本的一致性和连续性检查都难以实现，更难以实现可使用的知识系统。这就需要人们在表达能力和效率中间寻求平衡。研究各种描述语言的各种推理算法的复杂性，对于描述逻辑本身的发展和应用具有十分重要的意义。
   以上摘自《http://hi.baidu.com/sunnybill/blog/item/5ee9aaa174ef058d4610648a.html》