A formalization of document models with semantic modelling

В данной работе мы формализуем общую концепцию документной модели в терминах семантического моделирования (СМ). Мы считаем, что идея использования документов в качестве базовой метафоры для моделирования является очень полезной, поскольку она обеспечивает необходимый баланс между логическими методами обработки знаний и когнитивными аспектами, связанными с доступностью данных методов для намного более широкой аудитории, чем сообщество профессиональных математиков. Предметная область может быть сколь угодно сложной по своей природе, однако люди склонны выбирать такие описательные примитивы, которые более удобны для восприятия. Понятие документа является примером такого примитива, который веками использовался людьми, и остается одним из важнейших в эпоху информационных систем. Ключевым качеством описания семантики документных моделей в рамках парадигмы СМ является то, что семантическое моделирование делает документные модели исполняемыми. Исполняемые модели могут напрямую использоваться в качестве практических информационных систем, и эта черта делает этап программирования излишним. Заменяя программирование на моделирование, мы принципиально повышаем эффективность разработки и поддержки информационных систем, а также делаем такие системы дружелюбными для средств искусственного интеллекта.