Research
The MaTIS Chair is ready to consider different cooperation priposals, including
 performing a wide range of R&D by order, also for specific tasks related to algorithms formulation and development of software;
 sale of finished products;
 conducting joint research;
 scientific consultations an a wide range of questions.
The circle of researches covers main directions of the theory of intelligent systems.
We can relate to them:
 finite
automata theory;
 development of methods of pattern
recognition, arising under acoustic, visual and other forms of perception;
 looking for general principles of the decision making,
including logic, stochastic, combinatorial, fuzzy and other approaches;
 development of high level languages for the description of
situations and use of mathematical tools for solving problems of recognition and the
decision making;
 creation databases and knowledge bases optimum on use and
connected with it research of complexity of search and storage of the information;
 development of general methods of hierarchical expert
systems design and computer solvers of problems;
 research of opportunities of finite automata and robots with
elements of limited resource artificial intelligence for the decision of intelligent
problems;
 creation of computer systems of training in good – and
poorly – formalised areas of knowledge;
 development of methods of computer modelling in natural,
humanitarian and technical areas: the mathematician, mechanic, physics, chemistry,
biology, economy, political and public sciences and etc.;
 research of properties of discrete structures, algorithms,
functions and functional systems;
 development of the theory and methods of the analysis and
synthesis of effective algorithms and calculators;
 research of problems of fuzzy mathematics;
 research of mathematical problems of telecommunications;
etc.
Fundamental results in these directions are received. Examples of
those:
 a new combinatorial logic method of pattern recognition is developed, its metric
properties and efficiency are investigated; with its help the problems of finding oil, tin
and other. mineral wealth's are solved;
 the theory of finite automata and robots behaviour in abstract and real environments is
advanced;
 research of a problem of express and completeness for discrete functions and finite
automata is conducted;
 opportunities of mosaic structures as models of the circuits of parallel calculations
and neural networks with selftraining are investigated;
 the theory of expert systems synthesis and computer solvers of problems is developed;
the acting systems for the decision of mathematical problems and training to foreign
languages are created which were demonstrated at International exhibitions;
 expert systems for medicine and information monitoring systems are developed;
 for wide classes of discrete functions methods of synthesis optimum on complexity the
circuits of calculations are received, which adjusting large number of errors, examples of
discrete functions also almost exponential complexity and etc. are constructed.
