[论文解读] Formal Concept Analysis and Resolution in Algebraic Domains

Pascal Hitzler, Matthias Wendt|ArXiv.org|Jan 9, 2003

Semantic Web and Ontologies参考文献 25被引用 9

一句话总结

本文在一致代数式连续完备偏序集（coherent algebraic cpos）中的文字逻辑 RZ 与形式概念分析（FCA）之间建立了正式对应关系。结果表明，FCA 中的概念闭包算子恰好对应于逻辑 RZ 中的一种特殊实例化推理规则，且有限形式上下文的概念格在域论设定下同构于由单元素生成的、逻辑封闭的理论集合。

ABSTRACT

We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show how to identify the notion of formal concept in the domain theoretic setting. In particular, we show that a special instance of the resolution rule from the domain logic coincides with the concept closure operator from formal concept analysis. The results shed light on the use of contexts and domains for knowledge representation and reasoning purposes.

研究动机与目标

• 通过建立其核心构造之间的正式对应关系，弥合形式概念分析与域论逻辑之间的鸿沟。
• 证明形式概念分析中的概念闭包算子恰好对应于一致代数式连续完备偏序集上逻辑 RZ 中的特定归结规则。
• 证明有限形式上下文的概念格在域论设定下自然地表现为由单元素生成的、逻辑封闭的理论集合。
• 探讨 FCA 中的上下文属性逻辑如何在逻辑 RZ 的域论框架中重新出现。
• 为将域论用作知识表示框架、逻辑 RZ 用作人工智能中的推理机制奠定基础。

提出的方法

• 将有限形式上下文映射为有限带点偏序集（一致代数式连续完备偏序集），以建立知识的域论表示。
• 识别逻辑 RZ 中的单元素生成理论，并证明其构成一个完全格，且与底层偏序集的 Dedekind-MacNeille 完备化同构。
• 确立在逻辑 RZ 中，当将归结规则应用于单元素生成的子句时，其效果恰好复现了 FCA 中的概念闭包算子。
• 利用逻辑 RZ 中“逻辑封闭理论”的概念，从域论视角重构概念格的结构。
• 证明上下文属性逻辑（例如“dog ⇒ mammal”类的蕴含）自然地作为逻辑 RZ 框架中的一个子集出现。
• 应用逻辑 RZ 的语义，包括单调与连续算子 TP，以在域论设定下建模逻辑蕴含与程序语义。

实验结果

研究问题

• RQ1 在一致代数式连续完备偏序集的背景下，形式概念分析与逻辑 RZ 如何实现正式关联？
• RQ2 FCA 中的概念闭包算子是否对应于域论逻辑中的已知推理规则？
• RQ3 有限形式上下文的概念格能否在逻辑 RZ 中作为一组逻辑封闭理论被重构？
• RQ4 FCA 中的上下文属性逻辑如何在逻辑 RZ 框架中重新出现？
• RQ5 这种对应关系对使用域论进行人工智能中的知识表示与推理有何启示？

主要发现

• 形式概念分析中的概念闭包算子在一致代数式连续完备偏序集上，恰好对应于逻辑 RZ 中归结规则的一个特殊实例。
• 逻辑 RZ 中所有单元素生成的、逻辑封闭理论的集合构成一个完全格，且与底层有限偏序集的 Dedekind-MacNeille 完备化同构。
• 有限形式上下文的概念格在结构上等价于逻辑 RZ 中逻辑封闭理论的格，建立了完全的一一对应关系。
• 上下文属性逻辑（如属性之间的蕴含，例如“dog ⇒ mammal”）自然地作为逻辑 RZ 框架中的一个子集重新出现。
• 逻辑 RZ 中的逻辑蕴含关系捕捉到了与 FCA 中概念形成相同的推理结构，验证了域论逻辑在知识表示中的适用性。
• 由于拓扑与完备性问题，特别是在 Dedekind-MacNeille 完备化下 Scott 拓扑的非不变性，该对应关系在无限情况下失效。