Document PDF disponible en téléchargement L'objectif de l'intelligence artificielle est à long terme de faire effectuer par un système ... connaissances, déductif, permettant l'écriture de systèmes-expert sur
des thèmes variés ... 512 Problèmes corrigés - Lisp complet ...... P vient d'être
prouvé à la même passe, on réserve l'examen de cette règle pour la passe
suivante.