描述逻辑

编辑
本词条由“匿名用户” 建档。

描述逻辑(DL)是一个形式化知识表示语言的家族。许多DL比命题逻辑的表达能力强,但比一阶逻辑的表达能力弱。与后者相比,DL的核心推理问题(通常)是可解的,并且已经为这些问题设计和实现了有效的决策程序。有一般的、空间的、时间的、时空的和模糊的描述逻辑,每一种描述逻辑的特点是通过支持不同的数学构造器集,在表达能力和推理复杂性之间取得不同的平衡。DL在人工智能中被用来描述和推理一个应用领域的相关概念(称...

描述逻辑

编辑

描述逻辑(DL)是一个形式化知识表示语言的家族。许多DL比命题逻辑的表达能力强,但比一阶逻辑的表达能力弱。与后者相比,DL的核心推理问题(通常)是可解的,并且已经为这些问题设计和实现了有效的决策程序。有一般的、空间的、时间的、时空的和模糊的描述逻辑,每一种描述逻辑的特点是通过支持不同的数学构造器集,在表达能力和推理复杂性之间取得不同的平衡。DL在人工智能中被用来描述和推理一个应用领域的相关概念(称为术语知识)。它在为本体和语义网提供逻辑形式主义方面具有特别重要的意义:网络本体语言(OWL)及其配置文件是基于DLs的。DL和OWL最引人注目的应用是在生物医学信息学中,DL协助生物医学知识的编纂。

描述逻辑的引言

编辑

描述逻辑(DL)对概念、角色和个体及其关系进行建模。DL的基本建模概念是公理--与角色和/或概念相关的逻辑声明。这是与框架范式的一个关键区别,在框架范式中,框架规范声明并完全定义了一个类。与FOL和OWL相比的术语描述逻辑社区对操作上的等价概念使用了与一阶逻辑(FOL)社区不同的术语;下面给出了一些例子。网络本体语言(OWL)再次使用了不同的术语,也在下表中给出。

命名规则

编辑

描述逻辑有很多种类,有一个非正式的命名规则,大致上描述了允许的操作符。表达性被编码在一个逻辑的标签中,以下列基本逻辑之一开始。紧随其后的是以下任何一种扩展。

描述逻辑的例外

编辑

一些不完全适合这个惯例的典型DL是。

程序逻辑

这种方法的特点是DL的表达能力有限,但推理效率相对较高(多项式时间)。在90年代初,一种新的基于tableau的算法范式的引入允许在更具表达力的DL上进行高效推理。使用这些算法的基于DL的系统--如KRIS(1991)--在典型的推理问题上显示出可接受的推理性能,尽管最坏的情况下复杂度不再是多项式的。

内容由匿名用户提供,本内容不代表vibaike.com立场,内容投诉举报请联系vibaike.com客服。如若转载,请注明出处:https://vibaike.com/176846/

(5)
词条目录
  1. 描述逻辑
  2. 描述逻辑的引言
  3. 命名规则
  4. 描述逻辑的例外

轻触这里

关闭目录

目录