Object structure

Publication Details:

Established in 2008

Journal or Publication Title:

Armenian Journal of Mathematics=Հայկական մաթեմատիկական հանդես

Date of publication:

2008

Volume:

1

Number:

2

ISSN:

1829-1163

Official URL:


Title:

Automorphic Equivalence of Multi-models Recognition

Creator:

Tatjana Plotkin ; Marina Knyazhansky

Contributor(s):

Գլխ. խմբ.՝ Անրի Ներսեսյան ; Պատ. խմբ.՝ Լինդա Խաչատրյան ; Խմբ. տեղակալ՝ Ռաֆայել Բարխուդարյան

Subject:

General algebraic systems

Coverage:

10-24

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.

Publisher:

National Academy of Sciences of Armenia

Date created:

2008-10-01

Type:

Հոդված

Format:

pdf

General note:

Electronic Open Access Publication of the National Academy of Sciences of Armenia

Digitization:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Location of original object:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան