{"id":301,"date":"2017-02-09T21:20:22","date_gmt":"2017-02-09T20:20:22","guid":{"rendered":"http:\/\/www2.mathnique.com\/site\/?page_id=301"},"modified":"2026-05-16T15:01:55","modified_gmt":"2026-05-16T13:01:55","slug":"generalites","status":"publish","type":"page","link":"https:\/\/www.mathnique.com\/site\/generalites\/","title":{"rendered":"G\u00e9n\u00e9ralit\u00e9s"},"content":{"rendered":"


\n\"Un des plus vieux r\u00eaves de l'homme est de trouver la cl\u00e9 du raisonnement\"
\n\"\"
\n<\/em><\/p>\n

2 th\u00e8ses s'affrontent depuis la nuit des temps \u00e0 ce propos :<\/p>\n

- les\" m\u00e9canistes \" comme PLATON :<\/strong> <\/span>Pour eux, tout est raisonnement et que l'intelligence est une activit\u00e9 combinatoire.<\/p>\n

Les syst\u00e8mes experts\u00a0actuels sont bas\u00e9s sur cette th\u00e8se.<\/p>\n

- les \"spiritualistes\" comme PASCAL<\/span> qui pensent qu'il n'y a pas que la d\u00e9duction.<\/p>\n

L'intuition existe et en plus n'est pas formalisable.<\/p>\n

Cette deuxi\u00e8me \u00a0th\u00e8se permet d'expliquer les \u00e9checs relatifs dans 2 domaines :<\/p>\n

- la traduction automatique des langues naturelles<\/p>\n

- dans certains jeux, les ordinateurs ne battent pas les grand-ma\u00eetres.<\/p>\n

Qu'est-ce que l'Intelligence artificielle ?<\/b><\/p>\n

C'est une branche de l'Informatique qui a pour objet de reconstituer \u00e0 l'aide de moyens artificiels - presque toujours des ordinateurs - des RAISONNEMENTS et des ACTIONS INTELLIGENTES.<\/p>\n

\"\" \"\"<\/p>\n

C'est une science exp\u00e9rimentale :<\/p>\n

- qui travaille sur les ordinateurs<\/p>\n

- et aussi sur les hommes afin de comprendre comment fonctionne l'intelligence humaine.<\/p>\n

Qu'est-ce qu'une intelligence artificielle ?<\/b><\/p>\n

Une intelligence artificielle est \"un objet capable de r\u00e9unir, rassembler, choisir,comprendre, percevoir, savoir\" dixit FEIGENBAUM.<\/p>\n

Depuis 30 ans, cet objet est un ordinateur m\u00eame s'il \u00e9volue ( les composants ne sont plus en silicium, on est en train de passer de l'architecture classique de VON NEUMANN \u00e0 une architecture parall\u00e8le ou encore mieux \u00e0 une architecture neuronale,...)
\n\"\"<\/p>\n

L'Histoire de l'Intelligence Artificielle<\/b><\/span><\/p>\n

Elle se confond avec celle de l'Informatique.<\/p>\n

D\u00e8s 1950, les chercheurs essaient de r\u00e9soudre 4 types de probl\u00e8mes :<\/p>\n

- Probl\u00e8me 1<\/span> :<\/b>
\nle traitement des langues naturelles et leur traduction automatique<\/em>.
\n\"\"<\/p>\n

- Probl\u00e8me 2<\/span> :<\/b>
\nla r\u00e9solution de probl\u00e8mes combinatoires pos\u00e9s par certains jeux en particulier dans le jeu d'\u00e9checs<\/em>
\no\u00f9 l'on est en pr\u00e9sence d'arborescences de l'ordre de grandeur : 10 120<\/sup> situations possibles.
\n\"\"<\/p>\n

- Probl\u00e8me 3<\/span> :<\/b> la d\u00e9monstration automatique de th\u00e9or\u00e8mes<\/p>\n

\"\"<\/em>Le th\u00e9or\u00e8me des quatre couleurs<\/b> indique qu'il est possible, en n'utilisant que quatre couleurs diff\u00e9rentes, de colorier n'importe quelle carte d\u00e9coup\u00e9e en r\u00e9gions connexes , de sorte que deux r\u00e9gions adjacentes<\/i> (ou limitrophes<\/i>), c'est-\u00e0-dire ayant toute une fronti\u00e8re (et non simplement un point) en commun re\u00e7oivent toujours deux couleurs distinctes.<\/p>\n

Dans les ann\u00e9es 1960 et 1970, Heinrich Heesh s'int\u00e9resse \u00e0 la possibilit\u00e9 de prouver informatiquement le th\u00e9or\u00e8me des quatre couleurs. Finalement, en 1976, duex am\u00e9ricains Kennet Appel et Wolfang Haken , affirment avoir d\u00e9montr\u00e9 le th\u00e9or\u00e8me des quatre couleurs<\/sup>.
\nLeur d\u00e9monstration divise la communaut\u00e9 scientifique\u00a0: pour la premi\u00e8re fois, en effet, la d\u00e9monstration exige l'usage de l'ordinateur pour \u00e9tudier les 1\u00a0478\u00a0cas critiques (plus de 1\u00a0200\u00a0heures de calcul). Le probl\u00e8me de la d\u00e9monstration du th\u00e9or\u00e8me se trouve alors d\u00e9plac\u00e9 vers le probl\u00e8me de la validation\u00a0:<\/p>\n