知识库信息等价性的代数方法
An Algebraic Approach to Knowledge Bases Informational Equivalence
摘要：
本文从泛代数和代数逻辑的角度研究知识的概念。我们考虑的是基于一阶逻辑的一阶知识。我们定义了知识和知识库的类别。这些概念是为固定的知识主体定义的。引入了两个知识库信息等价的概念。我们在这个定义中使用范畴等价的思想。我们证明了有限模型有一个明确的方式来确定是否知识库是信息等价的
英文摘要：
In this paper we study the notion of knowledge from the positions of universal algebra and algebraic logic. We consider first order knowledge which is based on first order logic. We define categories of knowledge and knowledge bases. These notions are defined for the fixed subject of knowledge. The key notion of informational equivalence of two knowledge bases is introduced. We use the idea of equivalence of categories in this definition. We prove that for finite models there is a clear way to determine whether the knowledge bases are informationally equivalent
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
