The Situation Calculus As A Logic Program
It is also possible (e.g. Kowalski 1979, Apt and Bezem 1990, Shanahan 1997) to write the situation calculus as a logic program:
Here is a meta-predicate and the variable ranges over fluents. The predicates, and correspond to the predicates, and respectively. The left arrow is half of the equivalence . The other half is implicit in the completion of the program, in which negation is interpreted as negation as failure. Induction axioms are also implicit, and are needed only to prove program properties. Backward reasoning as in SLD resolution, which is the usual mechanism used to execute logic programs, implements regression implicitly.
Read more about this topic: Situation Calculus
Famous quotes containing the words situation, calculus, logic and/or program:
“The final test of a leader is that he leaves behind him in other men the conviction and the will to carry on.... The genius of a good leader is to leave behind him a situation which common sense, without the grace of genius, can deal with successfully.”
—Walter Lippmann (1889–1974)
“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)