<На страницу назад | На страницу вперед>
А.5.5 Интервал, в котором происходит ситуация
При описании процессов и их активаций очень важно иметь возможность говорить
об интервале времени, в течение которого происходит данная ситуация. Поэтому
определена функция, которая применительно к данной ситуации точно определяет
данный интервал:
(define-function interval-of
:=> (forall (?sit ?t)
(=> (= interval-of ?sit) ?t)
(and (situation ?sit) (interval ?t)))))
Если даны временные отношения, то посредством определения интервала, в течение которого происходит определенная ситуация, можно определить множество полезных временных отношений между ситуациями в терминах соответствующих временных отношений между интервалами, в течение которых они происходят. Подробное описание приводится в издаваемой работе (Menzel & Mayer).