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:
“In the event of an oxygen shortage on airplanes, mothers of young children are always reminded to put on their own oxygen mask first, to better assist the children with theirs. The same tactic is necessary on terra firma. There’s no way of sustaining our children if we don’t first rescue ourselves. I don’t call that selfish behavior. I call it love.”
—Joyce Maynard (20th century)
“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)
“Our argument ... will result, not upon logic by itself—though without logic we should never have got to this point—but upon the fortunate contingent fact that people who would take this logically possible view, after they had really imagined themselves in the other man’s position, are extremely rare.”
—Richard M. Hare (b. 1919)
“screenwriter
Tony Pastor, the pioneer of vaudeville, played the theater in 1876.... He had been preceded by P.T. Barnum, and an occasional performer such as Professor Simmons, “Great, Weird, Wondrous, and Invincibly Incomprehensible ... Basiliconthamaturgist.””
—State of Utah, U.S. public relief program (1935-1943)