Algebraic Logic and Knowledge Bases

Abstract

Knowledge bases theory provides an important example of the field where applications of universal algebra and algebraic logic look very natural, and their interaction with practical problems arising in computer science might be very productive. In this paper we study the equivalence problem for knowledge bases. Our interest is to find out how the informational equivalence is related to the logical description of knowledge. The main objectives of this paper are logically-geometrically equivalent and LG-isotypic knowledge bases. We will see that these notions give us a good characterization of knowledge bases.