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 Republican convention, an event with the intellectual content of a Guns’n’Roses lyric attended by every ofay insurance broker in America who owns a pair of white shoes.”
—P.J. (Patrick Jake)
“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)
“The Apache have a legend that the coyote brought them fire and that the bear in his hibernations communes with the spirits of the “overworld” and later imparts the wisdom gained thereby to the medicine men.”
—Administration in the State of Arizona, U.S. public relief program (1935-1943)