Hypothetical Reasoning from Situation Calculus to Event Calculus

Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and Interval Logic. In this note we nd answers to some of their remarks by showing a modi ed version of Event Calculus that seems to match Situation Calculus handling of hypothetical reasoning and projection. Further consideration on semantics and expressive power of Event Calculus put forward by Pinto and Reiter are discussed in the light of recent proposal for an unifying semantics for languages for time and actions.

• Type: Conference
• Year: 1994
• Where: TIME
• Authors: Alessandro Provetti
• Keywords: Automated Reasoning, Event Calculus, Situation Calculus, Situation Calculus Handling, TIME 1994