带三种否定的形式概念分析
Formal Concept Analysis with Three Types of Negation
浏览论文内容
中文总结 AI 辅助
本文针对经典形式概念分析缺乏否定处理机制的局限，引入三类否定概念提出FCACOI，基于LCOI+PLCOI建立其属性蕴含推理逻辑基础，还探索其属性约简框架，拓展了FCA的描述能力。
中文摘要 AI 辅助
经典形式概念分析（FCA）主要关注对象与属性之间的正相关关系，缺乏处理否定的机制。为克服这一局限，本文引入三类否定概念（矛盾否定、对立否定、中介否定），基于集合SCOI与带有这三类否定的逻辑LCOI+PLCOI，定义形式背景、伽罗瓦连接算子、形式概念及带三类否定的概念格，进而提出FCACOI：带矛盾否定、对立否定和中介否定的形式概念分析。在FCACOI的推理中，本文聚焦属性蕴含推理，基于逻辑LCOI+PLCOI及其语义，引入ICOI-衍推作为FCACOI中属性蕴含推理的语义衍推，通过ICOI-衍推建立FCACOI中属性蕴含推理与逻辑LCOI+PLCOI推理的联系，表明LCOI+PLCOI中形式证明的推理规则（定理）在FCACOI的属性蕴含推理中有效，LCOI+PLCOI为FCACOI的属性蕴含推理提供逻辑基础。为说明FCACOI中属性蕴含推理的能力，本文讨论其在具体实例中的应用，还探索FCACOI形式背景的属性约简，从不同视角提出两种属性约简研究框架并进行比较。本文认为，基于更丰富的逻辑与语义，FCACOI将FCA从仅描述肯定的理论提升为可描述肯定及其矛盾（非此即彼）、对立（极端否定）和中介（对立间的过渡状态）的理论。
英文摘要
Classic Formal Concept Analysis (FCA) primarily focuses on the positive relationships between objects and attributes and does not have mechanisms for handling negation.To overcome this limitation, we introduce three types of negation concepts (contradictory negation, opposite negation, intermediary negation) into FCA.Based on the set SCOI and logic LCOI+PLCOI with these three types negation, we define formal context, Galois connection operators, formal concept and concept lattice with three types of negation,this leads to the proposal of a FCACOI: Formal Concept Analysis with contradictory negation, opposite negation and intermediary negation.For the reasoning in FCACOI, this paper focuses on attribute implication reasoning. Based on the logic LCOI+PLCOI and its semantics, we introduce the notion of ICOI-entailment as the semantic implication for attribute implication reasoning in FCACOI. Through ICOI-entailment, a connection is established between attribute implication reasoning in FCACOI and inference in the logic LCOI+PLCOI, it indicate that formally proven inference rules (theorems) in LCOI+PLCOI are valid in the attribute implication reasoning of FCACOI, LCOI+PLCOI provides a logical foundation for attribute implication reasoning in FCACOI. To illustrate the capability of attribute implication reasoning in FCACOI, we discuss its application in a concrete example. Moreover, we explore attribute reduction of the formal context in FCACOI, propose two research frameworks for attribute reduction from different perspectives, and compare their characteristics.We believe that, based on richer logic and semantics, FCACOI elevates FCA from a theory that describes affirmations to one that can describe affirmations and its contradiction(either this or that), opposition(extreme negation) and intermediary (transitional states between oppositions).
发表机构
- Jiangnan University（江南大学）
机构由 AI 辅助整理，请以论文原文为准。
