« Calcul de situation » : différence entre les versions
(Page créée avec « == Domaine == Category:Vocabulary == Définition == == Termes privilégiés == == Anglais == ===Situation calculus === The situation calculus is a... ») |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Domaine == | == Domaine == | ||
[[Category:Vocabulary]] | [[Category:Vocabulary]]Vocabulary<br /> | ||
== Définition == | == Définition == | ||
Version du 18 mars 2018 à 20:25
Domaine
Vocabulary
Définition
Termes privilégiés
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
