Automorphic Equivalence of Multi-models Recognition

T. Plotkin, Marina Knyazhansky

Research output: Contribution to journalArticlepeer-review


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.
Original languageAmerican English
Pages (from-to)10-24
JournalArmenian Journal of Mathematics
Issue number2
StatePublished - 2008


Dive into the research topics of 'Automorphic Equivalence of Multi-models Recognition'. Together they form a unique fingerprint.

Cite this