Ситуационное исчисление — логический формализм для представления и рассуждения о динамических областях. Оно моделирует, как действия изменяют состояния мира, и используется в планировании ИИ, представлении знаний и рассуждении о событиях.
A logic formalism designed for representing and reasoning about dynamical domains.