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.
known for
Wikipage redirect
primaryTopic
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.
has abstract
Beim Situationskalkül handelt ...... ktionsplanung eingesetzt wird.
@de
En intelligence artificielle, ...... uit par John McCarthy en 1963.
@fr
The situation calculus is a lo ...... logic programming formulation.
@en
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
649,745,107
hypernym
comment
Beim Situationskalkül handelt ...... ktionsplanung eingesetzt wird.
@de
En intelligence artificielle, ...... uit par John McCarthy en 1963.
@fr
The situation calculus is a lo ...... logic programming formulation.
@en
label
Calcul des situations
@fr
Situation calculus
@en
Situationskalkül
@de