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:
“My father, whose way was to force every event in nature into an hypothesis, by which means never man crucified TRUTH at the rate he did.”
—Laurence Sterne (1713–1768)
“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)
“The much vaunted male logic isn’t logical, because they display prejudices—against half the human race—that are considered prejudices according to any dictionary definition.”
—Eva Figes (b. 1932)
“Deacon King was tried for violating the Sabbath, and so hot was the debate that it was referred to the church council, which ultimately decided, after long and grave debate, that the deacon had committed a ‘work of necessity and mercy.’”
—For the State of Massachusetts, U.S. public relief program (1935-1943)