Armenian Journal of MathematicsVolume 1, Number 2
2008; 10–24
Shared with The Gufo

Automorphic Equivalence of Multi-modelsRecognition

Received: 2024-11-29 · Published: 2008-10-13

Shared article.
Original title
Automorphic Equivalence of Multi-modelsRecognition
Authors
Plotkin Tatjana, Marina Knyazhansky
Source journal
Armenian Journal of MathematicsVolume 1, Number 2
Published
2008-10-13
Licence
Creative Commons Attribution 4.0 International
Original
https://armjmath.sci.am/index.php/ajm/article/view/23

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…

Download Follow Updates