|
Kave Eshghi showed how the event calculus can be used for planning, using [[abduction]] to generate hypothetical events in [[Abductive Logic Programming|abductive logic programming]]. Van Lambalgen and Hamm showed how the event calculus can also be used to give an algorithmic semantics to tense and aspect in natural language using constraint logic programming.
==Criticism==
The event calculus has been criticized by Carl Hewitt [2009] on the grounds that "the fundamental assumption <ref>The fundamental assumption is "Time-varying properties hold at particular time-points if they have been initiated by an action at some earlier time-point, and not terminated by another action in the meantime."</ref> of the Event Calculus is overly simplistic when it comes to organizations in which time-varying properties have to be actively maintained and managed in order to continue to hold and termination by another action is not required for a property to no longer hold. I.e., if active measures are not taken then things will go haywire by default." Two examples were cited:
*Consider the following property: “Drive safely” It might be said that the property was “terminated” when a driver collides with another vehicle. There may be no event which clearly delineates the transition from safe driving to unsafe driving. However, it is often the case that some “unsafe driving” occurred before the collision.
*Consider the property of "being in the morning" where AM transitions to PM on July 31, 2008 in California. Here the issue is that there is no physical event that occurs throughout California that marks the transition from AM to PM. Thus there is no terminating event that occurs throughout California as required by the Event Calculus.
==Reasoning tools==
* [http://decreasoner.sourceforge.net/ Discrete Event Calculus Reasoner]
* [http://www.signiform.com/csr/ecas/index.html Event Calculus Answer Set Programming]
==See also==
* -------- (1999) "[http://www.springerlink.com/content/1bxk8gd0n6pajxbq/?p=8f3428a89bad4589a949d74b6f0ec98d&pi=0 The Event Calculus Explained,]" Springer Verlag, LNAI (1600): 409-30.
* Van Lambalgen, M., and F. Hamm (2005) ''The proper treatment of events''. Oxford and Boston: Blackwell Publishing.
* Hewitt, C. (2009) [http://arxiv.org/abs/0906.2756 "Norms and Commitment for ORGs (Organizations of Restricted Generality): Strong Paraconsistency and Participatory Behavioral Model Checking"] ArXiv 0906.2756.
==Notes==
{{reflist|2}}
[[Category:1986 introductions]]
| 