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

Манцивода Андрей Валерьевич, д-р физ.-мат. наук, проф., Институт математики и информационных технологий, Иркутский государственный университет, Российская Федерация, 664003, г. Иркутск, ул. К. Маркса, 1; Институт математики им. С. Л. Соболева СО РАН, тел.: (3952)521241, e-mail: andrei@baikal.ru

Пономарев Денис Константинович, канд. физ.-мат. наук, Институт математики им. С. Л. Соболева, Институт систем информатики им. А. П. Ершова, Новосибирский государственный университет, Российская Федерация, 630090, г. Новосибирск, пр. Лаврентьева, 6, тел.: (383)3306660, e-mail: ponom@iis.nsk.su

Mantsivoda A.V., Ponomaryov D.K. On Termination of Transactions over Semantic Document Models // Известия Иркутского государственного университета. Серия Математика. 2020. Т. 31. С. 111-131. https://doi.org/10.26516/1997-7670.2020.31.111

1. Ershov Yu. L., Goncharov S. S., Sviridenko D. I. Semantic Programming // Information processing 86: Proc. IFIP 10th World Comput. Congress. Vol. 10. Elsevier Sci., Dublin, 1986. P. 1093–1100.

2. Ershov Yu. L., Goncharov S. S., Sviridenko D. I. Semantic Foundations of Programming // Fundamentals of Computation Theory: Proc. Intern. Conf. FCT 87, Kazan, 116–122. Lect. Notes Comp. Sci. 1987. Vol. 278. https://doi.org/10.1007/3-540-18740-5_28

3. Goncharov S. S., Sviridenko D. I. Σ- programming, Transl. II. // Amer. Math. Soc. 1989. N 142. P. 101–121.

4. Goncharov S. S., Sviridenko D. I. Σ- programming and its Semantics// Vychisl. Systemy. 1987. N 120. P. 24–51. (in Russian).

5. Goncharov S. S., Sviridenko D. I. Theoretical Aspects of Σ-programming // Lect. Notes Comp. Sci. 1986. Vol. 215. P. 169–179. https://doi.org/10.1007/3-540-16444-8_13

6. Goncharov S. S. Conditional Terms in Semantic Programming // Siberian Mathematical Journal. 2017. Vol. 58, N 5. P. 794–800. https://doi.org/10.1134/S0037446617050068

7. Гончаров С.С., Свириденко Д.И. Логический язык описания полиномиальной вычислимости // Доклады РАН. 2019. Т. 485, № 1. С. 11–14.

8. Гончаров С. С., Свириденко Д. И. Recursive Terms in Semantic Programming // СМЖ. 2018. Т. 59, № 6. С. 1279–1290.

9. Построение локально-простых моделей: методология и практика / И. А. Казаков, И. А. Кустова, Е. Н. Лазебникова, А. В. Манцивода // Известия Иркутского государственного университета. Сер. Математика. 2017. Т. 22. С. 71–89. https://doi.org/10.26516/1997-7670.2017.22.71

10. Малых А. А., Манцивода А. В. Документное моделирование // Известия Иркутского государственного университета. Сер. Математика. 2017. Т. 21. С. 89–107. https://doi.org/10.26516/1997-7670.2017.21.89

11. Mantsivoda A. V., Ponomaryov D. K. A Formalization of Document Models with Semantic Modelling // The Bulletin of Irkutsk State University. Series Mathematics. 2019. Vol. 27, pp. 36–54.

12. Ospichev S., Ponomarev D. On the Complexity of Formulas in Semantic Programming // Siberian Electronic Mathematical Reports. 2018. Vol. 15. P. 987–995.

13. Reiter R. Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. MIT Press, 2001. https://doi.org/10.7551/mitpress/4074.001.0001

14. Витяев Е. Е. Семантический вероятностный вывод предсказаний // Известия Иркутского государственного университета. Сер. Математика. 2017. Т. 21. С. 33–50.