Kanishcheva O. Information and logical models of identification of knowledge in the automated information library systems

Processes of identification of knowledge in the automated information library systems. Increase of efficiency and quality of information technology of intellectual data processing in the automated information library systems on the basis of information and logical models that of methods of identification of knowledge. The theory of intelligence, algebra of final predicates and predicate operations, a method comparation identification. The decidedactual scientific - practical problem of a substantiation and development of perspective information technology of intellectual processing of the text data in the automated information library systems. A method of modeling of process of identification of knowledge in electronic libraries, mathematical transformations to algebra of predicate operations by development of a logic network of syntactic models, information and logical models of processes of ordering and a rubrication of text-through documents. Scientific libraries: KhNMU, NLAU by Jaroslav Mudrogo, KhNURE, NTU "KhPI". Intelligent information systems.