Главная arrow книги arrow Копия Глава 10. Представление знаний arrow Исчисление времени и событий
Исчисление времени и событий

Ситуационное исчисление вполне себя оправдывает, если существует единственный агент, выполняющий мгновенные, дискретные действия, а если действия имеют продолжительность и могут накладываться друг на друга, то ситуационное исчисление становится довольно громоздким. Поэтому мы будем рассматривать данные темы с помощью альтернативной формальной системы, известной под названием исчисление событий (event calculus), которая основана на точках во времени, а не на ситуациях. (Термины "событие" и "действие" могут использоваться как взаимозаменяемые. Неформально выражаясь, "событие" обозначает более широкий класс действий, включая те, в которых нет явного агента. С описанием такого класса проще справиться с помощью исчисления событий, а не ситуационного исчисления.)

В исчислении событий флюентные высказывания становятся истинными или ложными в определенных точках во времени, а не в ситуациях, притом что само исчисление предназначено для того, чтобы с его помощью можно было формировать рассуждения, касающиеся интервалов времени. В аксиоме исчисления событий указано, что флюентное высказывание является истинным в какой-то момент времени, если действие, описываемое этим высказыванием, было инициировано некоторым событием в некоторый момент времени в прошлом и еще не закончено под влиянием какого-либо промежуточного события. Отношения Initiates и Terminates играют примерно такую же роль, как и отношение Result в ситуационном исчислении; отношение Initiates(e, f, t) означает, что возникновение события е во время t вызвало то, что флюентное высказывание f стало истинным, а отношение Terminates(w, f, t) означает, что высказывание f перестало быть истинным. Мы будем использовать предикат Happens(e, t) для обозначения того, что событие е произошло во время t, и предикат Clipped(f, t, t2) для обозначения того, что высказывание f перестало быть истинным под влиянием некоторого события, происшедшего в какое-то время между t и t2. Формально эта аксиома записывается следующим образом: