Calcul de situation

Domaine

Vocabulary
Intelligence artificielle
Coulombe

Définition

En intelligence artificielle, le calcul des situations est une logique formelle pour représenter et raisonner sur des situations et des actions. Le calcul des situations a été introduit par John McCarthy en 1963.

Source:

https://fr.wikipedia.org/wiki/Calcul_des_situations

Français

calcul des situations

Source:

https://fr.wikipedia.org/wiki/Calcul_des_situations

Anglais

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.