Locally Simple Models Construction: Methodology and Practice

Abstract

Иркутский государственный университет, Институт математики им. С. Л. СоболеваАннотация. Одним из самых заметных трендов, связанных с разворачивающей-ся на наших глазах четвертой промышленной революцией, является существенное усиление роли семантических методов, ориентированных на управление смыслами и знаниями. Это касается и средств искусственного интеллекта, и добычи смыслов из огромных потоков больших данных, и роботизации, и появления умных городов и домов, других вещей. Появились и умные контракты, хотя над интеллектом контрактов еще следует серьезно поработать. Данные тренды должны с неизбеж-ностью вести к усилению роли логических методов, работающих с семантикой, и существенно расширить сферу их применения на практике. Однако здесь есть ряд проблем, которые тормозят процесс.Нами разрабатывается подход к использованию логического моделирования в ряде важных предметных областей, который позволяет обойти возникающие пре-пятствия. Подход основан на концепции локально-простых моделей и прежде всего ориентирован на решение задач в сфере управления предприятиями, организаци-ями, органами власти. Важнейшей особенностью локально-простых моделей явля-ется их способность заменить программные системы. Замена программирования на моделирование дает колоссальные преимущества: резко снижаются издержки на разработку и поддержку систем, моделирование в отличие от программирования сохраняет явную семантику моделей, оставляя возможности работы для средств искусственного интеллекта и роботов. Кроме того, модели намного более понятны людям, чем программы.В настоящей работе рассматривается реализация концепции локального-прос-того моделирования на основе документных моделей, разработанных нами ранее. Показывается, что локально-простое моделирование реализуется через документные модели с конечными подмодельными покрытиями. Во второй части работы описы-вается пример использования документных моделей для решения управленческой задачи реальной сложности. * Исследование выполнено за счет гранта Российского научного фонда (проект №17-11-01176).

On Termination of Transactions over Semantic Document Models

“…Then we describe a sufficient condition, which guarantees decidability. For this we introduce a formal definition of a locally simple document theory (the notion previously discussed in [9]) and we show that over any such theory transaction termination is decidable. Then we estimate the complexity of computing effects of transactions and identify a case when they are polynomially bounded.…”