Logically automorphically equivalent knowledge bases models
Elena Aladova, Tatjana L. Plotkin · Journal of Algebra and Its Applications · 2020
We study knowledge bases as a certain algebraic and model-theoretical structure. Algebraic model of a knowledge base allows to distinguish some algebraic and logical invariants of knowledge bases. In particular, our interest is to find out how these invariants are related to the informational equivalence of knowledge bases.