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
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
