Rigid flexibility : the logic of intelligence

À propos

"Son approche [celle de P. Wang] est dédiée à l'élaboration d'un système de raisonnement dans l'incertain fondé sur une logique de manipulation de jugements fondés par l'expérience : la ``logique non-axiomatique'' pour ``Non Axiomatic logic'' ou NAL. Le système de raisonnement correspondant est appelé NARS pour ``Non Axiomatic Reasoning System''. Le terme ``non-axiomatique'' peut paraître surprenant, mais il est proposé par P. Wang pour démarquer son système de raisonnement dans l'incertain des systèmes logiques de raisonnement fondés sur une théorie de la preuve et éventuellement des mécanismes de retour à la cohérence. Dans l'approche de P. Wang, le système de raisonnement construit et met à jour dynamiquement une évaluation quantitative de chaque proposition fondée sur des données expérimentales et interprète ensuite cette évaluation en termes de choix ou de décision. Cette vision des choses est évidemment très proche des principes de fonctionnement des systèmes de raisonnement probabilistes ou possibilistes et ne semble donc pas mériter d'être ainsi distingué en tant que ``non-axiomatique'', à moins de ranger également dans cette catégorie un bon nombre de systèmes de raisonnement dans l'incertain, proposition qui ne rassemble probablement pas l'unanimité." [Extrait de la thèse de doctorat de Patrick Fabiani, soutenue le 17 décembre 1996 à l'Ecole nationale supérieure de l'aéronautique et de l'espace, Toulouse.