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.
No institution available
Mathematics
, 2025, Issue 1, pp. 1–10
ISSN Online: 0000-0000
DOI:
10.xxxx/example-doi