Event Calculus - The Event Calculus As A Logic Program

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:

    We can glut ourselves with how-to-raise children information . . . strive to become more mature and aware but none of this will spare us from the . . . inevitability that some of the time we are going to fail our children. Because there is a big gap between knowing and doing. Because mature, aware people are imperfect too. Or because some current event in our life may so absorb or depress us that when our children need us we cannot come through.
    Judith Viorst (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)

    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)

    Lead bullets flattened by human teeth have been found on the camp site. Soldiers who had been caught stealing food from nearby farms customarily chewed on a bullet as the lash was laid on their bare backs.
    —For the State of New Jersey, U.S. public relief program (1935-1943)