卡斯滕·卢茨 用具体领域描述逻辑-调查。 （英语） Zbl 1082.03032号 Balbiani，Philippe（编辑）等人，《模态逻辑的进展》。第4卷。2002年10月在法国图卢兹举行的第四届会议（AiML 2002）的论文选集。伦敦：国王学院出版物（ISBN 0-9543006-1-0/pbk；0-9543006-2-9/hbk）。265-296 (2003). 摘要：描述逻辑（DL）是一系列逻辑形式主义，最初设计用于在人工智能中表示概念知识，与模态逻辑密切相关。在过去的二十年中，DL已成功应用于一系列有趣的应用领域。在大多数这些应用程序中，重要的是为DL配备表达手段，使其能够描述真实世界对象的“具体特性”，如重量、温度和空间延伸。标准方法是用所谓的具体域来扩充描述逻辑，具体域由一个集合（比如有理数）和一组在这个集合上有固定扩展的\（n \）元谓词组成。然后，DL和具体领域之间的“接口”由一个新的逻辑构造函数提供，据我们所知，该构造函数在模态逻辑中没有对应项。本文概述了具有具体域的描述逻辑，并总结了文献中的可判定性和复杂性结果。关于整个系列，请参见[Zbl 1062.03008号]. 引用于1审查引用于18文件 MSC公司： 03B70号 计算机科学中的逻辑 68T27型 人工智能中的逻辑 68立方英尺 知识表示 关键词：调查；描述逻辑；可判定性；复杂性 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutz}，in：模态逻辑的进展。第4卷。2002年10月在法国图卢兹举行的第四届会议（AiML 2002）的论文选集。伦敦：国王学院出版。265--296（2003；Zbl 1082.03032）