The event calculus is a logical language for representing and reasoning about actions and their effects first presented by Robert Kowalski and Marek Sergot in 1986. It was extended by Murray Shanahan and Rob Miller in the 1990s. The basic components of the event calculus, as with other similar languages for reasoning about actions and change are fluents and actions. In the event calculus, one can specify the value of fluents at some given time points, the actions that took place at given time points, and their effects.
Read more about Event Calculus: Fluents and Actions, Domain-independent Axioms, Domain-dependent Axioms, The Event Calculus As A Logic Program, Extensions and Applications, Reasoning Tools
Famous quotes containing the words event and/or calculus:
“A miracle, my friend, is an event which creates faith. That is the purpose and nature of miracles. They may seem very wonderful to the people who witness them, and very simple to those who perform them. That does not matter: if they confirm or create faith they are true miracles.”
—George Bernard Shaw (1856–1950)
“I try to make a rough music, a dance of the mind, a calculus of the emotions, a driving beat of praise out of the pain and mystery that surround me and become me. My poems are meant to make your mind get up and shout.”
—Judith Johnson Sherwin (b. 1936)