est-ce quelqu'un pourrait éclairer ma lanterne: quel est le rapport entre le lambda calcul et l'intelligence artificielle?
 
je sais qu'il y en a un mais je ne connais pas la particularité de ce mode de raisonnement qui le prédestine pour l'IA

essaye ca
http://membres.lycos.fr/villeminge [...] lambda.htm

Le lambda calcul est basé sur le fait que tout les objets du langage sont des fonctions.
 
Une fonction peut ainsi prendre une fonction en parametre et renvoyer une fonction.
 
C'est paradigme assez ancient qui colle bien à l'IA car il permet d'ecrire une forme de code auto-modifiable et donc adaptable (dans certaine slimites)
 
qq liens :
 
http://deptinfo.unice.fr/~roy/histoire.html
http://membres.lycos.fr/villeminge [...] lambda.htm
http://perso-info.enst-bretagne.fr [...] node3.html
 

 
Ouïlle le papier (classificaiton un peu bidon des langages, exemples pas clairs, imprécisions, rien sur les stratégies de réduction, pas de delta-reduction, passage sous silence des systèmes de réécriture), je conseille plutôt de survoler (parce que après ça rentre dans les détails) le début des papiers suivants :
http://www.cs.kun.nl/~clean/conten [...] _book.html chapitres 3, 4 et 5.
 
Par contre, j'ai rien pour répondre à la question, peut-être parce-que c'était le seul moyen d'avoir de la puissance d'expression à l'époque et que les mecs qui s'en servaient était assez matheux ?