Logic Theorist est un programme informatique présenté lors du premier séminaire sur l'intelligence artificielle en 1956. Celui-ci utilise le syllogisme pour démontrer des théorèmes mathématiques. ...
l'intelligence artificielle : Incroyable mais vrai, j'ai discuté avec un ordinateur.
Bon, ce n'est pas super profond, mais tout de même c'est un très bon début. Il faut aller voir