LLM2D
基于对象偏好的形式概念分析的非单调扩展
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
作者: Lucas Carr, Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
发布日期: 10/8/2024
arXiv ID: oai:arXiv.org:2410.04184v1

摘要

形式概念分析 (FCA) 是一种创建概念层次结构的方法,其中从一个 \textit{形式上下文} 生成一个 \textit{概念格}。即,由对象集 $G$、属性集 $M$ 以及 $G \times M$ 上的关联关系 $I$ 组成的三元组。然后,一个 \textit{概念} 被建模为一对,包含一组对象(\textit{外延})和一组共享属性(\textit{内涵})。FCA 中的蕴涵描述了如何从一组属性推导出另一组属性。这些蕴涵的语义与经典逻辑中的逻辑推论非常相似。从这个意义上说,它描述了一个单调条件。本文的贡献有两个方面。首先,我们介绍了属性集之间的非单调条件,它假设对对象集的偏好。我们证明了这种条件会导致一个与 Kraus、Lehmann 和 Magidor 提出的非单调性公理(通常称为 KLM 公理)一致的推论关系。我们认为我们的贡献为 FCA 中的非单调性建立了一个强有力的特征。典型概念代表内涵与外延预期一致的概念,允许对概念进行容错视图。为此,我们证明了所有典型概念的集合是原始概念格的交半格。这个典型概念的概念是将 KLM 风格的典型性进一步引入 FCA,并且是开发表示原型概念概念格的代数结构的基础。