Object

Title: Automorphic Equivalence of Multi-models Recognition

Ստեղծողը:

Tatjana Plotkin ; Marina Knyazhansky

Տեսակ:

Հոդված

Հրապարակման մանրամասներ:

Established in 2008

Ամսագրի կամ հրապարակման վերնագիր:

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

Հրապարակման ամսաթիվ:

2008

Հատոր:

1

Համար:

2

ISSN:

1829-1163

Պաշտոնական URL:


Աջակից(ներ):

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

Ծածկույթ:

10-24

Ամփոփում:

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.

Հրատարակիչ:

National Academy of Sciences of Armenia

Ստեղծման ամսաթիվը:

2008-10-01

Ձևաչափ:

pdf

Նույնացուցիչ:

oai:arar.sci.am:13203

Գլխավոր նշում:

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

Թվայնացում:

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

Բնօրինակի գտնվելու վայրը:

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

Object collections:

Last modified:

Apr 19, 2024

In our library since:

Feb 12, 2020

Number of object content hits:

12

All available object's versions:

https://arar.sci.am/publication/14892

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

Objects

Similar

This page uses 'cookies'. More information