Аннотация:
Одним из самых заметных трендов, связанных с разворачивающейся на наших глазах четвертой промышленной революцией, является существенное усиление роли семантических методов, ориентированных на управление смыслами и знаниями. Это касается и средств искусственного интеллекта, и добычи смыслов из огромных потоков больших данных, и роботизации, и появления умных городов и домов, других вещей. Появились и умные контракты, хотя над «интеллектом» контрактов еще следует серьезно поработать. Данные тренды должны с неизбежностью вести к усилению роли логических методов, работающих с семантикой, и существенно расширить сферу их применения на практике. Однако здесь есть ряд проблем, которые тормозят процесс.
Нами разрабатывается подход к использованию логического моделирования в ряде важных предметных областей, который позволяет обойти возникающие препятствия. Подход основан на концепции локально-простых моделей и прежде всего ориентирован на решение задач в сфере управления предприятиями, организациями, органами власти. Важнейшей особенностью локально-простых моделей является их способность заменить программные системы. Замена программирования на моделирование дает колоссальные преимущества: резко снижаются издержки на разработку и поддержку систем, моделирование в отличие от программирования сохраняет явную семантику моделей, оставляя возможности работы для средств искусственного интеллекта и роботов. Кроме того, модели намного более понятны людям, чем программы.
В настоящей работе рассматривается реализация концепции локального-простого моделирования на основе документных моделей, разработанных нами ранее. Показывается, что локально-простое моделирование реализуется через документные модели с конечными подмодельными покрытиями. Во второй части работы описывается пример использования документных моделей для решения управленческой задачи реальной сложности.