Один из очевидных способов предотвращения необходимости создавать многочисленные копии аксиом состоит в том, чтобы применить квантификацию по времени и использовать примерно такие высказывания: "(для всех t) то-то и то-то является полученным в момент времени t+1 результатом выполнения такого-то действия в момент времени t". Но в этом разделе вместо применения таких явных обозначений времени, как t+1, мы сосредоточимся на описании ситуаций, которые обозначают состояния, возникающие в результате выполнения действий. Такой подход, называемый ситуационным исчислением, предусматривает использование описанной ниже онтологии.

•    Как и в главе 8, действия представляют собой логические термы, такие как Forward и Turn (Right). В данном разделе предполагается, что среда содержит только одного агента. (Если количество агентов больше одного, может быть вставлен дополнительный параметр для указания на то, какой агент выполняет это действие.)

•    Ситуации представляют собой логические термы, состоящие из начальной ситуации (обычно называемой ) и всех ситуаций, которые создаются в результате применения некоторого действия в некоторой ситуации. Функция Resul t (a, s) (иногда называемая Do) обозначает ситуацию, возникающую в результате выполнения действия а в ситуации s. Эта идея иллюстрируется на рис. 10.2.

Рис. 10.2. Иллюстрация к понятию ситуации. В ситуационном исчислении каждая ситуация (кроме So) представляет собой результат некоторого действия