Магистратура
2021/2022
Научный семинар "Теория и практика управления знаниями"
Статус:
Курс обязательный (Бизнес-информатика)
Направление:
38.04.05. Бизнес-информатика
Когда читается:
2-й курс, 2, 3 модуль
Формат изучения:
без онлайн-курса
Охват аудитории:
для своего кампуса
Преподаватели:
Бабкин Эдуард Александрович
Прогр. обучения:
Бизнес-информатика
Язык:
английский
Кредиты:
5
Контактные часы:
38
Course Syllabus
Abstract
The discipline follows the course "Conceptual Modeling", which allows students to consider the theory and practice of building conceptual models and knowledge issues in relation to each other. In the process of mastering the educational material, students get acquainted with the theory of knowledge representation using relational logic. Practical exercises are based on the use of the MIT Alloy Analyzer software toolkit. Using this tool, students perform the formalization of knowledge in several subject areas, analyze the consistency of the constructed models, apply the results of the analysis to make decisions and verify the properties of information systems. Particular attention in the course of training is paid to the dynamic aspect of knowledge, orientation to use in the process of analyzing a problem situation and making decisions. At the final stage of training, students master the skills of joint use of conceptual modeling tools and formal logical analysis using the examples of UFO ontology and relational logic. The course is intended for Masters of Business Informatics of the second year of study, for studying the course it is desirable to successfully master the course "Conceptual Modeling: Ontological Theories".