« Calcul de situation » : différence entre les versions
m (Remplacement de texte — « Category:Coulombe » par « <!-- Coulombe --> ») |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
== en construction == | == en construction == | ||
[[Category:Vocabulary]] | |||
[[Category:Vocabulary]] | [[Category:Intelligence artificielle]] | ||
[[Category:Intelligence artificielle]] | [[Catégorie:Coulombe]] | ||
== Définition == | == Définition == | ||
| Ligne 10 : | Ligne 9 : | ||
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. | 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: | Source: https://fr.wikipedia.org/wiki/Calcul_des_situations | ||
https://fr.wikipedia.org/wiki/Calcul_des_situations | |||
== Français == | == Français == | ||
calcul des situations | '''calcul des situations''' | ||
https://fr.wikipedia.org/wiki/Calcul_des_situations | Source: https://fr.wikipedia.org/wiki/Calcul_des_situations | ||
== Anglais == | == 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. | 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. | ||
Version du 18 septembre 2019 à 16:26
en construction
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.
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
