home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 8 Other / 08-Other.zip / nr22s.zip / NR22.HLP (.txt) < prev    next >
OS/2 Help File  |  1995-11-30  |  41KB  |  809 lines

  1.  
  2. ΓòÉΓòÉΓòÉ 1. Introduction ╨ò NR/2 ΓòÉΓòÉΓòÉ
  3.  
  4. L'informatique traditionnelle apporte des solutions rassurantes ╨ò l'utilisateur 
  5. par son cot╨Æ d╨Æterministe. Mais encore beaucoup de probl╨Ümes sont mod╨Ælis╨Æs par 
  6. des m╨Æthodes conduisant ╨ò des solutions d╨Æterministes. Cet aspect demande aux 
  7. d╨Æveloppeurs d'applications de sp╨Æcifier la solution par la description d'un 
  8. raisonnement complet, rigoureux et parfois compliqu╨Æ. 
  9.  
  10. Car l'ordinateur est b╨ÿte, sans initiative (heureuses ou ...) et que sans 
  11. l'intervention initiale de l'homme, il sert ╨ò peine plus qu'un radiateur. Les 
  12. utilisateurs sont donc aussi frustr╨Æs car si la solution ne peut ╨ÿtre 
  13. explicit╨Æe dans son ensemble, le projet n'aboutit pas. 
  14.  
  15. L'IA (intelligence artificielle) offre une autre fa╨ùon de voir les choses. Nous 
  16. d╨Æcrivons les conditions de d╨Æpart dans un langage quasi naturel, les r╨Æsultats 
  17. escompt╨Æs et la machine recherche seule une solution. Notons que de rechercher 
  18. l'existence d'une solution ou bien de rechercher sa d╨Æfinition revient souvent 
  19. au m╨ÿme, de m╨ÿme que reconna╨£tre si un mot appartient ╨ò un langage ou g╨Æn╨Ærer 
  20. tous les mots d'un langage est un probl╨Üme unique. 
  21.  
  22. NR/2 est un logiciel qui impl╨Æmente un r╨Æseau de neurones formels. Et pourtant, 
  23. il ne suffit pas de parler de neurones pour se consid╨Ærer dans le domaine de 
  24. l'IA ! Son salut passe par sa facult╨Æ d'apprentissage. Donnez lui un ensemble 
  25. de concepts, des propri╨Æt╨Æs, il sera capable de g╨Æn╨Ærer des r╨Ügles et de 
  26. g╨Æn╨Æraliser des solutions. 
  27.  
  28. L'utilisateur n'a donc pas ╨ò d╨Æcrire compl╨Ütement une solution. Certes, qui 
  29. parle de mod╨Ælisation (de neurones) se place dans un contexte abstrait, o╨º 
  30. l'interpr╨Ætation doit tenir compte de la pr╨Æcision du mod╨Üle. 
  31.  
  32. On pourrait imaginer un logiciel ennuyeux, difficile ╨ò manipuler et pourtant il 
  33. a ╨Æt╨Æ con╨ùu pour fonctionner ╨ò l'aide d'une interface graphique qui lui inspire 
  34. convivialit╨Æ, souplesse et robustesse. L'interface s'est stabilis╨Æe (la version 
  35. 2.2s pour OS/2Γòò est la cinqui╨Üme version du logiciel). 
  36.  
  37. NR/2 vous permettra en plus de vous initier ╨ò l'IA par la voie des r╨Æseaux de 
  38. neurones formels, de d╨Æcouvrir les pr╨Æceptes des sciences cognitives et de 
  39. construire des applications sans ╨Æcrire une ligne de programme. Simplement en 
  40. d╨Æcrivant l'aspect de la solution. 
  41.  
  42.  
  43. ΓòÉΓòÉΓòÉ 2. Utilisation du logiciel shareware NR/2 v2.2s ΓòÉΓòÉΓòÉ
  44.  
  45.  Ce logiciel est en shareware. Si vous lui trouvez de l'int╨Ær╨ÿt, contactez-moi 
  46. sur compuserve (user-id: 100520,3445) ou sur internet (adresse e-mail: 
  47. 100520.3445@compuserve.com) 
  48.  
  49.  if you wish get an english version, send me a mail. 
  50.  
  51.  
  52. ΓòÉΓòÉΓòÉ 3. Mod╨Ælisation d'un neurone ΓòÉΓòÉΓòÉ
  53.  
  54. Nous pr╨Æsentons d'abord le mod╨Üle biologique mais tenons ╨ò pr╨Æsicer que sa 
  55. compr╨Æhension n'est pas n╨Æc╨Æssaire pour utiliser NR/2. C'est seulement ╨ò titre 
  56. indicatif. 
  57.  
  58. L'╨Æl╨Æment fondamental ╨ò mat╨Ærialiser est la fonction d'int╨Ægration des 
  59. impulsions d'excitation recueillies par les dentrites. On utilise pour cela un 
  60. compteur. On d╨Æfinit ╨Ægalement la fonction Transition(excitation) qui vaut 1 si 
  61. (excitation>seuil d'apprentissage) et -1 sinon. 
  62.  
  63. Pour sp╨Æcialiser chaque neurone (= le distinguer des autres),on leur associe un 
  64. symbole unique, ou concept. 
  65.  
  66.  pour le programmeur, un neurone se r╨Æsume donc ╨ò 
  67.  
  68.   un symbole (concept associ╨Æ au neurone) 
  69.  
  70.   une entr╨Æe qui collecte des excitations 
  71.  
  72.   une fonction de transition du seuil d'apprentissage 
  73.  
  74.   une fonction de transfert du niveau de sortie 
  75.  
  76.   un  ensemble de connexion ╨ò d'autres neurones 
  77.  
  78. Voici quelques ordres de grandeur: 
  79.  
  80. poids initial (ordre de grandeur 0.001), 
  81.  
  82. seuil (ordre de grandeur 0.2) 
  83.  
  84. epsilon (ordre de grandeur 0.01) 
  85.  
  86. le symbole est une cha╨£ne 
  87.  
  88. le poids et la somme sont des r╨Æels (machines h╨Ælas) 
  89.  
  90.  
  91. ΓòÉΓòÉΓòÉ 4. R╨Æseau de neurones ΓòÉΓòÉΓòÉ
  92.  
  93. Un r╨Æseau de neurone est la connexion d'un ensemble de neurones (formels ou 
  94. non). Les biologistes parleront s╨ªrement de cha╨£ne de neurones tandis que les 
  95. praticiens de la repr╨Æsentation des syst╨Ümes indiqueront que la connexion est 
  96. la construction de sous syst╨Ümes autour des 3 agencements de base : parall╨Üle, 
  97. cascade ou boucl╨Æe. 
  98.  
  99. Sur le mod╨Üle biologique, ce sont les dentrites qui sont charg╨Æes de collecter 
  100. l'excitation ╨Æmanente d'autres neurones. Si l'excitation d╨Æpasse le seuil fix╨Æ 
  101. durant l'apprentissage, le noyau se d╨Æcharge dans l'axone qui conduit une 
  102. impulsion (en sens unique) vers d'autres neurones. 
  103.  
  104. le but est de r╨Æcup╨Ærer l'╨Ætats de certains neurones (pr╨Æ-effecteurs) en 
  105. r╨Æponse ╨ò une excitation fournie en amont. C'est ce qu'on appelle la 
  106. g╨Æn╨Æralisation. 
  107.  
  108.  
  109. ΓòÉΓòÉΓòÉ 5. Le mod╨Üle employ╨Æ par NR/2 ΓòÉΓòÉΓòÉ
  110.  
  111. Pour le mod╨Üle utilis╨Æ par NR/2, chaque neurone est connect╨Æ ╨ò tous les autres. 
  112. Le logiciel est livr╨Æ pour pouvoir mettre en oeuvre une certaine quantit╨Æ de 
  113. neurones (120 au maximum). 
  114.  
  115. Ce nombre n'est qu'une constante de compilation et peut ╨ÿtre chang╨Æe sans 
  116. modifier le programme. Rassurez vous, la plupart des probl╨Ümes se mod╨Ælisent 
  117. avec beaucoup moins de neurones. Par ailleurs, si augmenter cette constante 
  118. permet de s'attaquer ╨ò des probl╨Ümes plus gros, le mod╨Üle r╨Ætroaction n'est 
  119. plus adapt╨Æ et les ressources syst╨Ümes croissent exponentiellement. Le syst╨Üme 
  120. h╨úte serait consid╨Ærablement ralenti. Cependant [voir la section suivante], ce 
  121. nombre (120) est une majoration confortable du nombre moyen de neurones 
  122. utilis╨Æs pour un probl╨Üme donn╨Æ. 
  123.  
  124. Dans notre mod╨Ælisation de neurone [premi╨Üre section], nous avons parl╨Æ de 
  125. symbole associ╨Æ. Il faudrait donc rassembler tous les symboles relatifs ╨ò un 
  126. probl╨Üme, les propri╨Æt╨Æs d'apprentissages et d'autres informations. 
  127.  
  128. Nous d╨Æfinissons donc un THEME, qui regroupe dans 4 fichiers : 
  129.  
  130. un descriptif du th╨Üme (int╨Ær╨ÿt, remarques diverses, notations) 
  131.  
  132. un ensemble de symboles ou concepts 
  133.  
  134. un ensemble de listes d'apprentissage 
  135.  
  136. un ensemble de listes d'exemples de d╨Æmonstration 
  137.  
  138. Apr╨Üs chargement d'un th╨Üme (prise de connaissance des concepts), commence une 
  139. phase d'apprentissage o╨º les niveaux de transition de chaque neurone sont 
  140. r╨Ægl╨Æs. Ensuite, nous pouvons exciter certains neurones et demander au r╨Æseau 
  141. de g╨Æn╨Æraliser. 
  142.  
  143. La manipulation des th╨Ümes ainsi que leur d╨Æfinition est pr╨Æsent╨Æe dans la 
  144. section "Etude d'un exemple". 
  145.  
  146. NR/2 est compos╨Æ de deux parties : l'une orient╨Æe objets, charg╨Æe des relations 
  147. avec Presentation Manager (PM), l'autre, ╨Æcrite en C partable et totalement 
  148. ind╨Æpendante du syst╨Üme d'exploitation repr╨Æsente l'ensemble des fonctions IA. 
  149. On pourrait facilement en tirer une libraire et pourquoi pas une libraire 
  150. d'objets. 
  151.  
  152. Notons que OS/2 a ╨Æt╨Æ choisi pour sa robustesse par rapport ╨ò Windows et sa 
  153. v╨Æritable gestion 32 bits de la m╨Æmoire. On peut enfin passer plus de temps sur 
  154. l'efficacit╨Æ d'un algorithme qu'╨ò faire fonctionner le logiciel. 
  155.  
  156.  
  157. ΓòÉΓòÉΓòÉ 6. Apports de l'informatique au probl╨Üme ΓòÉΓòÉΓòÉ
  158.  
  159. L'informatique -et en particulier la micro- donne une g╨Æn╨Æricit╨Æ ╨ò un produit 
  160. tout en lui garantissant une disponibilit╨Æ. 
  161.  
  162. G╨Æn╨Æricit╨Æ car la plupart des applications actuelles ont un certain degr╨Æ de 
  163. programmation : fichiers profils, macro-commandes ou langage d╨Ædi╨Æ. Donc, 
  164. l'utilisateur lambda peut facilement se construire un environnement automatis╨Æ 
  165. pour des t╨ôches quotidiennes. Et pour cela, il a besoins d'outils, lesquels 
  166. sont bas╨Æs sur une technologie. Une application simple d'utilisation telle NR/2 
  167. est adapt╨Æ ╨ò cela, ╨ò travers son interface conviviale. 
  168.  
  169. La disponibilit╨Æ, elle, est plut╨út une contrainte de l'ing╨Ænieur, ou plus 
  170. modestement du programmeur int╨Æress╨Æ. Si les biblioth╨Üques math╨Æmatiques sont 
  171. nombreuses, il est rare de voir une librairie IA dans des publicit╨Æs de revues, 
  172. m╨ÿme sp╨Æcialis╨Æes (telles que celles dont se servent les ing╨Ænieurs). NR/2 rend 
  173. disponible la technologie IA en exposant le probl╨Üme. Seule la fonction 
  174. d'apprentissage est difficile ╨ò mettre en place efficacement. 
  175.  
  176. L'IA, c'est la rencontre de deux mondes. L'informatique permet d'automatiser et 
  177. de r╨Æp╨Üter une exp╨Ærience ╨ò volont╨Æ, l'IA (NR/2) permet de s'exprimer dans un 
  178. langage naturel. 
  179.  
  180.  
  181. ΓòÉΓòÉΓòÉ 7. Lancer le logiciel et se familiariser avec l'interface ΓòÉΓòÉΓòÉ
  182.  
  183. Ce chapitre pr╨Æsente des proc╨Ædures ╨Æl╨Æmentaires d'utilisation de NR/2. 
  184.  
  185.  
  186. ΓòÉΓòÉΓòÉ 7.1. D╨Æmarrage ΓòÉΓòÉΓòÉ
  187.  
  188.   Il est tr╨Üs simple. Comme nous l'avons mentionn╨Æ dans la partie installation, 
  189. vous pouvez soit double cliquer sur l'ic╨úne NR/2 soit lancer le programme 
  190. depuis une session OS/2. 
  191.  
  192. Dans tous les cas, vous vous retrouvez sous Presentation Manager en mode 
  193. graphique. 
  194.  
  195. Si votre syst╨Üme est configur╨Æ pour fonctionner avec une r╨Æsolution de 640 
  196. pixels par 480, la fen╨ÿtre principale prendra toute la largeur de l'╨Æcran. Si 
  197. vous travaillez dans une r╨Æsolution plus ╨Ælev╨Æe (800x600 ...) vous pouvez 
  198. encore l'agrandir. 
  199.  
  200. Vous d╨Æcouvrez alors la fen╨ÿtre principale de NR/2 :  Sous la barre de titre 
  201. mentionnant  "NR/2 v2.2 pour OS/2 - [aucun th╨Üme charg╨Æ]" apparaissent les 
  202. menus : Programme, Th╨Üme, R╨Æseau. 
  203.  
  204. A gauche de la barre de titre, se trouve le menu syst╨Üme (relatif ╨ò PM). 
  205.  
  206. Sous le menu, vous pouvez distinguer une zone blanche. C'est dans cette zone 
  207. que NR/2 vous fera part de messages: ╨Ætat, pr╨Æcisions, r╨Æsultats ... 
  208.  
  209. Pour l'instant, seul est affich╨Æ le nombre max. de neurones que peut g╨Ærer 
  210. NR/2. Ce nombre est une constante d╨Ætermin╨Æe au moment de la compilation du 
  211. programme. 
  212.  
  213. Il indique combien de concepts diff╨Ærents peut distinguer NR/2. 
  214.  
  215. Encore dessous se trouvent des boutons poussoirs (Charge, Apprend ...) sur fond 
  216. gris. 
  217.  
  218. D╨Üs que vous d╨Æplacez la souris sur cette zone grise, une ligne d'╨Ætat (tout en 
  219. bas) vous renseigne sur le r╨úle du bouton (appel╨Æ bouton SmartText) situ╨Æ ╨ò sa 
  220. verticale. Essayez ! 
  221.  
  222.  
  223. ΓòÉΓòÉΓòÉ 7.2. les touches de fonctions et raccourcis (premi╨Üre partie) ΓòÉΓòÉΓòÉ
  224.  
  225.    Voici la liste non exhaustive des touches principales : 
  226.  
  227.  raccourci   bouton SmartText     effet 
  228.  
  229. ΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇΓöÇ 
  230.  
  231.  F1        ? F1         appelle l'aide g╨Æn╨Ærale 
  232.  
  233.  F3 ou Alt F4   Quit         sort du logiciel 
  234.  
  235.  F5        Charge        charge un th╨Üme 
  236.  
  237.  
  238. ΓòÉΓòÉΓòÉ 7.3. Les menus ΓòÉΓòÉΓòÉ
  239.  
  240.  Menu Programme 
  241.  
  242.    activation : Alt P ou avec la souris en cliquant sur Programme 
  243.  
  244.  information syst╨Üme 
  245.  
  246.   cette option est l'╨Æquivalent de l'option A propos de ... 
  247.  
  248.   dans beaucoup de logiciels. 
  249.  
  250.  personnaliser 
  251.  
  252.   cette option vous permet de changer le fond - initialement 
  253.  
  254.   blanc - de la zone cliente. 
  255.  
  256.  aide 
  257.  
  258.    appelle l'aide g╨Æn╨Ærale. 
  259.  
  260.    invocation par F1 
  261.  
  262.  quitter 
  263.  
  264.    sort du logiciel. 
  265.  
  266.  Menu Th╨Üme 
  267.  
  268.    activation : Alt T ou avec la souris en cliquant sur Th╨Üme 
  269.  
  270.  nouveau 
  271.  
  272.    cr╨Æation d'un nouveau th╨Üme 
  273.  
  274.  descriptif 
  275.  
  276.    donne acc╨Üs au descriptif du th╨Üme 
  277.  
  278.  charger (F5) 
  279.  
  280.    charge un th╨Üme depuis le disque (ou depuis une disquette) 
  281.  
  282.  ╨Æditer symbole 
  283.  
  284.    donne acc╨Üs ╨ò la table des symboles du th╨Üme sur disque. 
  285.  
  286.  ╨Æditer listes d'apprentissage 
  287.  
  288.    donne acc╨Üs aux listes du th╨Üme sur disque. 
  289.  
  290.  ╨Æditer exemples 
  291.  
  292.    donne acc╨Üs aux exemples du th╨Üme sur disque. 
  293.  
  294.  Menu R╨Æseau 
  295.  
  296.    activation : Alt R ou avec la souris en cliquant sur R╨Æseau 
  297.  
  298.  remise ╨ò z╨Æro 
  299.  
  300.     remet les poids synaptiques de chaque neurone ╨ò une valeur 
  301.  
  302.     initiale. 
  303.  
  304.  apprentissage (F9) 
  305.  
  306.     d╨Æclenche l'apprentissage des listes du th╨Üme, i.e. r╨Ügle des 
  307.  
  308.     poids synaptiques. 
  309.  
  310.  stimuler (F10) 
  311.  
  312.     cette option vous permet de tester le r╨Æseau en lui demandant 
  313.  
  314.     de g╨Æn╨Æraliser face ╨ò une liste de consignes. 
  315.  
  316.  exemples de d╨Æmonstration 
  317.  
  318.     c'est la version automatique de l'option pr╨Æc╨Ædante.: les 
  319.  
  320.     exemples de d╨Æmonstrations font partie du th╨Üme. 
  321.  
  322.  examens des cycles (F11) 
  323.  
  324.     en choisissant l'examen, NR/2 va repr╨Æsenter pour chaque 
  325.  
  326.     liste d'apprentissage, le nombre de propagations n╨Æcessaires 
  327.  
  328.     pour l'apprendre et ce, pour chaque cycle. 
  329.  
  330.  options 
  331.  
  332.     options diverses 
  333.  
  334.  
  335. ΓòÉΓòÉΓòÉ 7.4. L'aide en ligne ΓòÉΓòÉΓòÉ
  336.  
  337.    Si vous faites F1, vous acc╨Ædez ╨ò l'aide standard de OS/2 sur NR/2. 
  338.  
  339. Pour basculer entre l'index et la table des mati╨Üres, vous pouvez emprunter les 
  340. raccourcis ALT+C et ALT+I ou passer par les menus du programme View. 
  341.  
  342. ALT+F4 vous ram╨Ünera ╨ò NR/2 
  343.  
  344.  
  345. ΓòÉΓòÉΓòÉ 7.5. Sortie de NR/2 ΓòÉΓòÉΓòÉ
  346.  
  347.    C'est tr╨Üs simple, vous avez quatre moyens de quitter NR/2 ! 
  348.  
  349. soit avec la touche F3, ou la combinaison [Alt]+ F4, ou avec l'item Quitter du 
  350. menu programme ou encore avec bouton SmartText "Quit" 
  351.  
  352. Si vous r╨Æpondez oui la confirmation, vous sortez effectivement. Sinon, vous 
  353. revenez ╨ò l'╨Ætat pr╨Æc╨Ædent votre requ╨ÿte. 
  354.  
  355.  
  356. ΓòÉΓòÉΓòÉ 8. Etude d'un exemple ΓòÉΓòÉΓòÉ
  357.  
  358. Ce chapitre pr╨Æsente en d╨Ætail un exemple fourni avec NR/2. Il s'agit de faire 
  359. apprendre au r╨Æseau l'arithm╨Ætique. 
  360.  
  361.  
  362. ΓòÉΓòÉΓòÉ 8.1. Chargement d'un th╨Üme. ΓòÉΓòÉΓòÉ
  363.  
  364. Nous vous proposons tout au long de cette partie de travailler avec un exemple 
  365. tr╨Üs simple. Il propose au r╨Æseau de d╨Æcouvrir les lois de l'arithm╨Ætique. Cet 
  366. exemple vous permettra de vous familiariser avec l'ensemble des fonctions de 
  367. NR/2. 
  368.  
  369. 1╨Üre ╨Ætape : Lancement de NR/2 
  370.  
  371. si vous ne savez pas comment faire, revenir ╨ò la section pr╨Æc╨Ædante ! 
  372.  
  373. 2╨Üme ╨Ætape : Chargement d'un th╨Üme 
  374.  
  375. si vous d╨Æcrochez le menu th╨Üme ou le menu r╨Æseau, vous constaterez que 
  376. certaines options sont gris╨Æes et non accessibles. C'est parce qu'aucun th╨Üme 
  377. n'est charg╨Æ. 
  378.  
  379. Donc, vous faites Th╨Üme/Charger. 
  380.  
  381. Une bo╨£te de dialogue appara╨£t, intitul╨Æe "Chargement d'un th╨Üme". Comme non de 
  382. fichier, est pour l'instant sp╨Æcifi╨Æ le filtre "*." Tous les th╨Ümes pour NR/2 
  383. ont un nom de fichier sans extension. Avec la souris, s╨Ælectionnez ARITHMET 
  384. dans la liste Fichiers. 
  385.  
  386. Un double clic (ou bien OK) validera votre choix. 
  387.  
  388. Vous constatez que des informations inscrites en noir sont apparues. 
  389.  
  390. Mais NR/2, qu'a t-il charg╨Æ au fait ? 
  391.  
  392. Un th╨Üme est constitu╨Æ de 4 fichiers. Ici, il s'agit de 
  393.  
  394.   ARITHMET. 
  395.  
  396.   ce fichier contient le descriptif du th╨Üme. Cette information 
  397.  
  398.   est facultative. 
  399.  
  400.   ARITHMET.SYM 
  401.  
  402.   ce fichier contient l'ensemble des symboles (concepts) 
  403.  
  404.   relatifs au th╨Üme. 
  405.  
  406.   Nous avons donc : 
  407.  
  408.  0 1 2 3 4 5 6 7 8 9 10 
  409.  
  410.  qui est l'ensemble des 11 premiers entiers naturels. 
  411.  
  412.  /1 /2 /3 /4 /5 /6 /7 /8 /9 /10 
  413.  
  414.  chacun des symboles pr╨Æc╨Ædents doit se lire "divisible par". 
  415.  
  416.  par exemple /3 se lira "divisible par 3" 
  417.  
  418.  1_diviseur 2_diviseurs 3_diviseurs 4_diviseurs 
  419.  
  420.  infinit╨Æ_de_diviseurs 
  421.  
  422.  les symboles pr╨Æc╨Ædents repr╨Æsentent ╨Ævidement le nombre de 
  423.  
  424.  diviseurs des 11 premiers entiers 
  425.  
  426.  pair impair premier non_premier 
  427.  
  428.  parit╨Æ d'un nombre 
  429.  
  430.  FIN 
  431.  
  432.  Fin est le marqueur de Fin de fichier. Il y a donc 31 symboles. 
  433.  
  434.   ARITHMET.LST 
  435.  
  436.   ce fichier contient les listes d'apprentissages, c'est ╨ò dire 
  437.  
  438.   les propri╨Æt╨Æs qui relient les symboles. 
  439.  
  440.  Nous avons donc : 
  441.  
  442.  1 /1 1_diviseur impair premier * 
  443.  
  444.  qui doit s'interpr╨Æter par : 
  445.  
  446.  concept 1 ,  divisible par 1, 1 diviseur, impair et premier. 
  447.  
  448.  l'╨Ætoile mat╨Ærialise la fin d'une liste. 
  449.  
  450.  2 /1 /2 2_diviseurs pair premier * 
  451.  
  452.  3 /1 /3 2_diviseurs impair premier * 
  453.  
  454.  4 /1 /2 /4 3_diviseurs pair non_premier * 
  455.  
  456.  5 /1 /5 2_diviseurs impair premier * 
  457.  
  458.  6 /1 /2 /3 /6 4_diviseurs pair non_premier * 
  459.  
  460.  7 /1 /7 2_diviseurs impair premier * 
  461.  
  462.  8 /1 /2 /4 /8 4_diviseurs pair non_premier * 
  463.  
  464.  9 /1 /3 /9 3_diviseurs impair non_premier * 
  465.  
  466.  10 /1 /2 /5 /10 4_diviseurs pair non_premier * 
  467.  
  468.  0 infinit╨Æ_de_diviseurs pair non_premier * 
  469.  
  470.  FIN 
  471.  
  472.  l╨ò encore, FIN est le marqueur de fin de fichier. 
  473.  
  474. La phase d'apprentissage va consister ╨ò r╨Ægler le r╨Æseau (d╨Æterminer les    poids 
  475. synaptiques) de telle sorte que r╨Æseau r╨Æponde aux propri╨Æt╨Æs pr╨Æc╨Ædentes. 
  476.  
  477. En clair, il sera capable de g╨Æn╨Æraliser que 1 2 3 5 7 est une suite de nombres 
  478. premiers alors que 1 3 5 7 est une suite de nombre impairs. 
  479.  
  480.   ARITHMET.EXP 
  481.  
  482.   Ce fichier contient quelques exemples de d╨Æmonstration des 
  483.  
  484.   capacit╨Æs du r╨Æseau ╨ò g╨Æn╨Æraliser des r╨Ügles. 
  485.  
  486.   L'auteur du th╨Üme propose : 
  487.  
  488.  premier * 
  489.  
  490.  demande au r╨Æseau d'expliquer ce qu'est pour lui le concept 
  491.  
  492.  de nombre premier 
  493.  
  494.  pair * 
  495.  
  496.  impair * 
  497.  
  498.  2 4 6 8 10 * 
  499.  
  500.  1 2 3 5 * 
  501.  
  502.  1 3 5 7 9 * 
  503.  
  504.  FIN 
  505.  
  506.  
  507. ΓòÉΓòÉΓòÉ 8.2. Apprentissage ΓòÉΓòÉΓòÉ
  508.  
  509. Avant d'avoir acc╨Üs aux informations d╨Ælivr╨Æes par le r╨Æseau de neurones 
  510. formels, il faut d╨Æclencher la phase d'apprentissage. 
  511.  
  512. En d╨Æcrochant le menu R╨Æseau, vous constatez que les options gris╨Æes sont 
  513. maintenant ╨Æcrites en noir comme les autres. Avec la souris cliquez sur 
  514. Apprentissage. 
  515.  
  516. Le pointeur change d'apparence et le r╨Æveil laisse pr╨Æsager que l'apprentissage 
  517. n'est pas instantan╨Æ. Ceci nous laisse un peu de temps pour expliquer ce qui se 
  518. passe dans l'ordinateur. 
  519.  
  520. NR/2 est en train de r╨Ægler les poids synaptiques du r╨Æseau de neurones formels 
  521. pour que chaque exemple du fichier ARITHMET.LST soit appris. 
  522.  
  523. Pour cela, il dit : Voici ce que j'ai en entr╨Æe ( par exemple 1) Voici ce que 
  524. je veux en sortie ( /1 1_diviseur impair, premier) 
  525.  
  526. Il r╨Ügle donc les poids mais l'apprentissage d'un exemple ne doit pas se faire 
  527. au d╨Ætriment des exemples pr╨Æc╨Ædemment appris ! 
  528.  
  529. Il tente de g╨Æn╨Æraliser et regarder la diff╨Ærence entre les r╨Æsultats obtenus 
  530. et les r╨Æsultats escompt╨Æs. Si cela ne suffit pas, il modifie un peu les poids. 
  531.  
  532. Pour augmenter la vitesse de calcul, la phase d'apprentissage est divis╨Æe en 
  533. cycles o╨º NR/2 d╨Æfinit les poids de plus en plus finement. Quand la diff╨Ærence 
  534. entre les r╨Æsultats escompt╨Æs et les r╨Æsultats obtenus est inf╨Ærieure ╨ò la 
  535. constante Epsilon (visible dans la zone blanche), bravo, l'apprentissage est 
  536. termin╨Æ ! 
  537.  
  538. Quand c'est le cas, NR/2 vous le mentionne en redonnant au pointeur de souris 
  539. une apparence ordinaire et en affichant dans la zone d'╨Ætat "Apprentissage 
  540. termin╨Æ". 
  541.  
  542. Pour information, sachez que la vitesse d'apprentissage entre la premi╨Üre 
  543. version du logiciel est la version actuelle a ╨Æt╨Æ multipli╨Æe par 267 ! 
  544.  
  545.  
  546. ΓòÉΓòÉΓòÉ 8.3. Examen des cycles d'apprentissages ΓòÉΓòÉΓòÉ
  547.  
  548. Si apr╨Üs l'apprentissage, vous faites R╨Æseau/Examens des cycles vous aurez une 
  549. repr╨Æsentation graphique du ph╨Ænom╨Üne pr╨Æc╨Ædent. 
  550.  
  551. L'axe des abscisses est divis╨Æ en autant que de listes d'apprentissages ( ce 
  552. nombre ne correspondant pas forc╨Æment  au nombre de symboles). 
  553.  
  554. Dans chaque colonne, vous pouvez mesurer le nombre de propagations n╨Æcessaires 
  555. (nombre de modifications des poids) pour apprendre la liste consid╨Ær╨Æe. L'axe 
  556. des ordonn╨Æes est gradu╨Æe en 10 propagations en 10 propagations. 
  557.  
  558. Les niveaux sont color╨Æs de fa╨ùon ╨ò pouvoir distinguer les diff╨Ærents cycles. 
  559.  
  560. Pour sortir de la bo╨£te de dialogue , cliquez sur OK ou faites <espace>. 
  561.  
  562. Enfin, nous allons pouvoir tester les capacit╨Æs de g╨Æn╨Æralisation du r╨Æseau : 
  563.  
  564. R╨Æseau/Exemples de d╨Æmonstration. 
  565.  
  566. Vous pouvez consulter l'exemple suivant en faisant OK. 
  567.  
  568. Si vous faites Annuler, vous sortez de la boucle. 
  569.  
  570. Lorsque certains symboles ne correspondent pas ╨ò la g╨Æn╨Æralisation, cela peut 
  571. ╨ÿtre d╨ª au mod╨Üle de NR/2 v2.2, o╨º tous les neurones sont connect╨Æs ╨ò tous les 
  572. autres (de la r╨Ætroaction appara╨£t). Il est possible d'╨Æliminer les r╨Æsultats 
  573. ind╨Æsirables, soit en augmentant la pr╨Æcision, soit en couplant plusieurs 
  574. r╨Æseaux de mani╨Üre ╨ò s╨Ælectionner les r╨Æponses int╨Æressantes. 
  575.  
  576. [NDLR, on pourrait d╨Ædier un troisi╨Üme r╨Æseau pour que l'op╨Æration soit 
  577. automatique ...] 
  578.  
  579. Par contre, si vous faites premier, la g╨Æn╨Æralisation conduit ╨ò /1 2_diviseurs 
  580. premier. Cette association n'est pourtant pas explicite dans le fichier 
  581. ARITHLET.LST. 
  582.  
  583. C'est en tout cas ce qui ressort de l'apprentissage. La r╨Æponse peut nous 
  584. sembler ╨Ævidente mais ne perdons pas de vue que le th╨Üme choisi est simple ! 
  585.  
  586.  
  587. ΓòÉΓòÉΓòÉ 8.4. Etude de vos propres exemples ΓòÉΓòÉΓòÉ
  588.  
  589. Pour changer, vous pouvez faire F10  (au lieu de R╨Æseau/Stimulation). 
  590.  
  591. NR/2 vous donne la liste de tous les symboles du th╨Üme. 
  592.  
  593. Pour l'exemple, nous vous invitons ╨ò taper 
  594.  
  595. /2;/3; 
  596.  
  597. Le temps d'un clic sur OK et NR/2 vous r╨Æpondra 
  598.  
  599. 3 6 /1 /2 /3 /6 4_diviseurs pair 
  600.  
  601. Ce qui est correct : les nombres divisibles par 2 et par 3 sont divisibles par 
  602. 6, ils ont donc au moins 4 diviseurs (car 2 est premier avec 3), s'ils sont 
  603. divisibles par 2 ils sont pair. Il est ╨Ævident que 1 les divise. 3 est un bon 
  604. candidat associ╨Æ ╨ò /3 mais entre 0 et 10, il y a 6 qui r╨Æpond ╨ò la question. 
  605.  
  606.  Vous pouvez recommencer avec d'autres listes de symboles (appel╨Æs aussi listes 
  607. de descripteurs). Notez que le descriptif du th╨Üme est accessible par 
  608. Th╨Üme/descriptif. 
  609.  
  610. Vous pouvez aussi charger l'exemple Dico qui propose au r╨Æseau d'apprendre des 
  611. mots. 
  612.  
  613.  
  614. ΓòÉΓòÉΓòÉ 9. Utilisation avanc╨Æe ΓòÉΓòÉΓòÉ
  615.  
  616. Ce chapitre d╨Ætaille la manipulation des th╨Ümes et donne quelques conseils pour 
  617. cr╨Æer des th╨Üme et les exploiter pleinement. 
  618.  
  619.  
  620. ΓòÉΓòÉΓòÉ 9.1. Personnaliser l'interface ΓòÉΓòÉΓòÉ
  621.  
  622. Vous avez la possibilit╨Æ de changer la couleur de fond pour la zone d'╨Ætat 
  623. (initialement blanche). Pour faire appara╨£tre la bo╨£te de dialogue, la commande 
  624. Personnaliser se trouve dans le menu Programme. Avec la souris, choisissez dans 
  625. la liste la couleur qui vous contient et valider avec OK. 
  626.  
  627.  
  628. ΓòÉΓòÉΓòÉ 9.2. Acc╨Üs aux fichiers d'un th╨Üme ΓòÉΓòÉΓòÉ
  629.  
  630. Le menu th╨Üme est sp╨Æcialis╨Æ dans la gestion des th╨Ümes. Nous nous 
  631. int╨Æresserons ici aux 4 commandes de manipulation d'un th╨Üme existant. La 
  632. commande relative ╨ò la cr╨Æation d'un nouveau th╨Üme sera d╨Ætaill╨Æe dans la 
  633. section suivante. 
  634.  
  635. Proc╨Ædons dans l'ordre d'apparition au moment o╨º nous avons vu ce qu'╨Ætait un 
  636. th╨Üme. 
  637.  
  638. La commande Th╨Üme/Descriptif vous laisse taper ou consulter un petit texte de 
  639. pr╨Æsentation du th╨Üme. Ce texte peut ╨ÿtre utile pour aider l'utilisateur lambda 
  640. d'un th╨Üme ╨ò interpr╨Æter les r╨Æsultats. 
  641.  
  642. Par exemple, il pr╨Æcise pour le th╨Üme Dico que R1I2R3E4 doit se lire RIRE. 
  643.  
  644. Si vous faites sauver, le nouveau descriptif remplace l'ancien. 
  645.  
  646. Ensuite viennent 3 commandes relatives aux 3 autres fichiers du th╨Üme. 
  647.  
  648. Si vous faites Th╨Üme/Editer symboles une bo╨£te de saisie s'affiche et vous 
  649. pouvez ╨Æditer des symboles. En g╨Æn╨Ærale, il s'agit d'en rajouter. Si l'option 
  650. "table des symboles en lecture seule" est valid╨Æe (R╨Æseau/Options), vos 
  651. modifications ne seront pas prises en compte. En effet, la table des symboles 
  652. est l'╨Æl╨Æment de base d'un th╨Üme. 
  653.  
  654. Quand vous avez termin╨Æ, si vous sortez par Sauver, une mise ╨ò jour du fichier 
  655. est effectu╨Æe. Cette op╨Æration ne change que le fichier, m╨ÿme si le th╨Üme est 
  656. charg╨Æ en m╨Æmoire. Donc, si vous voulez que les changements soient pris en 
  657. compte, rechargez le th╨Üme. 
  658.  
  659. Aussi, si l'option "cr╨Æer des versions bak" est s╨Ælect╨Æe, l'ancienne version du 
  660. fichier .SYM est renomm╨Æe en .SYK (SYM Back). 
  661.  
  662. En ce qui concerne la saisie. NR/2 consid╨Üre que sur chaque ligne se trouve un 
  663. symbole. Vous pouvez mettre des espaces et des caract╨Üres semi graphiqued mais 
  664. pas de point virgule et aucun symbole ne doit s'appeler "FIN" ni "*". 
  665.  
  666. Les op╨Ærations de copier coller sont disponibles. 
  667.  
  668. Avec les items Th╨Üme/Editer Listes et Th╨Üme/Editer exemples vous pouvez 
  669. modifier ou consulter des 2 autres fichiers. Les m╨ÿmes remarques s'appliquent 
  670. quant ╨ò la mise ╨ò jour,  mais ces deux tables ne sont pas prot╨Æg╨Æes en 
  671. ╨Æcriture. 
  672.  
  673. Les versions BAK sont .LSK et .EXK 
  674.  
  675.  
  676. ΓòÉΓòÉΓòÉ 9.3. Construction d'un nouveau th╨Üme ΓòÉΓòÉΓòÉ
  677.  
  678. La commande Th╨Üme/Nouveau est l╨ò pour cela. Une bo╨£te de dialogue vous demande 
  679. de pr╨Æciser le chemin et le nom du th╨Üme (8 caract╨Üres maximum) et vous invite 
  680. ╨ò remplir le descriptif. N'oubliez pas de mettre un point ╨ò la fin du nom. 
  681.  
  682. Quatre fichiers sont alors cr╨Æ╨Æs et les 3 relatifs aux tables contiennent FIN. 
  683.  
  684. En effet, c'est le marqueur de fin de fichier qui doit ╨ÿtre obligatoirement 
  685. pr╨Æsent. 
  686.  
  687. NR/2 adopte aussi les conventions suivantes : 
  688.  
  689. structure du fichier de symbole 
  690.  
  691. symbole1 
  692.  
  693. symbole2 
  694.  
  695. ... 
  696.  
  697. symboleN 
  698.  
  699. FIN 
  700.  
  701. structure du fichier des listes d'apprentissage 
  702.  
  703. symbX1 
  704.  
  705. symbX2 
  706.  
  707. ... 
  708.  
  709. symbXk 
  710.  
  711.  
  712. symbY1 
  713.  
  714. symbY2 
  715.  
  716. ... 
  717.  
  718. symbYn 
  719.  
  720.  
  721. ... 
  722.  
  723. FIN 
  724.  
  725. structure du fichier des exemples 
  726.  
  727. symbX1 
  728.  
  729. symbX2 
  730.  
  731. ... 
  732.  
  733. symbXk 
  734.  
  735.  
  736. symbY1 
  737.  
  738. symbY2 
  739.  
  740. ... 
  741.  
  742. symbYn 
  743.  
  744.  
  745. ... FIN 
  746.  
  747.  
  748. ΓòÉΓòÉΓòÉ 9.4. Exploitation des r╨Æsultats ΓòÉΓòÉΓòÉ
  749.  
  750. Cette section est presque ind╨Æpendante du logiciel. Toutefois, le logiciel est 
  751. le support et elle donne des conseils pour vous aider ╨ò construire des th╨Ümes 
  752. int╨Æressants et fonctionnels. 
  753.  
  754. Des symboles 
  755.  
  756. N'h╨Æsitez pas ╨ò donner aux symboles des noms explicites. C'est un peu comme le 
  757. probl╨Üme des identificateurs en programmation. 
  758.  
  759. "premier" est quand m╨ÿme plis lisible que "prm". 
  760.  
  761. Si vous devez tenir compte de la place d'un symbole par rapport aux autres 
  762. (grammaire, expressions, logique ...) indicez les symboles. Car pour NR/2, les 
  763. cha╨£nes 2;/2;pair; et pair;2;/2; sont ╨Æquivalentes, car les m╨ÿmes neurones sont 
  764. concern╨Æs. Par contre R1I2R3E4 et R2I1R3E4 sont distinctes. 
  765.  
  766. Des listes d'apprentissages 
  767.  
  768. Evitez de pr╨Æsenter des symboles simplement en les passant en revue. La force 
  769. du r╨Æseau vient des associations. C'est un peu comme quand on vous pr╨Æsente un 
  770. nouveau jeu aux cartes. En g╨Æn╨Æral, il ne vous reste pas grand chose d'avoir vu 
  771. les diff╨Ærentes cartes les unes apr╨Üs les autres. En revanche, un tour blanc 
  772. est souvent tr╨Üs b╨Æn╨Æfique. Vous pouvez mettre en ╨Ævidence ce ph╨Ænom╨Üne, par 
  773. ailleurs. 
  774.  
  775. Les examens des cycles d'apprentissage permettent souvent de d╨Æceler si une 
  776. liste est mal formul╨Æe, i.e. inad╨Æquate ╨ò l'apprentissage. Il peut ╨ÿtre 
  777. n╨Æcessaire de la fractionner en deux sous probl╨Ümes plus simples d'acc╨Üs. 
  778.  
  779. Le choix de l'epsilon de base ou bien d'epsilon/10 influe aussi sur les 
  780. r╨Æsultats, mais au d╨Ætriment d'un apprentissage plus long (R╨Æseau/Option). 
  781.  
  782.  
  783. ΓòÉΓòÉΓòÉ 9.5. Quelques domaines d'╨Ætudes ΓòÉΓòÉΓòÉ
  784.  
  785. L'╨Ævocation de l'IA nous fait souvent penser ╨ò des probl╨Ümes de reconnaissance 
  786. des caract╨Üres, voire de vision artificielle. Mais il semble que les 
  787. math╨Æmatiques sont bien avanc╨Æes sur ces points et qu'une d╨Ætection des 
  788. contours par le Laplacien ou par le gradient donne des meilleurs r╨Æsultats. 
  789. Pour ce qui est de la compression, la topologie induite par les fractales 
  790. semble aussi tr╨Üs au point. Cependant, il ne s'agit la que des premi╨Üres phases 
  791. et les op╨Ærations inverses sont loin d'╨ÿtre conformes ! La solution peut ╨ÿtre 
  792. des r╨Æseaux de neurones. 
  793.  
  794. De fa╨ùon oppos╨Æe, on peut penser que l'homme n'a pas toujours besoin de 
  795. proth╨Üses et s'int╨Æresser ╨ò la machine comme outil et mieux comme outil 
  796. p╨Ædagogique. 
  797.  
  798. Dans un colloque ESIEA (Ecole Sup╨Ærieure d'Informatique- 
  799. Electronique-Automatique, une ╨Æcole d'ing╨Ænieurs) "Nouvelles technologie, 
  800. d╨Æmarches mentales des humains, quelles ╨Æcoles ?", auquel M. Andreuzza 
  801. (Pr╨Æsident du directoire d'IBM) a particip╨Æ, on ╨Æmit  l'id╨Æe que les 
  802. ordinateurs pouvaient davantage participer ╨ò la p╨Ædagogie et servir l'homme 
  803. plut╨út que ce soit l'homme qui s'adapte ╨ò lui. On peut maintenant avec un 
  804. r╨Æseau de neurone d╨Æterminer ╨ò l'avance quelle est la meilleure formulation 
  805. d'un concept.