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

Представим алгоритм распространения ограничений для сетей интервальных ограничений, основанный на понятии совместности по путям: 1: function LRPC (var M : matrix): boolean 2: repeat 3: M ^ M 2 4: until M = M 2 5: return M Операции пересечения и композиции матриц M и N размерностью n*n определяются следующим образом: (M п N)ѵ := Mj n N ^, ( M o Nl J П M ik° N lk k^n Операция возведения в степень М п определяется по индукции: М п+1 := М п ° М ф Возвращаясь к интервальной сети ограничений, представленной на рис. 3, исходя из описанного алгоритма сначала исследуются все возможные цепочки вывода между временными интервалами, представленными в узлах сети, затем находится пересечение всех результирующих композиций цепочек отношений для одинаковых пар узлов. Проиллюстрируем работу алгоритма, пользуясь данными примера 1 (рис. 3) для двух цепочек вывода. Из узла «Газета» в узел «Завтрак» можно попасть напрямую (временное отношение {о, О , s, S , d , D , f , F , е} ) или через промежуточный узел «Кофе». Найдем композицию временных отношений, соответствующими дугам «Газета» — «Кофе» ( {o, s, d }) и «Кофе» — «Завтрак» ( {d}). Для этого пользуясь таблицей композиции (рис. 2) найдем попарную композицию элементов временных отношений. Получим: d о s , d } \ j { d } \ j { d ) ~{o, s, d) ^ Теперь согласно приведенному выше алгоритму найдем пересечение временных отношений {o,O,s, S,d ,D, f ,F,e} (соответсвует пути «Газета» — «Завтрак») и {o, s, d } (соответсвует пути «Газета» — «Кофе» — «Завтрак»), которое будет равно {o, s , d }. Таким образом, временное отношение {o,O,s, S,d ,D, f ,F,e} сузилось за счет исключения части базовых отношений, что позволяет уточнить расположение во времени рассматриваемых временных интервалов относительно друг друга. Заключение Применение темпоральных рассуждений обеспечивает единую основу для изучения многих различных структур планирования, разработанных на сегодняшний день. Так, рассуждения в традиционных системах планирования могут быть прямо преобразованы в специализированный процесс логического вывода на основе темпоральной логики. Развитие и применение темпоральных рассуждений в планировании обусловлено тем, что: 1) действия имеют продолжительность — очень немногие действия выполняются мгновенно; 2) одновременно может выполняться более одного действия; 3) сложные планы действий могут включать сложные ограничения на порядок действий; 4) действия могут взаимодействовать с внешними событиями вне прямого контроля агента. Из этих проблем наиболее важной является проблема одновременного выполняющихся действий. Без рассмотрения одновременно происходящих действий круг проблем, которые можно решить, очень ограничен специализированными ситуациями такими, как компьютерное программирование и игры. Нет смысла изучать планирование в динамично меняющемся мире, если планировщик не может действовать, пока происходит какое-то другое событие. Труды Кольского научного центра РАН. Серия: Технические науки. 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 48