« Calcul de situation » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte — « Termes privilégiés » par « Français ») |
||
| Ligne 8 : | Ligne 8 : | ||
== | == Français == | ||
Version du 31 décembre 2018 à 15:56
Domaine
Vocabulary
Définition
Français
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
