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

Дадим теперь краткую характеристику языка временной модальной логики, который мы частично уже рассмотрели и который будем использовать в дальнейшем. В книге этот язык используется для рассуждений о процессах и программах, и его детали вводятся постепенно и на примерах. 183 9. Модальность в ситуационном исчислении 9.2. Язык временной модальной логики Язык временной модальной логики основан на языке логики предикатов первого порядка и использует множество индивидуальных (объектных) и пропозициональных переменных и констант, функциональных и предикатных символов. Множество всех переменных разбивается на два подмножества: глобальных и локальных переменных.