Calcul de situation
en construction
Définition
Le calcul des situations est un formalisme logique conçu pour représenter et raisonner sur des domaines dynamiques. Il a été introduit par John McCarthy.
Français
calcul des situations
Anglais
Situation calculus
Contributeurs: Claude Coulombe, Jacques Barolet, wiki