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 loc. nom. masc.

calcul des situations loc. nom. masc.

Anglais

Situation calculus

Source: Fangzhen Lin, Handbook of Knowledge Representation, Situation Calculus.

Source: Wikipedia, Calcul des situations.