Chair of Mathematical Theory of Intelligent Systems (MaTIS)
The Chair of Mathematical Theory of Intelligent Systems (MaTIS) is an academic and research department within the Faculty of Mechanics and Mathematics at the Lomonosov Moscow State University (MSU). Established in 1991, MaTIS serves as a specialized body for training mathematicians in the field of intelligent systems, theoretical cybernetics, and information technology. It functions as the core of a broader scientific complex that includes the Laboratory of Problems of Theoretical Cybernetics (PTC) and various centers for research and training in fuzzy technologies and information science.
Continue…Research and Scientific Focus
The department is dedicated to the advancement of discrete mathematics, cybernetics, and information science. Its research activities are categorized by theoretical depth and practical application, with a significant emphasis on solving complex problems in computational logic and system modeling.
Core Areas of Study
- Automata Theory: This involves the study of definite automata, their diagnostics, and modeling potential for parallel computing. The chair has developed extensive theories regarding the behavior of automata in geometric environments, including labyrinth navigation and multi-agent coalition collaboration.
- Discrete Functions: The department conducts research into functional systems, specifically addressing problems related to expressibility and completeness for systems of functions in k-valued logic.
- Image Recognition: MaTIS has developed a branch known as the theory of test recognition. This research focuses on algorithmic problems in pattern recognition, including the development of algorithms to find "short" tests and antijamming families of characteristics, which have practical applications in fields such as geology, medicine, and economics.
- Information Storage and Retrieval: The department creates models for data banks with specific complexity estimations, focusing on efficient search and storage mechanisms.
- Intelligent Solver Synthesis: Research is directed at creating solvers for intellectual problems within formalized subject fields. This includes developing automated decision-making systems for autonomous satellite systems and specialized mathematical solvers for complex analytical tasks.
Academic and Educational Services
As the only Russian academic body offering comprehensive training for mathematicians specifically in the field of intelligent systems, MaTIS provides a structured educational program for students and postgraduates.
- Academic Training: The department offers specialized courses and supervision for students pursuing undergraduate and postgraduate degrees in mathematics. The chair’s scientific school has been responsible for training dozens of Doctors of Science and candidates (PhDs), with alumni working in scientific and educational leadership roles globally.
- Scientific Publications: MaTIS serves as the founder of the scientific journal "Intelligent Systems. Theory and Applications," which publishes peer-reviewed research in the fields of intelligent systems, computer science, and new information technologies. The journal is recognized by the Higher Attestation Commission of the Russian Federation for doctoral and candidate dissertations.
Collaborative and Industrial Engagement
The department acts as a bridge between theoretical research and industrial implementation. It maintains an extensive network of domestic and international partnerships, engaging in joint research projects with academic and technological centers in countries including Germany, the United States, Japan, and Belgium.
Services to Industry
- Collaborative Technological Research: MaTIS has a history of working with major corporations and organizations to apply theoretical models to practical industrial challenges. Past collaborations have included research efforts with organizations such as Intel Corp., LSI Logic, and various Russian entities.
- Software Package Development: The chair provides specialized software solutions based on its research, particularly in the areas of automata diagnostics and decision-making algorithms. These tools are designed to solve complex industrial problems, such as those encountered in satellite autonomy and information processing, through advanced algorithmic modeling.
- Scientific Consulting and Projects: Through the Moscow Scientific Center on Culture and Information Technologies (MSC CIT) and the scientific and training center "Intelligent Systems and Fuzzy Technologies," the chair offers expertise in managing complex data environments and implementing fuzzy logic systems in real-world applications.
Organizational Structure and Facilities
The department is situated at the Vorobjovy Hills campus of Moscow State University. It is tightly integrated with the Laboratory of Problems of Theoretical Cybernetics (PTC), which allows the chair to maintain a continuous pipeline from mathematical theory to applied laboratory experimentation. The chair is staffed by over 30 scientists, including numerous Doctors of Science and PhDs, ensuring a high density of expertise in discrete mathematics and theoretical cybernetics.
