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.
Read more about Situation Calculus: Overview, Elements, Formulae, Regression, GOLOG, The Original Version of The Situation Calculus, The Situation Calculus As A Logic Program, See Also
Famous quotes containing the words situation and/or calculus:
“... the man in the violent situation reveals those qualities least dispensable in his personality, those qualities which are all he will have to take into eternity with him.”
—Flannery O’Connor (1925–1964)
“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)