Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial

Situation Calculus - What is the situation calculus?


The situation calculus is a system of equations for first-order logic that models shifting circumstances. Here are the fundamental components of calculus: Everything that can be done in this planet. The languages that define the current global situation.