描述逻辑(DescriptionLogic)是基于对象的知识表示的形式化,它吸取了KL-ONE的主要思想,是一阶谓词逻辑的一个可判定子集。除了知识表示以外,描述逻辑还用在其它许多领域,它被认为是以对象为中心的表示语言的最为重要的归一形式。描述逻辑的重要特征是很强的表达能力和可判定性,它能保证推理算法总能停止,并返回正确的结果。在众多知识表示的形式化方法中,描述逻辑在十多年来受到人们的特别关注,主要原因在于:它们有清晰的模型-理论机制;很适合于通过概念分类学来表示应用领域;并提供了很多有用的推理服务。

VIP内容

主题: Game Description Languages and Logics

摘要: 本教程概述了游戏描述逻辑,这是一个基于通用描述语言(GDL)的逻辑家族,用于表示一般游戏中的游戏。我们介绍了GDL的不同变体,并通过大量的游戏表示示例来说明它们。参加者将学习如何表现和推理游戏,以及GDL的基础知识,以便为认知和战略推理建立专门的扩展。

邀请嘉宾: Laurent Perrussel,法国图卢兹大学的IT教授,也是IRIT集团“逻辑、交互、语言和计算”的成员。

成为VIP会员查看完整内容
0
1
Top