Calcul des situations
Le calcul des situations est une formalisme logique conçu pour représenter et raisonner sur des domaines dynamiques.
Il a été introduit par John McCarthy en 1975. La version principale du calcul de la situation qui est présentée dans cet article est basé sur celui présenté par Ray Reiter en 1991. Elle est suivie par les articles sur la version de McCarthy 1986 et une programmation logique formulation.