Временная логика предусматривает введение времени непосредственно в теорию моделей языка, а методы представления времени, применяемые в искусственном интеллекте, как правило, предусматривали явное включение аксиом об интервалах времени и событиях в базу знаний, поэтому время не получало особого статуса в этой логике. Кроме того, данный подход в некоторых случаях обеспечивает большую ясность и гибкость. К тому же знания о времени, выраженные в логике первого порядка, могут быть более легко интегрированы с другими знаниями, накопленными в рассматриваемой проблемной области.

Первой попыткой представления времени и действий в искусственном интеллекте стало ситуационное исчисление, предложенное Джоном Маккарти [1010]. Первой системой искусственного интеллекта, в которой широко применялись рассуждения общего назначения о действиях в логике первого порядка, была система QA3 [592]. Ковальский [851] развил идею овеществления высказываний в рамках ситуационного исчисления.

Проблема окружения была впервые описана в [1013]. Многие исследователи считали эту проблему неразрешимой в логике первого порядка, и она стала стимулом для проведения большого объема исследований в области немонотонных логик. Многие философы, начиная от Дрейфуса [414] и заканчивая Крокеттом [310], указывали, что проблема окружения является одним из симптомов неизбежного краха всего направления работ по созданию искусственного интеллекта. Частичное решение проблемы представительного окружения с использованием аксиом состояния-преемника было предложено Рэем Рейтером [1277]; истоки решения проблемы выводимого окружения прослеживаются в [671], в которой были предложены методы, получившие название исчисления флюентных высказываний [1504]. Описание, приведенное в настоящей главе, частично основано на результатах анализа, изложенных в [931] и [1504]. Книги Шенахана [1391] и Рейтера [1279] содержат полное, современное изложение вопросов формирования рассуждений о действиях в ситуационном исчислении.

Частичное разрешение проблемы окружения снова пробудило стремление к использованию декларативного подхода для формирования рассуждений о действиях, что привело к созданию многих систем планирования специального назначения, начиная с первой половины 1970-х годов (см. главу 11). В исследованиях, проводимых в рамках ^ когнитивной робототехники, был достигнут большой прогресс в области разработки средств логического представления действий и времени. В языке Golog используется полная выразительная мощь логического программирования для описания действий и планов [917], к тому же этот язык был дополнен, для того чтобы в нем можно было представлять параллельные действия [550], стохастические варианты среды [160] и результаты восприятия [1278].