arXiv:2502.09224v1 通告类型: 新 摘要: 子类型化，也称为子类型多态性，是编程语言理论中广泛研究的概念，用于定义不同类型之间的替换关系。这一特性确保了为超类型对象设计的程序与它们的子类型保持兼容。 在本文中，我们探讨了有序排序逻辑在知识表示领域利用这些概念的能力。我们认识到两个基本限制：首先，这种逻辑无法处理非逻辑符号的概念而仅处理其值；其次，缺乏用于限制项类型的语言构造。因此，我们提出了一种受保护的有序排序意向性逻辑，其中受保护是用于标注类型信息的语言构造，意向性逻辑则提供了对概念进行量化的支持。