Automorphic Equivalence of Multi-models Recognition

T. Plotkin, Marina Knyazhansky

Research output: Contribution to journalArticlepeer-review

Abstract

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
Volume1
Issue number2
StatePublished - 2008

Fingerprint

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

Cite this