[论文解读] Distributed Conceptual Structures

Robert E. Kent|arXiv (Cornell University)|Oct 10, 2018

Rough Sets and Fuzzy Logic被引用 3

一句话总结

本文通过范畴论将信息流（IF）与形式概念分析（FCA）统一起来，将FCA的基础定理扩展至分布式知识系统。通过函数建立分类与概念格之间的范畴等价，通过关系建立纽带与完备伴随之间的范畴等价，从而弥合了形式系统中知识分布与知识构念之间的鸿沟。

ABSTRACT

The theory of distributed conceptual structures, as outlined in this paper, is concerned with the distribution and conception of knowledge. It rests upon two related theories, Information Flow and Formal Concept Analysis, which it seeks to unify. Information Flow (IF) is concerned with the distribution of knowledge. The foundations of Information Flow is explicitly based upon a mathematical theory known as the Chu Construction in *-autonomous categories and implicitly based upon the mathematics of closed categories. Formal Concept Analysis (FCA) is concerned with the conception and analysis of knowledge. In this paper we connect these two studies by extending the basic theorem of Formal Concept Analysis to the distributed realm of Information Flow. The main results are the categorical equivalence between classifications and concept lattices at the level of functions, and the categorical equivalence between bonds and complete adjoints at the level of relations. With this we hope to accomplish a rapprochement between Information Flow and Formal Concept Analysis.

研究动机与目标

• 在统一的数学框架内统一信息流（IF）与形式概念分析（FCA）的理论。
• 将FCA的核心定理扩展至IF的分布式环境，实现知识分布与知识构念之间形式上的关联。
• 建立链接功能结构与关系结构在概念知识表示中的范畴等价。
• 通过范畴论工具，弥合知识流研究与概念结构分析之间的差距。
• 证明在函数下概念格与分类是范畴等价的，且在关系下纽带与完备伴随是范畴等价的。

提出的方法

• 以*-自伴范畴中的Chu构造作为建模信息流的基础数学框架。
• 应用闭范畴理论以支撑IF的范畴结构，确保对偶性与完备性。
• 通过将概念格重新解释为集合之间的函数，将FCA的基本定理扩展至分布式领域。
• 通过在关系范畴中将纽带建模为完备伴随，引入FCA的关系形式化。
• 在函数层面上建立分类与概念格之间的范畴等价。
• 在关系层面上建立纽带与完备伴随之间的范畴等价。

实验结果

研究问题

• RQ1 如何将形式概念分析扩展至信息流的分布式环境？
• RQ2 在函数背景下，分类与概念格之间存在何种范畴等价？
• RQ3 FCA中概念格结构的关系对应物是什么，它与完备伴随有何关系？
• RQ4 能否构建一个统一框架，连接知识分布（IF）与知识构念（FCA）？
• RQ5 *-自伴范畴与Chu构造在形式化分布式概念结构中扮演何种角色？

主要发现

• 在函数层面上建立了分类与概念格之间的范畴等价，证明了在分布式函数环境下结构同构性。
• 在关系层面上证明了纽带与完备伴随之间的范畴等价，将FCA的关系基础扩展至分布式系统。
• 本文通过范畴论对偶性与Chu构造，成功统一了信息流与形式概念分析。
• *-自伴范畴与闭范畴为基础的数学框架，为建模分布式知识表示提供了坚实基础。
• 结果表明，概念格可通过基于函数的等价性自然嵌入分布式系统。
• 关系形式化揭示了FCA中的纽带恰好对应于关系范畴中的完备伴随，丰富了知识结构与知识流之间的对偶性。