Situation calculus

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.

单词	Situation calculus
释义	Situation calculus 英语百科 Situation calculus 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.
随便看	statistical mechanical statistical mechanics statistical mechanics of hadrons statistical mechanics of irreversible changes statistical mechanics of liquid surface statistical mecharics statistical medicine statistical, metering statistical methodology statistical method statistical mistake Statistical model statistical model identification Statistical modeling statistical model of nucleus Statistical models statistical modol Statistical moment statistical moment analysis statistical moments statistical monitor Statistical multiplexer Statistical multiplexing statistical multiplexing time slice statistical nature