Natural Sciences, Mathematics, 2026
Automorphic Equivalence of Multi-modelsRecognition
This is an open access article distributed under the
Creative Commons Attribution License, which permits unrestricted use, distribution,
and reproduction in any medium, provided the original work is properly cited.
Submitted: 2024-11-29
© 2026 by author(s) and The Gufo Inc.
This work is licensed under Creative Commons Attribution–NonCommercial International License
(CC BY-NC 4.0).
Abstract
In this paper we provide an implementable formal al-gorithm for knowledge bases equivalence verification based on theformal definition of knowledge base given by B. I. Plotkin in hisworks and also study some important properties of automorphicequivalence of models. In addition we show that notion of auto-morphic equivalence is much wider than the notion of isomorphism.