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:
“Found a family, build a state,
The pledged event is still the same:
Matter in end will never abate
His ancient brutal claim.”
—Herman Melville (1819–1891)
“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)