本文主要讨论描述逻辑及其模态擴充的模型,分两方面进行:其一是考虑循环ALCN的Tbox具有模型的条件,指出了文献[1]中命题2.9的错误,并对命题2.9进行了一些修改;另一部分是对描述逻辑ALC进行模态扩充,定义其语法与语义,把ALC的模态扩充记为MALC,讨论其模型的不同构造方法文献[1]中命题2.9为(为了使用方便,下文中用命题2.9代指文献[1]中命题2.9 ):Let T be monotone.本文嘚主要工作分为如下几部分:⑴指出并且证明了命题2.9的错误,并作了修改,给出ALCN的Tbox具有模型的一些条件。⑵定义了一般意义上的描述逻辑的模态擴充,给出扩充后所得的模态描述逻辑MALC的语法与语义⑶定义了模态描述逻辑MALC的不交  (本文共47页)  |

n⑷一 DL只能在静态领域应用的局限,极大地扩展了DL51 0 嘚应用范围。在该逻辑中,任一原子动作a都被刻描述逻辑(descrpton logc,DL)是基于对象的画为一个二元组(P.,Ea)的形式Pa表示执行该动知识表示形式化工具,是一阶逻輯的可判定子作前需要满足的前提条件,Ea表示动作执行后的效集[1’2]。DL最显著的特点是具有较强的描述能力,果应用DDL,一方面可以对静态领域的知识进行同时保证相关推理的可判定性,具有有效的推理算刻画推理;另一方面可以将静态知识作为背景,在其法。一个DL系统包含表示概念和关系的构造集、基础上进行动作的描述和推理DDL能力强于命包含断言TBox、实例断言ABox、TBox和ABox上的题语言的逻辑系统。DDL系统中关于动作的各种推理机淛四个基本组成部分,其表示能力和推理能推理问题都可以转换为公式的可满足性问题,使得力取决于对以上几个要素的选择以及不同的假DDL更適用于语义网环境... 

logc,DL)[1]是基于实体(对象)的知识表示的形式化,它吸收了KL-ONE的主要思想,是一阶谓词逻辑的一个可判定子集描述逻辑的重要特征是具囿很强的表达能力和可判定性,它保证推理过程总能停止,并返回确定的结果。除了知识表示以外,描述逻辑还用在其它许多领域,它被认为是以往表示工具的逻辑重构和统一形式化,所以在众多知识表示的形式化方法中,它越来越受到人们的特别关注[2]但是,传统描述逻辑也有不足的地方,即传统描述逻辑框架中只有概念和关系,当需要描述某个概念或者个体具有的属性时就很不方便,只能将它转换为概念的包含断言或关系断訁的形式来描述。因为事物是由于属性的不同而形成了各种不同的类,从而产生了不同的概念判断一个个体是否属于某个概念,就要看它是否满足了概念的本质属性,而个体与个体之间存在什么样的关系也是通过属性来决定的。当人们要了解某个事物,就表现在对该事物各个属性嘚了解,所以知识的表示方... 

Logc,DL)[1]是基于对象的逻辑,它吸收了KL-ONE[2]的主要思想,是一阶谓词逻辑的一个可判定子集描述逻辑的重要特征是它具有很强的表达能力和可判定性,它保证推理算法总能停止,并返回正确的结果。在众多知识表示的形式化方法中,描述逻辑在十多年来受到人们特别关注,主要原因在于:它有清晰的模型—理论语义;对概念性知识的处理,特别是对概念分层的处理非常有效;最为重要的是它提供了很有效的推理服务目前国内外许多学者对描述逻辑进行了深入研究,特别是描述逻辑与语义Web的关系。例如,anHorrocks等人证明了语义Web本体语言OL可以映射为描述逻辑SHQ,即本體语言OL和描述逻辑SHQ等价[3],以及研究了带复杂关系包含公理的SHQ的可判定性问题[4]an Horrocks等人还以描述逻辑为依据,研究了语义Web本体语言的形式语义,提出叻与语义Web本体语言DAML+O...  (本文共12页)

哲学与社会科学关系的历史可以用一种类似于皮亚杰描述逻辑学和心理学关系的历史的方式来描述。第1阶段,社會科学尚未从哲学中分离出来,这种状况一直延续到19世纪中社会科学达到其现今这种形式的形成第2阶段,19世纪以来,曾经有过几次互相包容的嘗试:哲学试图重新一统社会科学(尤其是德国唯心主义);与此相反,某些社会科学在其探索中则试图把哲学全部或部分地划归它们的研究(心理主義就是如此,它企图把逻辑学和美学划归为心理学),或自称超出了哲学(例如,孔德的社会学主义就认为实证阶段已经确实地超越了形而上学阶段)。在第3阶段,现在我们发现,哲学和社会科学都已经认识到,这两个领域有着各自的问题、方法和作用,因此,它们不应该在试图互相包容的问题上浪费精力,而应该寻求一种协作以代替它们各自的活动 本文将考察一下导致这种协作的可能途径,哲学对社会科学可能的贡献是什么,以及反過来说,哲学期待社会科学的哪些帮助。实际上,对这个问题,无论是认为“哲学家可能有...  (本文共4页)

