Automorphic Equivalence of Multi-models Recognition

Հեղինակներ

  • Tatjana Plotkin Bar-Ilan University, Ramat Gan 52900, Israel
  • Marina Knyazhansky Bar-Ilan University, Ramat Gan 52900, Israel

Ամփոփում

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.

Ներբեռնումներ

Ներբեռնման տվյալները դեռ հասանելի չեն:

Ներբեռնումներ

Հրատարակվել է

2008-10-13

Թողարկում

Հտ․ 1 No. 2 (2008): Dedicated to the First International Algebra and Geometry Conference in Armenia

Բաժին

Articles

Ինչպես մեջբերել

[1]
T. Plotkin and M. Knyazhansky, “Automorphic Equivalence of Multi-models Recognition”, Armen.J.Math., vol. 1, no. 2, pp. pp. 10–24, Oct. 2008, Accessed: May 09, 2026. [Online]. Available: http://test.armjmath.sci.am/index.php/ajm/article/view/23