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

9.1. Модальность и модальная логика При развитии различных исчислений как формальной основы для рассуждений о тех или иных явлениях нашей среды постоянно наблюдается стремление по возможности полно и точно выразить и учесть динамику изменений этой среды. Самым простым исчислением является логика высказываний (см. гл. 2). Для того чтобы выразить динамику изменений среды, например во времени, средствами логики высказываний, придется ввести переменные, истинность которых будет означать наступление того или иного момента времени. Если таких моментов много, то описание в логике высказываний становится крайне неудобным. Логика предикатов первого порядка (см. гл. 3) является более сложным, но и более выразительным исчислением в результате введения кванторов, функций и предикатов. Функции и предикаты могут зависеть от временных переменных, которые позволяют описывать динамику среды. Ситуационные исчисления еще более удобны для описания динамики среды, поскольку они основаны на использовании специальных ситуационных переменных, значения которых могут зависеть от времени или пространства.