Calcul des situations
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