Հրապարակման մանրամասներ:
Ամսագրի կամ հրապարակման վերնագիր:
Armenian Journal of Mathematics=Հայկական մաթեմատիկական հանդես
Հրապարակման ամսաթիւ:
Հատոր:
Համար:
ISSN:
Պաշտոնական URL:
Վերնագիր:
Automorphic Equivalence of Multi-models Recognition
Ստեղծողը:
Tatjana Plotkin ; Marina Knyazhansky
Աջակից(ներ):
Գլխ. խմբ.՝ Անրի Ներսեսյան ; Պատ. խմբ.՝ Լինդա Խաչատրյան ; Խմբ. տեղակալ՝ Ռաֆայել Բարխուդարյան
Խորագիր:
Ծածկոյթ:
Ամփոփում:
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
Ստեղծման ամսաթիւը:
Տեսակ:
Ձեւաչափ:
Գլխաւոր նշումը:
Electronic Open Access Publication of the National Academy of Sciences of Armenia
Թուայնացում:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան