Учреждение высшего образования

 
2.2. Темпоральные отношения 
Определение события как результата действий единичного субъекта 
[Кандрашина и др.] не совсем полно, поскольку исключает из рассмотре-
ния действия двух или нескольких субъектов, объектов и систем. Собы-
тием может быть не обязательно (только) смена состояний объекта, но и 
интересующее нас сочетание текущих значений атрибутов, характеризу-
ющих объект. Иногда принадлежность события объекту(ам) и субъектам 
трудно определить, или она нас не интересует.
Некоторые элементы события/процесса могут быть описаны нечет-
кими темпорами, т.е. такими, границы которых нечетко определены. В 
этом случае следует рассматривать отношения четкого и нечеткого или 
отношения двух или нескольких нечетких темпоров (
τ
i
, τ
j
). Ниже приве-
дены два типа элементарных темпоральных высказываний:
1. ER
𝜏
– между событием и темпором.
2. 
τ
i
Rτ
j
– между двумя темпорами.

---

30 
Для практических целей полезно использовать составные темпо-
ральные высказывания, которые представляют совокупность элементар-
ных темпоральных высказываний, объединенных при помощи логиче-
ских связок.
Рассмотрим отношения между интервальными темпорами. Точеч-
ные темпоры можно рассматривать как интервальные с совпадающими 
началами и окончаниями и нулевом длительностью. Все рассматривае-
мые отношения будут двухместными. В основе рассматриваемых отно-
шений лежит группа интервально-временных отношений ЕСТ [Кандра-
шина и др.] темпоральной логики. Темпоры можно сравнивать по дли-
тельности и по взаимному расположению.
Два темпора могут находиться в следующих отношениях:
– (rts) – последовательны с паузой, если интервал первого процесса 
закончился раньше, чем начался интервал второго (они не одновре-
менны, и первый интервал раньше второго) 
– (rtsn) –последовательны без паузы;
– (rtes)– пересекаются; 
– (rtel) –вложенные с примыканием к началу; 
– (rter) –вложенные с примыканием к окончанию; 
– (rte) –вложенные без примыканий; 
– (гtU) – отношение несравнимости темпоров.
Будем считать, что два темпора находятся между собой в отношении 
rtU, если:
1) ничего не известно о процессах, которые характеризуются этими 
темпорами, что свидетельствовало бы о других темпоральных отноше-
ниях между этими темпорами;
2) необходимо предпринять некоторые действия, чтобы темпораль-
ные отношения стали более определенными.

---

31