2003/12/23 by B. Plotkin, Plotkin, B., T. Plotkin +2
Computer Science · Mathematics · #03C05 #03G99 #08A70 #16B70 #Advanced Algebra and Logic #Category Theory (math.CT) #Constraint Satisfaction and Optimization #FOS: Mathematics #General Mathematics (math.GM) #Logic, Reasoning, and Knowledge #math.CT #math.GM #msc:03C05 #msc:03G99 #msc:08A70 #msc:16B70
paper · pdf · doi:10.48550/arxiv.math/0312428
34pp
arxiv created 2003/12/23 · openalex publication_date 2003/12/23 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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