The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based on that introduced by Ray Reiter in 1991. It is followed by sections about McCarthy's 1986 version and a logic programming formulation.
Famous quotes containing the words calculus and/or situation:
“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 chaotic economic situation has convinced so many of our young people that there is no room for them. They become uncertain and restless and morbid; they grab at false promises, embrace false gods and judge things by treacherous values. Their insecurity makes them believe that tomorrow doesnt matter and the ineffectualness of their lives makes them deny the ideals which we of an older generation acknowledged.”
—Hortense Odlum (1892?)