Sciweavers

Share
TIME
1994
IEEE

Hypothetical Reasoning from Situation Calculus to Event Calculus

9 years 5 months ago
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.
Alessandro Provetti
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where TIME
Authors Alessandro Provetti
Comments (0)
books