Heuristiques de sélection en intelligence artificielle
Heuristiques de sélection en intelligence artificielle : espaces de deux démonstrations d'un théorème (*2,45 des "Principia mathematica" de B. Russell et A. N. Whitehead), à partir des mêmes théorèmes initiaux. Des programmes identiques ont engendré les deux espaces, à cette différence près que le programme de l'espace (b) possèdait en plus deux heuristiques de sélection. La ligne en gras est la démonstration. Les lignes en tiretés indiquent des branches additionnelles éliminées par une heuristique de sélection déjà dans le premier programme. (Extrait de herbert Simon, "Models of thought", Yale University Press, New haven et Londres, 1979).
Encyclopædia Universalis France - Conditions d'utilisation