Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
A language for visual knowledge representation in computer-aided knowledge engineering technology. / Voinov, A.V.; Gavrilova, T. A.; Dantsin, E. Ya.
в: Journal of Computer and Systems Sciences International, Том 35, № 2, 01.12.1996, стр. 309-314.Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
}
TY - JOUR
T1 - A language for visual knowledge representation in computer-aided knowledge engineering technology
AU - Voinov, A.V.
AU - Gavrilova, T. A.
AU - Dantsin, E. Ya
N1 - Voinov, A. V. A language for visual knowledge representation in computer-aided knowledge engineering technology / A. V. Voinov, T. A. Gavrilova, E. Ya. Dantsin // Journal of Computer and Systems Sciences International. – 1996. – Volume 35, Issue 2. – P. 309-314.
PY - 1996/12/1
Y1 - 1996/12/1
N2 - A relation between a visual-phenomenological, logical, and procedural interpretation of knowledge in the computer-aided knowledge engineering (CAKE) technology of knowledge extraction is considered. The conversion of two-dimensional syntactical constructs of conceptional and functional structures of a subject domain to some monadic theory of first-order logic is shown. A sketch of a (procedural) inference engine corresponding to models of subject domains formalized by the author is also described.
AB - A relation between a visual-phenomenological, logical, and procedural interpretation of knowledge in the computer-aided knowledge engineering (CAKE) technology of knowledge extraction is considered. The conversion of two-dimensional syntactical constructs of conceptional and functional structures of a subject domain to some monadic theory of first-order logic is shown. A sketch of a (procedural) inference engine corresponding to models of subject domains formalized by the author is also described.
KW - computer programming languages
KW - synthesis algorithm
KW - SCOPUS
KW - SCOPUS
UR - http://www.scopus.com/inward/record.url?scp=33747447039&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:33747447039
VL - 35
SP - 309
EP - 314
JO - Journal of Computer and Systems Sciences International
JF - Journal of Computer and Systems Sciences International
SN - 1064-2307
IS - 2
ER -
ID: 41105159