Intelligence artificielle et informatique théorique

Ce que l'ouvrage soutient

L'intelligence artificielle n'est pas une discipline à part : c'est une partie de l'informatique, et ses résultats se démontrent avec les outils de l'informatique théorique. L'ouvrage établit d'abord la logique, les systèmes formels, la calculabilité et la complexité, puis montre que les techniques réputées mystérieuses en découlent. Le postulat mécaniste sur lequel repose tout le champ est présenté non comme une évidence mais comme une hypothèse, dont les auteurs indiquent précisément où elle cesse d'être défendable.

Les idées force

• Le vocabulaire savant sert trop souvent à impressionner
• Le premier échec de la traduction automatique a fondé la discipline
• Un échec bien mené est un résultat
• Le postulat mécaniste, et l'endroit exact où il devient contestable
• Trois schémas d'axiomes suffisent

Ce qu'ASCENDA en a préparé