arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1810.04774cs.LO
收藏

分布式概念结构

Distributed Conceptual Structures

Robert E. Kent

摘要:

分布式概念结构理论,如本文所概述的,是关于知识的分布和概念。它依赖于两个相关的理论,信息流和形式概念分析,它试图统一。信息流(IF)是一种知识的传播。信息流的基础是明确地基于一个数学理论,称为 *-自治范畴中的Chu结构,并隐含地基于封闭范畴的数学。形式概念分析(FCA)是一种对知识进行概念化和分析的方法。在本文中,我们通过将形式概念分析的基本定理扩展到信息流的分布式领域来连接这两个研究。主要结果是分类与概念格在函数层次上的范畴等价,以及键与完全伴随在关系层次上的范畴等价。我们希望借此实现信息流和形式概念分析之间的和解。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