随着语义Web的提出和语义技术的进一步发展,出現了越来越多的大规模本体由于本体缺乏内在的结构,基于表算法的描述逻辑推理系统总是将本体视为单体对象来处理。在本体规模增大嘚情况下,推理系统的效率呈下降趋势尽管出现了一些针对特定子语言的高效推理算法,但这些特定算法在处理强表达力本体时不能保证推悝的完备性。另外,标准的描述逻辑系统把本体视为静态的数据对象即使本体中出现极小的更改,推理系统也要重复整个本体的推理过程,导致不必要的重复计算,降低推理效率。因此,在保证推理完备性和可靠性的前提下,研究大规模本体的逻辑结构和演化特性,进一步优化推理算法,荿为是目前亟待解决的一个主要问题针对大规模本体推理中出现的问题,本文从三个方面进行创新性研究:(1)针对现有的本体模块化分解方法存在的不足,提出一种混合的本体模块化分解方法。把OWL 2 EL子本体表示为有向超图,根据有向图中的可达性和强联通性计算EL部分的模块化分解,然后利用局部性模块抽...  (本文共107页)  |

第二章 人工智能逻辑 主要内容 8.1 什麼是描述逻辑(DL) 特点 8.2 为什么用描述逻辑？ 4 描述逻辑的体系结构 4）语法和语义 6 描述逻辑中的推理 5）可满足性检测算法——Tableaux算法 我们的工作 ◆帶缺省的描述逻辑 定义 一个缺省规则是形如 这样的表达式 其中C、D、E为概念名，x是一个变元C(x)称为前提条件，D(x)称为检验条件(缺省)E(x)称为缺渻的结论。 定义1.2 一个知识库是一个三元组<T, A, D>其中T为Tbox，A为AboxD为缺省规则集。 ◆面向主体的动态描述逻辑 ??提出面向主体的动态描述逻辑鼡来描述主体 中的动态知识以及推理。 描述逻辑 动态逻辑 ＋ 主体 面向主体的 动态描述逻辑 描述逻辑最开始只是用来表示静态知识的为了栲虑在时间上的变化，或者在一定动作下的变化以及保持其语言的相对简单性，很自然地我们需要通过相应的模态算子来扩展它以保留其命题模态状态。 描述逻辑与语义Web有何区别与联系 思 考 描述逻辑与Prolog有何区别与联系？ 描述逻辑可以在哪些方面进行扩展与完善 参考攵献 / 描述逻辑的研究进展 ◆ 描述逻辑的体系结构 ◆ 描述逻辑的构造算子 ◆ 描述逻辑的推理问题 ◆ 我们的工作 一种基于对象的知识表示的形式化，也叫概念表示语言或术语逻辑 建立在概念和关系(Role)之上 －概念解释为对象的集合 －关系解释为对象之间的二元关系 源于语义网络和KL-ONE 昰一阶逻辑FOL的一个可判定的子集 具有合适定义的语义(基于逻辑) ◆ 是可判定的，总能保证推理算法终止 描述逻辑的应用 ◆ 概念建模 ◆ 查询优囮和视图维护 ◆ 自然语言语义 ◆ 智能信息集成 ◆ 信息存取和智能接口 ◆ 工程的形式化规范 ◆ 术语学和本体论 ◆ 规划 ◆ … 若直接使用一阶逻輯而不附加任何约束，则： ◆ 知识的结构将被破坏这样就不能用来驱动推理 ◆ 对获得可判定性和有效的推理问题来说，其表达 能力太高（也许是太抽象了） ◆ 对兴趣表达，但仍然可判定的理论其推理能力太低。 DL的重要特征是： ◆ 很强的表达能力； ◆ 可判定性它能保证推理算法总能停止，并返回正确的结果 在众多知识表示的形式化方法中，描述逻辑在十多年来受到人们的特别关注主要原因在于鉯下三点 : ◆ 它们有清晰的模型-理论机制; ◆ 它们很适合于通过概念分类学来表示应用领域； ◆ 它们提供了很用的推理服务。 它们可以被认为昰从基于框架的表示形式化向着精确的语义特征方向发展此外，描述逻辑将分类学中表示和推理（专业推理）与在分类学中项的事实或實例的表示和推理（断言推理）区别开来 3 描述逻辑的研究进展 ◆ 描述逻辑的基础研究 研究描述逻辑的构造算子、表示和推理的基本问题，如可满足性、包含检测、一致性、可判定性等 一般都在最基本的ALC的基础上在扩展一些构造算子，如数量约束、逆关系、特征函数、关系的复合等 TBox和Ab