Труды КНЦ (Технические науки вып. 7/2023(14))

В исследовании [23] рассмотрены работы по темпоральным CSP начиная с ранних статей таких, как [17-21]. Ожидается, что исследования темпоральных CSP будут продолжаться в ближайшие годы из-за их важности для реальных приложений. Вероятнее всего, приоритетными будут следующие направления разработки: • новые алгоритмические методы решения временных ограничений, например, рандомизированные алгоритмы [24] или локальный поиск [22, 25]; • теория и алгоритмы объединения темпоральных CSP и концепций оптимизации [26, 27]; • теория и алгоритмы для количественных формул с временными ограничениями [28-30]; • исследование управляемости для классов, где на этот вопрос не дан полный ответ, например, [22]; • интеграция с пространственными CSP для работы с пространственно-временными сценариями [5]. Список источников 1. Allen J., Kautz H., and Pelavin R., editors. Reasoning About Plans. Morgan Kaufmann, 1991. 2. Cesta A., Oddi A., and Smith S. F. A constraint-based method for project scheduling with time windows // Journal o f Heuristics. 2002. № 8(1). P. 109-136. 3. Schubert L. and Hwang C. Episodic logic meets Little Red Riding Hood: A comprehensive, natural representation for language understanding. In L. Iwanska and S. Shapiro, editors, Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language. MIT/AAAI Press, 2000. P. 111-174. 4. Mylopoulos J., Borgida A., Jarke M., and Koubarakis M. Telos: A Language for Representing Knowledge About Information Systems // ACM Transactions on Information Systems. 1990. № 8(4). P. 325-362. 5. Koubarakis M., Sellis T. K., Frank A. U., Grumbach S., G'uting R. H., Jensen C. S., Lorentzos N. A., Manolopoulos Y., Nardelli E., Pernici B., Schek H.-J., Scholl M., Theodoulidis B., and Tryfona N. editors. Spatio-Temporal Databases: The CHOROCHRONOS Approach, volume 2520 o f Lecture Notes in Computer Science. Springer, 2003. 6. Revesz P. Introduction to Constraint Databases. Springer, 2002. 7. P. van Beek. Reasoning About Qualitative Temporal Information // Artificial Intelligence, 1992. № 58. P. 297-326. 8. Alur R. Timed automata. CAV, 1999. P. 8-22. 9. Balbiani P., Condotta J.-F., and Ligozat G. Reasoning about generalized intervals: Horn representability and tractability. TIME, 2000. P. 23-30. 10. Balbiani P., Condotta J.-F., and Ligozat G. On the consistency problem for the INDU calculus. TIME, 2003. P . 203-211. 11. Cohen D. A., Jeavons P., and Koubarakis M. Tractable disjunctive constraints. CP, 1997. P. 478-490. 12. Console L. and Terenziani P. Efficient processing of queries and assertions about qualitative and quantitative temporal constraints // Computational Intelligence, 1999. № 15(4). P. 442-465. 13. Cormen T., Leiserson C., and Rivest R. Introduction to Algorithms. MIT Press, 1990. 14. Dean T. Using temporal hierarchies to efficiently maintain large temporal databases // Journal of the ACM, 1989. № 36(4). P. 687-718. 15. Dean T. and McDermott D. Temporal Data Base Management // Artificial Intelligence, 1987. № 32(1). P. 1-55. 16. Dechter R. Constraint Processing. Morgan Kaufmann, 2003. 17. Vilain M. and Kautz H. Constraint Propagation Algorithms for Temporal Reasoning. AAAI, 1986. P. 377-382. 18. Dean T. and McDermott D. Temporal Data Base Management // Artificial Intelligence, 1987. № 32(1). P. 1-55. 19. Vilain M., Kautz H., and Van Beek P. Constraint Propagation Algorithms for Temporal Reasoning: A Revised Report. editors D. Weld and J. de Kleer. Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, 1989. P. 373-381. 20. Dechter R., Meiri I., and Pearl J. Temporal Constraint Networks // Artificial Intelligence, 1991. № 49(1-3). P . 61-95. 21. Allen J. Maintaining Knowledge about Temporal Intervals //. Communications ofthe ACM, 1983. № 26(11). P . 832-843. Труды Кольского научного центра РАН. Серия: Технические науки. 2023. Т. 14, № 7. С. 43-51. Transactions of the Kola Science Centre of RAS. Series: Engineering Sciences. 2023. Vol. 14, No. 7. P. 43-51. © Зуенко А. А., Фридман О. В., 2023 49