认知和时态自由描述逻辑中的非刚性指示符（扩展版本）
摘要：描述性定义，例如“太阳系中最小的行星”，最近被认为是知识表示形式中对象识别的语义透明机制。它们与个体名称一起，还被引入到描述逻辑语言的背景中，丰富了标准名词构造的表达能力。此外，在一阶模态逻辑文献中，已广泛研究了描述性定义的非刚性行为，使它们能够在不同状态下指代不同的对象。在这个方向上，我们引入了标准描述逻辑的认知和时间扩展，其中包括名词和全域角色，并额外配备了描述性定义构造器。关于名称和描述，在这些语言中，我们允许存在可能的缺乏指称，通过部分模型来确保，这些模型来自于自由逻辑语义作为对经典语义的一般化；以及非刚性指定特征，通过在不同状态下给术语分配不同的值来获得，与个体表达式的标准刚性条件相对立。在没有刚性指定符假设的情况下，我们证明了认知自由描述逻辑的可满足性问题是NExpTime完全的，而线性时间结构上的时间自由描述逻辑的可满足性是不可判定的。
作者：Alessandro Artale, Andrea Mazzullo
论文ID：2308.08640
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-21