模糊的排序特征逻辑
摘要：对于有序特征（OSF）逻辑是一种基于表示函数的特征符号和排序在subsumption lattice中的表示集合的分类符号的知识表示和推理语言。OSF逻辑允许构建类别实体的记录式术语，这些术语本身也按照subsumption关系排序。对于这种结构的统一算法提供了一个有效的类型包容性的演算，已经应用于计算语言学中并在约束逻辑编程语言（如LOGIN和LIFE）以及自动推理器（如CEDAR）中实现。本文将OSF逻辑推广到模糊环境中。我们给出了模糊包容关系的灵活定义，它是Zadeh模糊集合的一般化。基于这一定义，我们定义了OSF逻辑的模糊语义，其中分类符号和OSF术语表示模糊集合。我们将子包容关系扩展到OSF术语，并证明它构成一个模糊偏序，其中两个OSF术语在清晰意义上彼此包容当且仅当它们的包容程度大于0。我们展示了如何通过统一它们找到两个OSF术语的最大下界，以及如何计算两个OSF术语之间的包容程度，并提供了这些操作的复杂度。
作者：Gian Carlo Milanese, Gabriella Pasi
论文ID：2307.14669
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-07-28