Plotkin, Tatjana; Knyazhansky, Marina Automorphic equivalence of multi-models recognition. (English) Zbl 1281.68051 Armen. J. Math. 1, No. 2, 10-24 (2008). Summary: In this paper we provide an implementable formal algorithm for knowledge bases equivalence verification based on the formal definition of knowledge base given by B. I. Plotkin in his works and also study some important properties of automorphic equivalence of models. In addition we show that notion of automorphic equivalence is much wider than the notion of isomorphism. Cited in 1 Document MSC: 68M20 Performance evaluation, queueing, and scheduling in the context of computer systems 68T99 Artificial intelligence 08C05 Categories of algebras Keywords:knowledge base; implementable formal algorithm; automorphic equivalence of models PDFBibTeX XMLCite \textit{T. Plotkin} and \textit{M. Knyazhansky}, Armen. J. Math. 1, No. 2, 10--24 (2008; Zbl 1281.68051)