{"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":"2020-12-14T16:32:13","modified_gmt":"2020-12-14T15:32:13","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.<\/p>\n

\"\"<\/p>\n

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

-Probl\u00e8me 4<\/span> :\u00a0 la reconnaissance de formes.<\/em><\/p>\n

Dans les Ann\u00e9es 1950,\u00a0 on travaillait en langage machine et les calculateurs avaient peu de m\u00e9moire.<\/p>\n

Malgr\u00e9 ces difficult\u00e9s initiales, les travaux th\u00e9oriques continuent avec des progr\u00e8s modestes pendant des d\u00e9cennies.<\/p>\n

Heureusement, il y a eu depuis :<\/p>\n

- augmentation de la puissance des mat\u00e9riels<\/p>\n

- progression de la recherche en logique<\/p>\n

- apparition de langages plus adapt\u00e9s \u00e0 l'Intelligence Artificielle :<\/p>\n

a) Le LISP (List Processing cr\u00e9\u00e9 en 1960 par MACACARTHY)<\/p>\n

b) Le PROLOG (Programmation en logique cr\u00e9\u00e9 en 1971 \u00e0 l'universit\u00e9 de Luminy \u00e0 Marseille par Alain COLMERAUER)<\/p>\n

Ce qui a eu pour cons\u00e9quences un nouveau d\u00e9veloppement de l'IA\u00a0 que l'on appelle encore Intelligence Machinique<\/strong> <\/em>et une r\u00e9d\u00e9finition de ses objectifs :<\/p>\n

Comment repr\u00e9senter des syst\u00e8mes disposant de grandes connaissances de fa\u00e7on \u00e0 les utiliser ?<\/p>\n

Le but maintenant est :<\/p>\n

a) d'une part de construire des syst\u00e8mes logiciels \"intelligents\" traitant \u00e0 l'aide de m\u00e9thodes heuristiques des donn\u00e9es de type symbolique.<\/p>\n

b) d'autre part de construire des ordinateurs dits de \"5\u00e8me g\u00e9n\u00e9ration\" capable de v\u00e9rifier positivement le test d'Alan Turing :<\/p>\n

\"L'Utilisateur ne pourra pas distinguer si l'\u00eatre qui lui r\u00e9pond via un terminal est un HOMME ou une MACHINE\"<\/b><\/p>\n

Bibliographie non exhaustive<\/span>
\n\"\"
\n<\/b><\/p>\n

Jacques PITRAT : Utilisation des connaissances d\u00e9claratives<\/p>\n

Hubert DREYFUS : Mythes et Limites de l'IA<\/p>\n

Jacques ARSAC : Les Machines \u00e0 penser - Collection Science ouverte - Le Seuil<\/p>\n

Jean-Paul DELAHAYE : Logique, informatique et paradoxes - Belin - Pour la Science - 1999<\/p>\n

Harry HARRISON, Marvin MINSKY : Le probl\u00e8me de Turing - Robert Laffont - 1992<\/p>\n

B.A TRAHTENBROT : Algorithmes et Machines \u00e0 calculer - Monographies Dunod - 1963<\/p>\n

Le Film Ex_MACHINA (2014) d'Alex GARLAND, en plus de son imagerie soul\u00e8ve des questions pertinentes sur l'avanc\u00e9e de l'Intelligence Artificielle.\"\"<\/p>\n","protected":false},"excerpt":{"rendered":"

\"Un des plus vieux r\u00eaves de l'homme est de trouver la cl\u00e9 du raisonnement\" 2 th\u00e8ses s'affrontent depuis la nuit des temps \u00e0 ce propos : - les\" m\u00e9canistes \" comme PLATON : Pour eux, tout est raisonnement et que l'intelligence est une activit\u00e9 combinatoire. Les syst\u00e8mes experts\u00a0actuels sont bas\u00e9s sur cette th\u00e8se. - les … Continuer la lecture de « G\u00e9n\u00e9ralit\u00e9s »<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"class_list":["post-301","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/pages\/301","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/comments?post=301"}],"version-history":[{"count":8,"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/pages\/301\/revisions"}],"predecessor-version":[{"id":3223,"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/pages\/301\/revisions\/3223"}],"wp:attachment":[{"href":"https:\/\/www.mathnique.com\/site\/wp-json\/wp\/v2\/media?parent=301"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}