ситуационное исчисление

Situation calculus