Искусственный интеллект

В настоящей главе рассмотрим пример одного из таких исчислений, основанного на логике предикатов первого порядка и называемого обычно временным модальным исчислением или временной модальной логикой. Слово "временное" появляется здесь в связи с тем, что изменение подразумеваемых ситуаций происходит во времени. В нашем случае время течет линейно. Ситуации, естественно, тоже изменяются линейно в этом времени. Обсудим более подробно концептуальную суть временного модального исчисления. Рассмотрим, например, утверждение: «Идет дождь». Очевидно, что истинность этого утверждения зависит от двух факторов (параметров): даты и места, которые подразумеваются, но не употреблены. Выбирая определенные дату /0 и место /0 и уточняя с их помощью указанного утверждения, получаем другое утверждение: «Идет дождь в месте /0 во время /0». Это утверждение полностью определено и должно быть либо ложным, либо истинным. Теперь можно ввести атом дождь (/, /): «Идет дождь в месте / во время /», который имеет равные приоритеты для обоих параметров / и /. Модальный подход предполагает два различных приоритета или уровня для параметров / и /. Параметр с более высоким приоритетом определяет ситуацию и не употребляется явно в высказываниях. Так, если в качестве переменной, полностью определяющей ситуацию, выбрать время, то вместо атома дождь (/, /) будет использоваться атом дождь (/). Значение этого предиката зависит как от ситуации (в данном случае времени или даты), так и от места. Но точное значение ситуации нас не интересует, поскольку мы собираемся рассуждать о таких вещах, как возможность дождя в месте / в принципе или неизбежность дождя в месте / когда-либо вообще и т.п.