Search academic texts

Information × Registration Number 0216U003012, 0111U006938 , R & D reports Title Theoretical-mathematical methods of intelligent intormation systems investigation and development in uniformalized and weakly formalized subject domains popup.stage_title Head Provotar Oleksandr Ivanovych, Registration Date 11-01-2016 Organization Taras Shevchenko Kiev university popup.description2 Object of study: intelligent information systems of decision-making and knowledge processing, logical-mathematical methods of analysis and data processing, automaton-algebraic analysis techniques in non-formalized and unexplored domains, models of information exchange of the nanostructured objects. The purpose and research tasks: to develop the systems of processing logical-mathematical knowledge (OLMZ) to automate the deductive constructions in classical and non-classical logics, development of mathematical methods of processing and analysis tasks for interdisciplinary synthesis, research of complicated processes and objects. Learning the principles of cooperation and constructing of nanostructures on the basis of intelligent information systems for diagnosis and decision support, research information processes in biological objects with automaton-algebraic methods, depending on the semantic and syntactic structures of DNA. The fifth stage is devoted to decision support system based on models of interaction of nano-structured objects. In addition, further research of fuzzy inference systems and their practical application. The principles of concept description of fuzzy object and fuzzy object classes, which allow representing fuzzy knowledge in structure, blurry or partially defined objects and their classes was developed. The operations on the objects and classes of objects, which can help us to get the sets and new classes of the fuzzy objects, and simulating the process of changing in the structure of objects under the influence of the outside factors we developed too. We made generalization of the object-oriented dynamic networks for a fuzzy case, which allows us to represent knowledge about objects and classes of objects of fuzzy nature and simulate their changes over time. Within the developed approach we proposed the mechanism of received a new knowledge through basic one, which largely differs from the known methods of the existing knowledge representation models. To demonstrate the proposed approach we gave an example of fuzzy object-oriented dynamic network constructing. The properties of biological system models and nanotechnology systems and their application in symbolic computation we investigated. There was investigated the applicative approach, which include H.Karri theorem on random beta-term and the result of Yan Klop known as normalization theorem for beta nu-reduction. There were investigated some open questions of filter automorphisms, semigroup partitions, kaleidoscopical configurations on graphs and groups, we gave their decision. We received good results on the kaleidoscopic configurations in metric spaces, which considered as G-spaces with respect to groups, their isometric in groups, which considered as regular left G-spaces. We solved some open problems of coloring kaleidoscopical graphs and kaleidoscopical configurations. We developed methods of kaleidoscopical graph construction based on kaleidoscopical semigroups. We also investigated groups of kaleidoscopical automorphism of kaleidoscopical graphs. Product Description popup.authors Григор'єва Н.М. Лапко О.В. Лялецький О.О. Провотар Т.М. Протасова К.Д. popup.nrat_date 2020-04-02 Close