Обучение, НИР и НИОКР

Научно-исследовательские и опытно-конструкторские работы

Компания "ТриниДата" выполняет научно-исследовательские (НИР), опытно-конструкторские (НИОКР) работы по темам:
  • создание онтологических моделей,
  • концептуальное моделирование,
  • обработка больших данных,
  • системы поддержки принятия решений,
  • имитационное моделирование,
  • искусственный интеллект на основе логических вычислений, и др.

Предлагаем ознакомиться со списком наших публикаций и интеллектуальной собственности по перечисленным темам, а также перечнем некоторых из выполненных нами работ. Большое количество статей по моделированию и использованию моделей можно найти также в нашем блоге.

Обучение концептуальному и онтологическому моделированию

Для обучения наших клиентов и партнеров моделированию и практическому использованию моделей мы разработали методическое пособие "Введение в онтологическое моделирование".

Также нами разработан курс семинаров по обучению концептуальному и информационному моделированию, который мы предлагаем нашим корпоративным заказчикам, заинтересованным в развитии культуры работы с информацией. Программа этого курса представлена ниже (может варьироваться в соответствии с нуждами заказчика).

Программа семинара
"Концептуальное и онтологическое моделирование предметных областей"

I. Предмет и методы концептуального моделирования.

Что такое концептуальное моделирование? Логическое мышление и восприятие. Концептуализация знаний. Как построить правильную модель? Процесс построения простых дескриптивных моделей. Точки зрения. Составление дескриптивных моделей на основе описания предметной области.

II. От концептуальной модели к информационной: представление концептуальных моделей в электронной форме. Онтологии.

Строительные блоки концептуальных моделей. Представление информации в виде графа. Стандарты RDF, RDFS, OWL. Стек ИТ для работы с онтологиями. Идентификаторы сущностей. Классификация сущностей. Проектирование классификаторов и кодификаторов. Простые отношения между классами и индивидами. Наследование и специализация свойств. Простейшая автоматизация получения логических выводов. Особые виды свойств: транзитивные, инверсивные и др. Цепочки свойств.

III. Практикум по проектированию и технической реализации информационной модели (на примере моделирования социальной среды или задач мониторинга безопасности).

IV. Логические вычисления в онтологических информационных моделях.

Аксиомы о классах. Классификация на основе значений свойств. Кванторы существования и всеобщности. Ограничения на обладателей и диапазоны значения свойств. Пустые узлы и сколемизация. Аннотирование элементов онтологии. Правила логического вывода SWRL, SPIN, SHACL.

V. Паттерны концептуального моделирования и их представление в онтологиях.

Логическая парадигма моделирования, отличия от ООП. Принципы выделения сущностей, определения их границ. Исчисляемые и неисчисляемые сущности. Способы выражения отношений: реификация. Моделирование состояний и событий. 4D-моделирование: время в модели. Эволюция моделируемой системы. Моделирование процессов. Моделирование разных точек зрения.

VI. Прикладное использование онтологических моделей.

Моделирование и использование нормативно-справочной информации и мастер-данных. Системы поддержки принятия решений. Системы управления знаниями. Имитационное моделирование, роевой интеллект. Прикладное ПО, управляемое со стороны модели.

VII. Практикум по выполнению логических вычислений на онтологической модели.

Продолжительность семинара - 16 академических часов, два учебных дня.