human
Veuillez expliquer ce qu'est le "calcul de situation"
gpt
Le calcul de situation est un formalisme logique conçu pour représenter et raisonner sur des domaines dynamiques. Il a été introduit pour la première fois par John McCarthy en 1963. La version principale du calcul situationnel présentée dans cet article est basée sur celle introduite par Ray Reiter en 1991. Elle est suivie de sections sur la version de McCarthy de 1986 et d'une formulation de programmation logique.