• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Master 2021/2022

Scientific Seminar "Theory and Practice of Knowledge Management"

Type: Compulsory course (Business Informatics)
Area of studies: Business Informatics
Delivered by: Department of Information Systems and Technologies
When: 2 year, 2, 3 module
Mode of studies: offline
Open to: students of one campus
Instructors: Eduard Babkin
Master’s programme: Business Informatics
Language: English
ECTS credits: 5
Contact hours: 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".