Armenian Journal of Mathematics

Automorphic Equivalence of Multi-models Recognition

Plotkin, Tatjana and Knyazhansky, Marina (2008) Automorphic Equivalence of Multi-models Recognition. Armenian Journal of Mathematics, 1 (2). pp. 10-24. ISSN 1829-1163

[img]
Preview
PDF (Plotkin) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
428Kb

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.

Item Type:Article
Subjects:08-xx General algebraic systems
ID Code:32
Deposited By:Professor Anry Nersesyan
Deposited On:13 Oct 2008 12:15
Last Modified:19 Apr 2011 02:22

Repository Staff Only: item control page