Optimal models and optimal trajectories in logical dynamics
Areski Nait Abdallah · 2001
Il a ete montre precedemment [NAI 95, NAI 00] que le raisonnement du sens commun peut etre analyse comme un mouvement a travers un espace abstrait d'etats d'information partielle. Ce mouvement est gouverne par des principes variationnels analogues a ceux utilises en mecanique classique des systemes physiques. Dans cet article nous montrons que ce lien entre le raisonnement sur information partielle et la mecanique classique semble tout a fait solide. Nous donnons des fonctions Lagrangiennes pour le raisonnement du sens commun sur des sytemes statiques et des systemes dynamiques, dont les problemes de projection temporelle tels le Yale Shooting Problem. Nous montrons que la solution de ces problemes de raisonnement du sens commun se reduit a la minimisation du Lagrangien associe sur l'espace des modeles partiels. Ces resultats suggerent que le raisonnement du sens commun peut se reduire a un probleme de programmation mathematique, consistant en la minimisation d'une fonction Lagrangienne sur un espaces abstraits d'etats cognitifs.