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

Как уже отмечалось, модальная логика, рассматриваемая в настоящей книге, в своем названии имеет добавку «временная». В связи с этой добавкой на модальную логику, а точнее на базовое отношение достижимости, налагаются дополнительные условия, состоящие в том, что ситуация s' достижима из ситуации s, если ситуация s может перейти в ситуацию s' благодаря изменениям среды во времени. В настоящей книге ограничиваемся линейным и дискретным изменением ситуаций. Это означает, что рассматриваемая нами временная модальная логика имеет дело с последовательностями вида s^ st, ..., причем s. достижимо из sn тогда и только тогда, если i < j, a s0 есть единственная начальная ситуация. Благодаря дискретности последовательностей ситуаций мы можем ссылаться не только на ситуации, которые являются далекими последователями данной, но и на единственную следующую ситуацию. Поэтому в ряде случаев целесообразно ввести оператор следующей ситуации, обозначаемый °, и отношение непосредственного следования r(s, s'). Очевидно при этом, что транзитивное рефлексивное замыкание отношения г дает отношение достижимости R , введенное выше. Последовательность s0, st, s2, ..., для которой отношение r(st, si+l) имеет место для всех / > О, интуитивно соответствует развитию процессов во времени, наблюдаемому как последовательность дискретных ситуаций.