« Calcul de situation » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 9 : | Ligne 9 : | ||
Le calcul des situations est une formalisme logique conçu pour représenter et raisonner sur des domaines dynamiques. | Le calcul des situations est une formalisme logique conçu pour représenter et raisonner sur des domaines dynamiques. | ||
------------- | |||
Il a été introduit par John McCarthy en 1975. La version principale du calcul de la situation qui est présentée dans cet article est basé sur celui présenté par Ray Reiter en 1991. Elle est suivie par les articles sur la version de McCarthy 1986 et une programmation logique formulation. | Il a été introduit par John McCarthy en 1975. La version principale du calcul de la situation qui est présentée dans cet article est basé sur celui présenté par Ray Reiter en 1991. Elle est suivie par les articles sur la version de McCarthy 1986 et une programmation logique formulation. | ||
------------------ | |||
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. | ||
Version du 29 mars 2020 à 10:42
en construction
Définition
Le calcul des situations est une formalisme logique conçu pour représenter et raisonner sur des domaines dynamiques.
Il a été introduit par John McCarthy en 1975. La version principale du calcul de la situation qui est présentée dans cet article est basé sur celui présenté par Ray Reiter en 1991. Elle est suivie par les articles sur la version de McCarthy 1986 et une programmation logique formulation.
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.
Français
calcul des situations
Anglais
Situation calculus
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
