Calcul des situations
Cet article est une ébauche concernant l’informatique théorique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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.
Notes et références
Voir aussi
Articles connexes
Portail de l'informatique théorique 
Portail de la logique
