« Calcul de situation » : différence entre les versions
m (Remplacement de texte — « Termes privilégiés » par « Français ») |
|||
| Ligne 9 : | Ligne 9 : | ||
== Français == | == Français == | ||
calcul des situations | |||
Source:<br/> | |||
https://fr.wikipedia.org/wiki/Calcul_des_situations | |||
== Anglais == | == Anglais == | ||
Version du 20 février 2019 à 02:54
Domaine
Vocabulary
Définition
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.
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
