Calcul de situation


en construction

Définition

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.


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.


Français

calcul des situations


Anglais

Situation calculus


Source : 24pm academie


Source: https://fr.wikipedia.org/wiki/Calcul_des_situations