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

Это позволяет нам получить такие же функциональные возможности, как и с использованием ситуационного исчисления, в сочетании с возможностями формировать утверждения о точках и интервалах времени, что позволяет, например, сформулировать высказывание Happens(TurnOff (LightSwitchi) , 1:00), чтобы сообщить о выключении света точно,в 1:00.

Было разработано много дополнений к исчислению событий, чтобы можно было решать задачи с опосредованными событиями; событиями, имеющими продолжительность; событиями, происходящими одновременно; непрерывно изменяющимися событиями; недетерминированными результатами; причинно-следственными ограничениями и другими осложнениями. Мы вернемся к рассмотрению этих тем в следующем подразделе. Следует откровенно сказать, что в данный момент для большинства таких задач еще отсутствуют полностью удовлетворительные решения, но на пути к достижению этих решений не обнаружено каких-либо непреодолимых препятствий.