Calcul de situation
Définition
Le calcul de situation est un formalisme logique conçu pour représenter et raisonner sur des domaines dynamiques. Il a été introduit par John McCarthy en 1963. Les concepts de base du calcul de situation sont les situations, les actions et les fluides. En bref, ce sont les actions qui font passer le monde dynamique d'une situation à une autre lorsqu'elles sont effectuées par des agents. Les fluides sont des fonctions dépendantes de la situation, utilisées pour décrire les effets des actions.
Français
calcul de situation
calcul des situations
Anglais
Situation calculus
Sources
Source: Fangzhen Lin, Handbook of Knowledge Representation, Situation Calculus.
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
