Automorphic Equivalence of Multi-modelsRecognition

Author(s)

Automorphic Equivalence of Multi-modelsRecognition Plotkin Tatjana

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.

DOI: https://armjmath.sci.am/index.php/ajm/article/view/23 Armenian Journal of MathematicsVolume 1, Number 2 10–24

Download PDF

Keywords

Knowledge base, implementable formal algorithm, au-tomorphic equivalence of models

Check for updates

Share

Contact admin with any questions, comments or concerns

[email protected]