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.

‹ 1 / ? › − 100% + Open in new tab Download Cite

Loading the full text…