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.
随便看	trickiness的意思 trickiness的意思 tricking的意思 tricking filter的意思 tricking out的意思 trick的意思 tricking up的意思 trick into的意思 trick ... into的意思 trick ... into doing的意思 trickish的意思 trickishly的意思 trickish的意思 Trick It Out的意思 Trick jump的意思 Trick knee的意思 trick layer culture的意思 trickle的意思 trick lead的意思 trickle away的意思 trickle bed的意思 tricklebed reactor的意思 trickle bed reactor的意思 Trickle charge的意思 tricklecharge的意思