Définitions

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.

Recevez des exclus !

Contenus liés

Abonnez-vous et recevez des infos en exclu

24pm academy
17 rue etex 75018 Paris
O6 62 55 OO 1O

Search