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

Situation Calculus - What is the difference between situation calculus and event calculus?

Answer

The formalization from Logic Programming is the one that has been around the longest for Event Calculus. Although classical logic is the more common medium for expressing situation calculus, it is also possible to write it as a (open) logic program with appropriate completion semantics.