The Event Calculus As A Logic Program
The event calculus was originally formulated as a set of Horn clauses augmented with negation as failure and could be run as a Prolog program. In fact, circumscription is one of the several semantics that can be given to negation as failure, and is closely related to the completion semantics (in which "if" is interpreted as "if and only if" — see logic programming).
Read more about this topic: Event Calculus
Famous quotes containing the words event, calculus, logic and/or program:
“The vanishing volatile froth of the present which any shadow will alter, any thought blow away, any event annihilate, is every moment converted into the Adamantine Record of the past.”
—Ralph Waldo Emerson (1803–1882)
“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)
“There is no morality by instinct.... There is no social salvation—in the end—without taking thought; without mastery of logic and application of logic to human experience.”
—Katharine Fullerton Gerould (1879–1944)
“[T]he Congregational minister in a neighboring town definitely stated that ‘the same spirit which drove the herd of swine into the sea drove the Baptists into the water, and that they were hurried along by the devil until the rite was performed.’”
—For the State of Vermont, U.S. public relief program (1935-1943)