An Algebraic Approach to Knowledge Base Models Informational Equivalence |
| |
Authors: | B Plotkin T Plotkin |
| |
Institution: | (1) Institute of Mathematics, Hebrew University, Givat Ram, 91904 Jerusalem, Israel;(2) Department of Computer Science, Bar Ilan University, 52900 Ramat Gan, Israel |
| |
Abstract: | 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 base models. These notions
are defined for the fixed subject of knowledge. The key notion of informational equivalence of two knowledge base models 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 base models are informationally equivalent. |
| |
Keywords: | 08A70 03G25 |
本文献已被 SpringerLink 等数据库收录! |
|