France Echecs Bandeau France Echecs |  
---- Saturday 20 April 2024
--- ---- --- Ecrire au webmaster
Nom d’utilisateur   Code d’accès 
--- --- ---
Forums  | Devenir membre | Mot de passe oublié ? | Charte | A propos Contacter France-Echecs
Actualités   Actualités
Tournois   Tournois
Ouvertures   Ouvertures
Clubs   Clubs
Informatique   Informatique
Arbitrage   Arbitrage
Problèmes   Problèmes
FAQ   FAQ
Etudes   Etudes
Finales   Finales
Théorie   Théorie

 Rechercher sur le site  

Abonnez-vous à la revue Europe-Echecs
Actualité des 'Machines intelligentes' par ins174 le  [Aller à la fin] | Actualités |
Je recommande à tous ceux intéressés par ce sujet la lecture de l'article L'informatique évolutionniste par John Koza - Matin Keane - Matthew Streeter, in « Pour la Science » n° 307, Mai 2003.

Où l'on voit encore une fois, contrairement à ce que pensent beaucoup de gens, que de systèmes purement mécanistes, en l'occurrence à base d'algorithmes, en bref des « machines », mais utilisant le hasard (mutations simulées), émergent des structures adaptatives et évolutives débouchant sur des « inventions » originales et parfois meilleures que les solutions optimales trouvées par l'homme. Celles-ci faisant d'ailleurs l'objet de demandes de « brevets ».
A ce sujet l'article se termine ainsi :
    Les organismes chargés d'attribuer les brevets reçoivent des descriptions d'inventions et doivent déterminer si elles sont innovantes ou non. e sont brevetées que les inventions non triviales et utiles. Les brevets couronnent ainsi l???intelligence de l???inventeur. Lorsqu???un algorithme génétique recrée une invention, qui est déjà brevetée, ne peut-on en déduire que le programme est « intelligent » ?
    Si une invention conçue par l???homme a reçu un brevet, on peut en conclure que son double créé automatiquement aurait dû être accepté (s???il avait été produit avant).
    Certains pourront s???étonner que des machines « intelligentes » puissent être obtenues par une méthode non déterministe et sans avoir recours ni à la logique ni à la connaissance. Alan Turing n???en aurait pas été surpris : dans un article de 1950, il envisageait une troisième approche de l???intelligence artificielle, celle de l???évolution, qui recherche des combinaisons de gènes, le critère étanr la valeur de survie. La programmation génétique a par de nombreux aspects tenu la promesse de la troisième voie de Turing.
J???avais déjà donné des infos sur ce sujet, la robotique évolutionniste, dans le fil :
Fin des Echecs ? (suite) par Emile

On y trouvait également cette réflexion très juste et intéressante d???Emile que je n???avais pas relevée à l???époque : " ... je trouve aussi, d'un point de vue assez vague et général que tout cela met en valeur une définition tout aussi riche que modeste de la pensée : penser c'est bricoler."
Il est évident que la démarche proposée ici concrètement par les auteurs de ces expériences en est une illustration pertinente. Mais comment s???en étonner puisque «l???Evolution », biologique celle-là, n???est nous le savons bien qu???un immense bricolage !

Yvap, marteau "100 mètres".

PS: Pour tous les nostalgiques de débats sur les machines, cliquez sur mon pseudo ! ;o)



ins174, le
Ben alors ? Tout le monde hiberne ? Peres, Kolvir, Atms et les autres, vous cueillez le muguet ? Et puis pour Carbonara, est-ce que ce qu'il y a au-dessus ne répond pas à ta question :
    Yvap/Peres, graine de bucher, pouvez-vous nous donner un exemple (simple) d'experience basé sur des automates ayant revélé un comportement qualifiable d'initiative, d'inventivité ou de leur prémisses?
Et ce n'est que le début, je pense ...


C'est reparti ! J'attendais d'acheter le n° mais bon, je n'y résiste pas !
Me semble bien que ton truc là relève du sophisme :o).

Kaspi voit un mat en 5, Fritz voit un mat en 4. Ne peut-on pas conclure que puisque Kaspi est intelligent (en temps qu'être humain... Je cause pas du bien-fondé de tous ses propos...), alors Fritz est intelligent ?

Je ne connais pas la solution trouvée par la machine donc je dis peut-être une bêtise, mais bon, je me lance.
J'ai du mal à trouver de l'intelligence dans l'émergence d'une solution à un problème, solution qui résulte d'une 'mutation/itération' aléatoire. Un peu comme Fritz qui parcourt l'espace des solutions et qui débouche forcement sur la solution optimale.

Cela dit, je serais assez d'accord avec Emile sur l'efficacité de l'empirisme. Si machine intelligente il y aura, la programmation génétique constitue la piste la plus interessante, par sa capacité à explorer un peu toutes les possibilités en privilégiant les meilleures.


ins1723, le
j'ai pa sle pour la science sous la main mais les algos genetiques c'est globalement assez pipeau. Je ne dis pas que ça ne sert jamais à rien mais c'est juste un moyen comme un autre de programmer. Un peu comme programmer dans tel ou tel langage de programmation : ça peut aider mais c'est tout c'est pas ça du tout qui va revolutionner l'informatique.
"privilegier les meilleures" ne veut pas dire grand chose, désolé.
Le mieux pour bien comprendre est de lire ce papier choisir a droite le format pdf ou autre .

Un exemple typique est le fait de suivre un gradient (une pente descendante ou montante selon qu'on cherche le point le plus bas ou le plus haut) apres s'etre positionne aléatoirement dans l'espace de recherche. Pas mal de gens pensent que ça marche forcement mieux qu'une recherche completement aléatoire ! En fait pas forcement, ca depend de f.

Dire qu'on utilise un algo genetique c'est tres vague. Comme je le disais ca revient presque à dire qu'on programme en C++ pu en java : la belle affaire. Tant que vous n'avez pas fixé comment se font les mutations, comment sont produites les nouvelles generations etc vous n'avez rien dit du tout !! Or c'est crucial et la plupart des reglages de ces "paramètres" sont complètement foireux et ne marcheront pas du tout. Et ca les chercheurs en algo genetiques ne vous le disent pas ! Ils vous montrent juste le reglage, trouve apres bien des essais au pif, qui marche bien sur un exemple ou deux et en tirent des conclusions hyper generales. J'ai meme vu un jeune docteur dire a un expose que "les algos genetiques ca marche, des gens de l'X l'ont prouvés". Ca marche pour quoi, avec quels parametres ? et dans un cas plus general ?


:o) M'aurait étonné que tu ne réagisses pas sur "les meilleures" !
Ce qui m'intéresse plutôt dans la démarche, c'est l'exploration des possibilités.

Je m'explique : Le schéma d'émergence de la vie sur terre correspond grosso modo à ce schéma :
- des briques de bases, qui s'assemblent en éléments un peu plus complexes.
- la faculté de propager ces assemblages, celle de les modifier
- Une fois la machine lancée, petit à petit une évolution vers la complexité.
- Certaines formes, pour diverses raisons, perdurent et évoluent au détriment d'autres.

Donc multiplication, polymorphisme, du temps, un espace de possibilités infini, régulé par la pression de séléction... Un schéma simple qui aboutit à la vie, puis à l'intelligence.

A priori, pas impossible à modéliser en informatique. Je serais curieux de savoir vers quoi cela tendrait de laisser tourner un truc comme ça.
Cela dit, effectivement, toute la difficulté consiste dans le fait de traduire les 'mutations' en caractère exprimable (et en code !!)... Pour le reste, je ne vois pas de difficulté insurmontable.
Les meilleures, et c'est ce que j'entendais plus haut, ce sont les formes qui perdurent.

Comme tu dis, actuellement, les caractères exprimables, c'est du paramètrage au pif. Reste que je trouve que c'est une voie intéressante, dans l'optique de voir émerger quelque chose qui ressemblerait à la vie.
Pour ce qui est de la résolution de problèmes particuliers, j'ai plus de mal à croire à la méthode. Pas eu le temps de lire tes 32 pages ! Mais passer des jours à paramètrer une bestiole pour qu'elle ait une chance de monter la pente. Ok, elle le fera peut-être, mais quelle débauche d'énergie.
D'autre part, en explorant suffisament de possibilités, je trouve normal de tomber sur une solution meilleure que celle déjà existante. Cela présente un intêret thèorique, un intêret pour l'amélioration de la méthode. Mais de là à crier au génie...


ins1723, le
Lis l'intro et la conclusion si t'as pas le temps de tout lire ;o)
En ce qui concerne ta proposition de copier les processus d'évolution de la nature je n'ai rien contre bien au contraire c'est fascinant. Mais c


Faut qu'il y ait du contradicteur à abattre pour sortir le Peres de sa caverne :o).

Nirnaeth Intelligence : Il ne faut à mon avis surtout pas s'arrêter à ce mot ; c'est unterme bien commode 'en passant' mais absolument pas 'terminal'. Il est à la fois beaucoup trop large et vague pourqu'on puisse discuter autour de lui seulement. Il est préférable de s'occuper de briques+ élémentaires et basiques, + concrètes.
Sans quoi je pense que ça déboucherait exactement sur le même type de discussion que "Leséchecs sont-ils un sport". On peut batailler des heures sans vrament avancer nimême arriver à se mettre d'accord.

Je pense que ce qu'il faut surtout retenir de l'article d'Yvap est la mise en évidencedu comportement non déterministe que l'on peut obtenir d'une "machine" ou d'unprogramme. C'est une excellente réponse à la désolante "Un ordinateur sera toujoursbête car il ne fera jamais que ce qu'on lui dira de faire".
Sans aller jusqu'à affirmer que de tels logiciels résultant d'une prog évolutionniste sontintelligents, créateurs, imaginatifs ou tout ce qu'on veut, on peut déjà constater qu'ilest possible qu'un programme présente un comportement très souple et varié au regardde ce que les hommes lui auront inculqué au départ.

Dans la même trempe on aura par exemple pu voir l'exemple des robots ré-inventant et reproduisantd'eux-même les stratégies prédatrices de l'araignée ou des grands fauves.

Kolvir : On sent bien le gars qui l'a mauvaise parce qu'il sent qu'ilsera bientôt au chomdû because les machines auront pris sa place :o)

La question que tu soulèves est intéressante. Tu suggères en fait que l' "intelligence", lacomplexité de la programmation serait décalée vers le paramétrage de l'univers évolutionniste.Tu te plains du peu d'information fournie à ce sujet, mais qu'il n'y ait pas de précision n'indiquepas que, forcément, ça soit très compliqué. Un point de vue naïf et misant sur l'honnêtetédes rédacteurs conclue même à l'opposé : C'est suffisamment couillon pour qu'il n'yait pas besoin de s'attarder sur la question...

Sur la comparaison avec l'évolution naturelle qui a conduit aux êtres ultra-perfectionnésque nous sommes : Ok pour le budget temps/parallélisme qui est gigantesque côténature. Mais d'un autre côté il y a eu un gaspillage monstrueux que l'on peut sans doutesinon éviter du moins largement réduire via un évolutionnisme semi-aveugle, ou épaulé.En tant que méta-juge on peut intervenir dans le process de sélection et interdire unvandalisme opportuniste comme ça a pu se produire souvent sur terre (cf dinosaures par ex).
Ce faisant, on perd bien-sûr une partie de la puissance de la recherche aveugle-aléatoire. C'est probablement un arbitrage à mettre en place, petite question de paramétrage :o)

J'arrive pas à télécharger ton pdf, si tu pouvais me le mailer je t'en serais reconnaissant !!

Peres


Ref Peres et Kolvir Peres : Je t'ai mailé le PDF.
Encore une fois, je ne me focalise pas sur l'intelligence. D'ailleurs à ce sujet, et en rapport avec la conclusion de l'article de PLS, le test de Turning me semble bien trop restrictif, et/ou ambitieux !
S'il n'est pas possible de différencier les réponse d'une machine de celle d'un homme, cela revient juste à dire que la machine peut simuler un comportement aussi intelligent qu'un homme. Point.
Alors, simulation ou intelligence, pour moi, c'est la clé du problème, que ce soit l'une ou l'autre alternative.
Deusio, l'autre axe important, c'est le degré d'intelligence (sans me focaliser sur le mot !) :
- Si j'arrive à faire une machine passant le test de Turning, je trouve important de savoir si elle est intelligente, ou si elle simule l'intelligence humaine.
- Si j'arrive à faire une machine dont le comportement ne permet pas de la différencier de mon clébard, le distingo simultation/intelligence se pose encore, mais avec moins de pertinence.
- Si j'arrive à simuler une fourmi, alors là, le distingo a moins d'interêt.

Tout cela pour dire que la question d'intelligence est centrale pour moi, mais qu'elle n'est pas prête d'être posée !

Autre point, je suis beaucoup plus restrictif que toi sur le non-déterminisme des exemples de l'article d'Yvap.
Si je tape suffisamment sur mon chat de Schrödinger (virtuellement of course!) pour lui faire comprendre d'aller pisser dehors, il y a de fortes probabilités qu'il le fasse au bout d'un certain temps !
Les algos génétiques privilégient ce qui tend vers la solution recherchée.Que la façon d'y arriver soit non-déterministe, ok. Que la démarche aboutisse me paraît déjà plus déterminsite, au sens large. Que la solution soit différente, voire plus performante, ne me surprend pas !
L'article de Kolvir le montre d'ailleurs, il n'y a pas d'algo/solution miracle sur les problèmes complexes ou dépendant d'un grand nombre de facteurs.

Pour ce qui est des robots ré-inventants (un lien ?), à priori car je ne sais pas ce qu'il y a derrière, je suis plus enthousiaste. J'aurais tendance à voir là qu'il existe certaines solutions plus performantes à un système de contraintes à rétroaction. Mais là aussi, la fonction d'apprentissage, ou de séléction "guide" vers une solution optimisée.

Kolvir, sur le fond, ok avec toi. Pour le moment, cela revient à paramétrer un programme pour qu'il tende vers une solution. Le mécanisme est intéressant, mais la démarche n'est pas révolutionnaire.

Pour les 'conditions très favorables', hé hé hé ! C'est un postulat un peu osé !
Soit c'est un phénomène naturel et inéluctable, pour peu qu'un minimum de conditions soient réunies. Donc simulable à priori, la vie émergeant d'une complexité de plus en plus poussée.
Soit c'est une somme incroyable de circonstances qui aboutissent à la vie. Et si l'on veut la reproduire, il faut identifier et simuler précisement ce qui la caractérise.
J'aurais tendance à privilégier la première hypothèse, plus optimiste pour la vie artificielle :o)

D'autre part, "guider" le process de sélection conduit à essayer de simuler l'existant, ce qui n'est pas, à priori, la voie la plus simple. D'autres 'formes de vie artificielles' sont peut-être plus simples à obtenir en 'laissant mijoter la soupe' qu'à partir de 'formes pré-évoluées' ?

Enfin, ok pour dire que l'Evolution n'est pas optimisée, mais d'après ton article, ce n'est pas forcément le moins bon algorithme pour aboutir au résultat :o))


Rapidement Nirna : Qu'est-ce que l'intelligence ?

Ton premier paragraphe repose entièrement sur ce terme bien que tu t'en défendes.Je te mets au défi de le ré-écrire sans utiliser ce terme (ou synonyme of course)!!
Le prob avec ce genre de mots savonnette c'est que tu peux défendre à peuprès n'importe quelle position, c'est un peu vaseux quoi. Tu tombes ensuitefatalement dans la questionnement du "comme si" (la machine est-elleintelligente ou agit-elle seulement comme si elle l'était).

La seule façon à mon avis d'éviter le piège du canada dry est d'employerdes termes plus basiques, plus terminaux, colporteurs d'un sens précis etnon d'une valise bourrée à craquer !

La suite + tard :o)


ins1723, le
il n'y a pas de bon algorithme en général ;o) C'est ce que dit l'article et c'est assez évident non ? Un algo est bon pour optimiser une fonction parce qu'il est bien adapté à la fonction c'est tout. La vie n'est pas hyper efficace sur la lune ni sur mars.

Maintenant que beaucoup de problèmes pratiques présentent plus de régulatités qu'on pourrait a priori le penser et donc soient bien optimisés par des algo simples (algo génétique relativement naif avec des paramétrages simples, methode taboo, ...) oui sans doute : les focntions que les hommes cherchent à optimiser ne sont pas complètement quelconques.
Mais croyez moi "paramétrer" un algo génétique c'est en général tout le noeud du problème, de même pour les réseaux de neurones, et en général sans le "flair" du concepteur et de la chance ça ne marche pas du tout. Bon parfois il y a de bonnes surprises ok mais tout le problème ensuite est de tirer une leçon des petits succès qu'on observe parfois. Quelle connaissance ne tirer sur la façon de mieux résoudre telle classe de problème et là les algos génétiques et surtout les réseaux de neurones sont nuls : très dur de savoir pourquoi ça à marcher et quelle leçon en tirer.
Je préconise, très humblement car je ne suis pas spécialiste de ces questions même si j'ai utiliser quelques techniques randomized pour voir, il y a longtemps, je préconsise donc de développer des démarches où les connaissances utlisées sont explicites (IA donc plutôt symbolique) même si ce n'est pas trop à la mode en ce moment pour de mauvaises raisons à mon avis. Mais quand j'ai parlé de "no free lunch" à une collègue elle m'a dit "hmm oui en effet certains chercheurs ont arrêté leurs travaux suite à ces résultats et donc je trouce ça plutôt stérile comme^papier". Les résultats négatifs font rarement plaisir ;o)


ins1723, le
simulation ou intelligence "vraie" Pourquoi la distinction entre simulation et intelligence "vraie". Je pense que la question est centrale parce qu'on ne peut pas juger un algorithme par des tests si son domaine de définition est infini : il faudrait un nombre infini de tests.
Donc en général on demande d'autre garanties. Il existe d'ailleurs des techniques pour prouver qu'un algo est correct ou pas vis à vis d'une spécification donnée. Il faut que la specification soit formelle (mathematique) et l'algo pas trop complexe sinon on ne sait pas encore faire.
En général on fait un compromis et on regarde la démarche utilisée. Si l'algo est connu ou fait partie d'une demarche connue les tests verifient docn en gros les etourderies et en tout cas confirme simplement (ou non) que le resultat attendu est bien au rendez-vous.

Si l'algo est nouveau voire donen des resulatst inattendus c'est different il faut etre plus exigeant. On veut savoir si c'est par chance qu'il a marché sur les tests ou si c'est bien un resultat général qu'on observe la. La simulation e de l'intelligence c'est un peu pareil il me semble.

Un humain n'a pas besoin de passer le test de Turing car a priori on lui fait crédit. Mais une machine qui passerait le test ne convaincrait pas grand avec ce simple test j'en suis sûr. Tout le monde voudrait savoir quelle est la méthode utilisée et pourquoi pense -t-on que cette méthode marche etc.


ins1723, le
En tout cas Il n'est pas inconcevable qu'une entité résolve des problèmes hyper complexes pour lesquels nous sommes persuadés qu'il faut de l'intelligence, alors que l'entité n'en a pas vraiment au sens ou nous l'entendons :
Elle ne réfléchira pas forcément en faisant des plans ou de façon symbolique. Bien des animaux ont des comportements incroyablement adaptés sans pour autant résoudre sciemment un problème. C'est la nature (ou une population d'être vivants qui a evolué) ici l'entité qui a résolu un problème hyper complexe sans intelligence planificatrice.


Ne pourrait-on appliquer le principe évolutionniste aux paramètres de l'environnement évolutionniste ? Une méta-évolution de l'évolutionquoi. Ca te dit rien un truc comme ça Kolvir ?


ins1723, le
Fritz Un autre exemple est donné par Fritz et ses amis logiciels d'échecs. Un joueur d'echecs de 1940 penserait sûrement, si on lui cache la technique utilisée, que Fritz réfléchit de façon "intelligente" en faisant des plans. Bon quelques parties après il pourrait avoir des doutes mais gageons que dans un premier temps il postulerait qu'il faut de l'intelligence pour joue comme ça. Et donc il douterait sûrement qu'il n'y a pas une personne qui dicte les coups.


ins1723, le
meta-evolution Il faut que tu lises le papier peres ;o). Meta evolution réglée par quels paramètres ? Il n'y a pas de réglage ou méta-réglage qui marche pour tout. Tout dépend du problème à résoudre. Ceci dit Jacques Pitrat fait un peu ce genre de choses mais pas avec des méthodes randomized du tout, avec de l'apprentissage symbolique. Son problème est que quand il a des méta-bug voire des méta-méta-bugs de son propre aveu il est hyper mal !

A mon avis il serait intessant de reprendre la démarche de Pitrat (utiliser des métaconnaissances) mais en l'appliquant à l'IA située qui vise à produire des entités bien intégrées dans leur environnement (physique ou simulé) et donc solides, pas fragiles comme des systèmes experts.


ins1723, le
AI située Donc à mon avis il s'agit de développer des entités artificielles avec des compétences concrètes solides et ensuite seulement songer à leur faire jouer aux echecs etc. Ces connaissances leur serviraient à survivre de façon autonome dans leur environnement (se reperer, acquerir de l'energie, eviter les pieges ...).Voilà, à partir d'une base saine ont peut ensuite essayer de donner des compétences plus abstraites qui pourront s'ancrer sur des compétences vraies. Pas comme le système experts qui s'écroule dès qu'on sort de son domaine, très très très étroit, de compétence.


ça fait tjs un drôle d'effet de causer avec une sulfateuse :o) Quel débit ! Un méta-bug c'est comme les bactéries dans notre bide, des (+ ou -)petits êtres qui sont + ou - bénéfiques à l'organisme hôte.
Pour la preuve mathématique de programmes, j'avoue être très sceptiquesur l'intérêt pragmatique de la chose. C'est du reste assez rigolo parce que çame semble être l'optique radicalement opposée de la prog évolutionniste.


ins1723, le
non c'est génial les preuves mathematiques de programmes peres ! Je dirais meme plus que la genération semi-automatique de code prouvé va à mon avis se développer largement mais je ne peux pas dire si c'est d'ici 5 ans ou 10 ans ou plus.
Ok c'est dur mais les perscpectives si ça marche sont vraiment énormes ! Bon je travaille un peu la dessus donc je ne suis pas totalement objectif ;o)


ins1723, le
Pour info le sysètme de freinage du méteor (ligne 14 du métro parisien) A été validée formellement et développée par la méthode B. Après ça ils ont quand même lancé une série de 107 jeux de tests (de mémoire c'est peut être 109). Et au premier test : ça crashe ! ... On ne rit pas svp.
Evidemment c'est le système de tests qui était bogué. Après corrections tous les autres tests sont passés au premier essai.
Et ce n'est pas un petit logiciel ce système de freinage. De mémoire ça fait dans les 80 000 lignes de code (ada ou C je sais plus).


Oh, M'sieur Peres... C'est pas moi qui l'a dit, le gros mot, c'est Yvap !

Effectivement, mon premier paragraphe s'appuie sur l'intelligence, mais je me garde d'y coller une définition.
N'empêche que la problèmatique de la définition se posera fatalement au premier résultat un peu patent (d'ailleurs l'auteur la pose...). Mais bon ok, c'est un autre débat.

Je n'ai absolument pas l'intention de relancer la polémique de la définition.
Mais il convient aussi d'éviter le piège de s'étonner d'un "comportement" particulier, de l'assimiler à quelque chose de spécial, mais de se refuser à préciser les critères de concordances.
Il faudrait que tu précises les termes sur lesquels tu souhaites discuter.

J'essaie justement de ne pas associer le résultat décrit dans l'article à l'"intelligence".
Conditionner un système pour le faire tendre vers une solution, c'est une réussite technique. Mais la seule 'intelligence' que cela démontre, c'est celle du concepteur.
Etablir un parallèle entre un inventeur qui dépose un brevet et un système brevetable produit par une bécane pour inférer un comportement intelligent, c'est un abus de langage grossier. Et là, l'auteur se sert à dessein de ce mot savonnette.


Oulà, à la bourre... Je répondais au 'rapidement'...


Si t'as un truc qui vante les mérites de la preuve (encore mieux si tu en es l'auteur of course :o) )je suis preneur !! J'aime mieux a priori le système de la nasa : tu faistourner le bazar sur 3 machines en parallèles, si ça pète pas au bout de 24h etque 2 sur 3 sont d'accord, c'est que c'est bon. (intox ?)
Et puis il faudrait prouver que le système de tests est ok, voire prouver lapreuve non ? :o)

Si des gars ont réussi à vendre une telle approche (quel coût par rapport à uneapproche + classique ???) à la ratp c'est pas les informaticiens qu'ilfaut féliciter mais les commerciaux... :o)

Tu vois je sais faire aussi dans lepeu objectif :o)))


ins1723, le
pour info aussi les types qui attribuent les brevets sont parfois des manches. Il parait qu'utiliser un xor pour faire afficher le curseur de la souris a été breveté (c'est du moins ce que disent les defenseurs du logiciel libre). Si c'est le cas c'est autant dire qu'obtenir un brevet n'est pas forcément gage d'une invention vraiment "intelligente".


ins1723, le
oui la nasa c'est bien connu que les navettes n'explosent jamais et que les sondes qui vont vers mars arrivent toujours à bon port ;o) En fait la Nasa est très active en programmation semi-automatique pas des méthodes formelles (et non ce n'est pas à cause de ça que les navettes ont pêté ;o).

Voilà un lien sur la méthode b .
Le côut des méthodes formelles est encore très élevé, dans les 10 fois le coût pour un programme buggé ;o)


ins1723, le
prouver la preuve Ce n'est pas la peine par définition mais prouver le prouveur c'est autre chose ;o) Et en l'occurrence celui de l'atelier B n'est pas hmm parfait ;o).
Prouver le compilo ausis c'est un problème réel. C'est pour cela qu'on ne peut pas se passer des tests malgré tout car toute la chaine peut difficilement etre complètement prouvée.
Mais en tout cas les recherches dans ce domaines devraient être encouragées ;o) car les perspectives sont vraiment importantes à moyen terme.


Nirnaeth Je n'exige pas le bannissement du terme intelligence parfois très pratiquemais je refuse des discussions axées autour de ce terme. Du reste l'article estextrêmement prudent, s'encombre (je fais pareil) de guillemets, s'en tientà lancer des interrogations, mais surtout ne discute pas du concept lui-même, ilgravite plutôt autour...

Je suis en parfaite opposition avec Kolvir qui réclame une définition du terme.A mon avis c'est une très mauvaise direction, purement et simplement vouée à perte.


ins1723, le
sur les methodes formelles en general il y un bouquin assez facile à lire "comprendre les méthodes formelles" par jean-françois monin.


ins1723, le
koa ? C'est de la provoc peres ? ;o)
Où tu as vu que je demande une définition ?


Ah, preuves mathématiques d'un code... Un autre Graal de l'info :o) !
Me rappelle de drôles de souvenirs, ça !
Genre un prof de fac tout fier parce qu'il avait réussi à prouver qu'une boucle FOR s'arrêtait à un amphi de bidouilleurs qui le regardaient avec des yeux tout ronds...!
Tout comme mes profs d'IA qui faisaient des roulades parce qu'ils résolvaient des tours de Hanoï !

M'en veut pas, Kolvir, mais les pépés de l'info à la fac m'ont un peu traumatisé ! N'empêche que la validation de code, ça c'est un truc sympa pour le grouillot informaticien.
Moi j'en suis encore aux couvertures de jeux d'essais et aux messages de traces :o)
C'est sûr que c'est un gros progrès, mais en pratique... T'es tributaire d'un existant, plus ou moins sûr, plus ou moins obscure...
Les clients n'y panent rien, même en patois, alors avant qu'il y ait adéquation entre leur langage et celui de l'outil... Puis quand il y a des problèmes conceptuels, t'en fait quoi de ton code valide ?
Je verrais pas ça dans ma boutique avant un siècle :o(.
Cela dit, je suis de tout coeur avec toi. Sans ironie !


ins1723, le
ouh là on sait jamais Ca pourrait percer avant un siècle, enfin j'espère ;o)
En ce qui concerne l'existant oui il faut pouvoir l'encapsuler pour le decrire au systeme de preuves et il faut aussi prendre en compte comme je le disais le fait que toute la chaine n'est pas sure.
En ce qui concerne le fait que les clients panent rien au formel ou même à leurs propres souhaits ;o) il faut clairement ne pas montrer du B au client directement ! Il faut mettre au dessus un langage métier dont la sémantique est donnée formellement (par exemple en B). Et là ce qui est sympa c'est que tu peux déjà en principe simuler des choses sans coder. Le client pourrait en principe poser des questions "et si on fait ça est-ce qu'on a telle propriété ou pas" et parfois on peut répondre directement sans coder. Parfois aussi on peut detecter des incoherences plus tot. Aussi le fait de demander à être précis clarifie un peu les choses etc.


ins174, le
Saperlipopette ! ! Se sont réveillées les marmottes ! ;o)) Bon je lis tout ça et j'essaie de me faire un résumé. Je bossais moi c't'aprèm ! ;o)


Vi, la Nasa ! C'est quoi la sonde qui s'est crashée parce qu'elle comptait en metres et qu'on lui filait des pieds ?
Sur que le code était valide, mais le concepteur, lui, l'était moins :o)

Peres : euh, pas tout à fait d'accord avec la retenue de l'auteur... Il s'emballe un peu lorsqu'il parle d'ingéniosité et de créativité auquel peu d'hommes parviennent.
Et il effectue à dessin un parallèle sur les brevets qui n'a pas lieu d'être. L'interro-négative ne me semble pas là relever du doute scientifique, mais plutôt de la vente de son steak !

Encore une fois, je te rejoins sur la difficulté de la définition, et sûrement sur le blocage que ça introduit dans le débat.
Mais alors, que l'on ne me soutienne pas voir dans les résultats décrits par l'article autre chose qu'une réussite technique. Surtout pas le début du commencement de la stimulation d'un neurone !
C'est pas Science et Vie Junior, quand même... Sa conclusion n'est pas rigoureuse, pour le moins.
Et si l'on veut démonter ce parallèle erroné, il faut bien que l'on précise au moins vaguement ce que recouvre l'un des termes.


ins1723, le
zallez m'obliger à l'achter ce canard ! 


Ref Kolvir... Si tu pouvais inclure dans B le client qui veut un nouveau truc, une fois que l'on est en plein développement; le chef qui dit que le client a toujours raison, même s'il faut tout en l'air :o).
L'intéressant dans ces outils, c'est la proximité avec une démarche projet 'manuelle'.
Le soucis, c'est qu'elle en posséde les mêmes défauts.
D'accord, ca industrialise la phase de conception, et ça garantit le résultat de ce que l'on spécifie.
Cependant, si le formalisme de l'outil est trop éloigné du client, c'est pas un progrès, et l'on perd en conception ce que l'on gagne en maintenance.

Bref, si tu me pondais un truc où le client il cause, où la bécane, elle traduit et fait ce que le client il veut, et où moi, je prends l'pognon, tu ferais de moi le plus heureux des informaticiens ! Chuis même prêt à te filer un petit % !


ins1723, le
ah là là Si j'avais le truc mon coco je serais en train de le vendre ;o) Mais je te parlais de langages métiers c'est à dire aussi proches que possible du langage du client mais avec une syntaxe quand meme un peu restreinte faut pas pousser.

Pour ce qui est de prendre en compte les evolution l'approche du Design Maintenance System me parait la voie à suivre même s'il reste énormément de travail à faire pour que ça remplace VB ou même VC++ ou C#.


ins1723, le
ok j'ai jeté iun oeil à l'article 


ins1723, le
mort de rire le type se mouche pas du pied. Je peux vous dire que j'ai produit automatiquement des programmes que des humains auraient sans doute eu du mal à produire à la main : des requetes SQL (pour bases de données) optimisées par un optimiseur automatique. Non pas que ces programmes sont malins mais comme il explore toutes les possibilités et qu'il en a beaucoup évidemment ... En fait l'optimiseur examine pas tout il utilise la programmation dynamique qui présuppose (principe de bell) que le meilleur programme complet peut etre construit avec de meilleurs programmes partiels (ce qui est d'ailleurs n'est pas souvent vrai mais on peut adapter l'optimiseur pour tenir compte de ce souci). La programmation dynamique c'est tres vieux et l'optimisation de requetes SQL sur ce principe c'est 1979.

Alors c'est bien de faire pareil (pour moi que ça soit génétique ou pas ça change pas grand chose) pour des circuits electroniques et si on peut breveter c'est encore mieux mais aucun mais aucun rapport avec creativite ou intelligence.

Autant dire que Fritz est intelligent comme l'a prévu Turing et sa 3ème voie.


Merdum... Je m'voyais déjà sous les cocotiers...
Merci pour les liens.
Et DMS, tu crois que ça peut le faire, pour du Cobol ? Plus qu'une boutade, mais entre l'existant cher à remplacer et la lourdeur, la nouveauté des outils, bé vais en bouffer encore 30 ans de c'truc !!!!!!!!

Maintenant, pour rebondir sur le post, le jour où l'on pourra s'abstraire du formalisme de l'outil pour un plus naturel, je veux bien concéder un degré elevé sur l'echelle de l'évolution (qu'est-ce qui faut pas faire pour éviter le mot :o)) à l'outil susnommé.


ins1723, le
3eme voie Fritz fait evoluer des "plans" (suites de coups) a partir des meilleurs sous plans (sutes plus courtes) et il elimine les plus mauvais comme l'evolution (algo alpha beta). Quel puissance creatrice ! Il devrait breveter ses parties fritz et ca prouverait, si c'est chessbase une boite reconnue, qui le fait, que c'est une contribution importante a la theorie des echecs. ;o)


ins1723, le
cobol Oui il y a beaucoup de travaux sur le retro conception de programmes cobol par des techniques formelles. faut bien vivre ;o)


ins1723, le
ceci dit Yvap Je reste tout à fait d'accord avec toi qu'en principe des machines peuvent inventer aussi bien que des humains voire même mieux. Oui je sais les humains sont des machines, bon d'autres machines que les humains peuvent (en principe) inventer.


ins1723, le
"creations de l'évoluiton" (encart du papier précité dans PLS) Il faut bien voir qu' "évolution" est simplement un terme (de meme que programmation genetique) destiné à se faire mousser ou à attirer l'attention des gens (collègues, public, sponsors). En fait faire croiser des populations de solutions c'est simplement explorer d'une certaine façon un espace de recherche. Il n'y a rien de spécial la dedans toute machine peut explorer un espace de recherche il n'y a rien de plus simple.

La seule difficulté est de ne pas tout explorer sans pour autant degrader trop la qualité de la solution. Et pour cela algo genétique, evolution tout ça c'est du pipeau intégral. Ce qui compte c'est les connaissance qu'on a sur la solution à optimiser. Si on en n'a pas on peut explorer aléatoirement et voilà c'est tout. Si la problème est simple et la machine puissante on risque de trouver des solutions pas trop mauvaises.

La fait de parler de genes c'est juste un terme pour dire qu'on suppose que de bonnes solutions partielles donnent en moyenne de meilleures solutions gloables que de mauvaises solutions partielles, c'est tout. Par solution partielle j'entends un bout ou une caractéristique d'une solution complète. Or ce postulat sur les bonnes solutions partielles n'est pas forcement vrai mais quand il l'est evidemment ça aide de s'en servir ! VOilà c'est tout.


ins174, le
Bon ben, maintenant que t'as lu l'objet, ... Je dois dire que ce que tu résumes était bien mon impression. Le truc des filtres passe-bas m'avait bien fait sourire !
N'étant pas spécialiste, merci de confirmer par tes remarques. ;o))


ins1723, le
en tout cas merci pour l'article, au moins on apprend que la conception de circuits electroniques c'est pas plus complique que les echecs et que bientot les humains se feront tous depasser par des programmes de conception. Mais bon je generalise un peu.
Du coup ça veut dire que j'ai raison de trvailler sur la programmation automatique (ou semi automatique pour commencer ;o) comme dit plus haut. Je vais moi aussi appeler ca de la prog genetique tiens, pour me faire mousser un peu. Merci pour l'idée ;o)


ins4318, le
On verra p'tet ta photo dans Paris Match ou bien non, dans Sélection du Readers' Digest, c'est plus mieux.


44 commentaires, 25 de kolvir... :o)) t'as un générateur automatique de réponses ?


Kolvir, en vrac. on suppose que de bonnes solutions partielles donnent enmoyenne de meilleures solutions gloables que de mauvaises solutionspartielles, c'est tout.Or ce postulat sur les bonnes solutionspartielles n'est pas forcement vrai : Le postulat n'est pas exactementcelui-là, ça serait plutôt de dire qu'en combinant des bouts de solutionsglobalement pas trop mauvaises on obtiendra statistiquement au moinsquelques solutions encore meilleures et recombinables.Et ce postulat estau moins validé dans notre labo géant (cad la terre) !!

Le génétique c'est pipo : Tu pourfends du tape à l'oeil et c'esttrès bien, y a sûrement un petit effet mode dans le tas. Mais de là à dire que la prog évolutionnaire ou génétique (c pas forcément lamême chose) c 100% pipo, tu exagères. Celà intègre une fonctionnalité, celàhérite de tout l'arsenal Darwinien et ça n'est pas rien.

Def Intelligence : J'avais lu un peu vite t'as raison. Je réagissaisà ça en fait "Pourquoi la distinction entre simulation et intelligence "vraie".Je pense que la question est centrale". Tu juges centrale la problématique du "comme si"qui découle à mon avis immédiatement d'une mauvaise utilisation du conceptde l'intelligence. En un mot comme en 100 c'est une question à la con. La preuve,comme tu le dis toi-même, on peut l'appliquer à n'importe quel bonhomme :Comment prouver qu'un gars est réellement intelligent et montrer qu'il neréagit pas 'simplement' mécaniquement comme s'il l'était ??
D'ailleurs tu tombes à mon avis dans ce travers qd tu dis "ha ben oui théoriquementune machine peut être très futée" mais bon "en pratique, sur ce cas précis c'est sûrqu'elle est complêtement a-pensante et pas intelligente du tout". Je te trouve bien péremptoiredans l'utilisation de concepts aussi complexes et hasardeux !


Autre truc J'avais déjà souligné que l'approche formelle était d'une certaine façon diamétralementopposée à l'approche évolutionniste.
Dans le même veine il faut voir que Kolvirs'intéresse (je crois) à la programmation utilitaire, càd qui offre une fonction immédiate,résoud un prob ou autre. Inversement l'approche évolutionnaire cherche plutôtà faire émerger une entité multi-fonctions, imitant le vivant, sociale, avec laquelle on puissecommuniquer.

2 obectifs à mon avis très distincts et qui expliquent peut-être en partie que chaque "camp" accorde à l'autre peu d'avenir et d'efficacité. C'est peut-êtreun peu le combat entre l'enseignement technique d'un côté et l'enseignement générald'un autre (métaphore osée)... ?


Ahbé merci pour la question à la con :o) C'est toi qui relance, Peres !
Pas d'accord sur l'inanité de la question. Sur son absence de réponse à l'heure actuelle, oui, mais je pense qu'elle a quand même un interêt.
Au moins celui de savoir éventuellement si l'intelligence peut juste résulter d'une combinaison de raisonnements et d'une base de connaissance.

La question n'est pas vaine.
Junior est capable de calculs, de jouer une ouverture correctement, de jouer des lignes hasardeuses, de mettre en oeuvre des plans (je n'emploie pas concevoir !). Bref, il est un grand-maître, ou il simule le jeu d'un grand-maître.
Je ne vois pas de différence fondamentale entre un GM et Junior, à part la technique mise en oeuvre pour aboutir à un résultat équivalent.
Si la question s'arrête là, tu es obligé de reconnaître une certaine capacité 'intellectuelle' à Junior.
Comprend-il ce qu'il joue ? Là, ok, tu rentres dans le débat de la définition.
Et ce n'est même pas un critère objectif, puisque je dois comprendre aussi mal que lui ce que je joue.

N'y a donc t-il pas une différence fondamentale entre simuler (ce que fait Junior, juste à plus amples précisions) et penser ?
Si oui, tu es bien obligé de distinguer ce qui différencie les deux façons de jouer, et les conséquences de ces différences.
Si non, pareil, mais pour montrer que les différences n'ont pas d'importance.
Si la question est vaine, tu constates juste l'identité de deux modes de fonctionnement. Pourquoi refuser d'aller plus loin ?

Je ne dis pas que ce débat puisse aboutir, mais ce n'est pas une raison pour l'occulter.

Pour le génétique, l'arsenal darwinien n'a peut-être aucune utilité en informatique !!
L'interêt de la chose, c'est de savoir si cette piste présente un interêt applicable et si effectivement, les mécanismes darwiniens peuvent être mis en oeuvre et exploités pour autre chose qu'un circuit éléctronique...


Aux cultes ! Si la question est vaine, tu constates juste l'identité de deux modes de fonctionnement.Pourquoi refuser d'aller plus loin ? : Dans quelle direction ? Si tu veux mettreen lumière des différences d'approche manifestes, ok je te suis. On compare2 processus remplissant la même fonctionnalité et on essaye de relever lesspécificités propres à chacun. Ok : je t'écoute !
Par contre si "aller plus loin" passe par le postulat que l'un simule l'intelligencetandis que l'autre l'a réellement, je ne comprends plus.

Y a-t-il une différence entre penser et simuler la pensée ? Est-ellefondamentale ? : Aucuneidée ! Point barre ! Et je ne vois aucun élément permettant d'avancer dansune direction ou dans une autre, donc pourquoi gaspiller de l'énergie danscette direction ?
Je ne dis pas que ce débat puisse aboutir, mais ce n'est pas uneraison pour l'occulter. : Je ne dis pas que la discussion sur l'influencedes lois quantiques sur la pensée ne peut pas aboutir, mais ne voyant aucunargument sérieux pour nourrir le débat, je ne juge pas intéressant de s'y attarder.

Mais il y a pire que cette absence de substance pour débattre qui nouscontraint à nous perdre en conjectures grauites.
Il y a que la question du "comme si" s'interroge sur l'égalité de l'ontologie intimede 2 systèmes présentant un aspect extérieur strictement identique. C'estle fameux problème du Zombie, à mon avis aussi définitivement stérile et intranchableque la question de l'existence de Dieu.
Prouve-moi que ton voisin est réellement intelligent et n'agit pas seulement comme s'ill'était.

l'arsenal darwinien n'a peut-être aucune utilité en informatique !! : Jusqu'à preuvedu contraire, notre cerveau EST un système informatique !! cqfd !

PS : Question à la con est un peu cavalier c'est vrai :o), ça serait plutôt 'piègeuse'...


Ref Kolvir Je me permets de cite msieur Kolvir qui a dit un truc qui me sembletrès juste : "Mais une machine qui passerait le test [de Turing] neconvaincrait pas grand monde avec ce simple test j'en suis sûr.Tout le monde voudrait savoir quelle est la méthode utiliséeet pourquoi pense -t-on que cette méthodemarche etc.".

Dit autrement, on pourra accorder à une boîte noire ornementée comme il faut (des cheveux, des lunettes,un front plissé etc...) qu'elle est 'intelligente'. En revanche sitôt qu'on peutouvrir la boîte, décomposer la mécanique et montrer ce qui a conduità telle réponse, alors la magie s'envole et le crédit d' "intelligence" avec...


Rrah ptin j'arrive tres tard, la... je vais commencer par lire l'article en question.Et Yvap, sache que si jamais il s'avere que tu aies raison, j'enverrai les machines incriminees te rejoindre sur ton bucher, apres quoi j'attends un brin et je relance un post sur F-E :)


Ref Peres : trop facile de renvoyer la balle :o) Alors j'aimerais bien, comme point de départ, avoir tes réponses aux questions suivantes :
- Es-tu d'accord avec moi pour dire qu'il n'y a pas de différence entre le jeu de Junior et celui d'un bon joueur d'Echecs ? Que les processus qui mènent à cette ressemblance de résultats sont schématiquement les mêmes ?
- Quel constat tires-tu de ces similitudes ?
- l'arsenal darwinien, hormis quelques mécanismes identififés, n'est pas parfait circonscrit. Pourquoi introduire une notion aussi fourre-tout dans l'informatique, et dans le débat ?
- Comment juger de la validité du test de Turning sans introduire des instruments et méthodes de mesure, donc des éléments objectifs de comparaison ? A moins de garder à ce test juste une valeur philosophique.
- Junior passe-t-il le test de Turning, si on se cantonne aux Echecs ?

Enfin, d'où sors-tu que le cerveau EST un système informatique ? Y'a t-il équivalence entre les deux ? Fonctionnellement ? Du point de vue résultat ?

Et pour la question à la con, je suis d'accord avec toi ! Mais je pense que l'on peut quand même tirer quelques résultats (non définitifs, of course) en l'évoquant ?


Je me débine pas, je réponds, et toc :o) (je pige pas très bien où tu veux en venir, j'essaie donc de répondre le + neutralement possible)

- Es-tu d'accord avec moi pour dire qu'il n'y a pas de différence entre le jeu de Junior et celui d'un bonjoueur d'Echecs ? : Je suis trop incomprenantéchiquéennement parlant pour en juger mais plusieurs joueurs prétendent arriver à pouvoir faire la différence.Un test de Turing échiquéen a même eu lieu dans ce Forum !

Que les processus qui mènent à cette ressemblance de résultats sontschématiquement les mêmes ? : 'schématiquement' ? Il y a des points communs, des similitudes comme tu dis, ça semble évident. Mais je présume aussi qu'il y a des différences notables.

Quel constat tires-tu de ces similitudes ? : Que grossomodo l'approche est lamême pour les hommes et les fritz. Que les programmeurs se sont inspirésdu fonctionnement humain.

l'arsenal darwinien, hormis quelques mécanismes identififés, n'est pasparfait circonscrit. Pourquoi introduire une notion aussi fourre-tout dansl'informatique, et dans le débat ? :!? Ben en fait je ne l'introduis pas, c'est simplement le sujet du postoriginal : L'informatique évolutionniste !!
("Fourre-tout" ? Malheureux ! Tu tiens à la vie ? :o)) )

Comment juger de la validité du test de Turning sans introduire desinstruments et méthodes de mesure, donc des éléments objectifs decomparaison ? : Le test de Turing articule 2 composantes : la mesure observée ESTle jugement subjectif, le test effectué est précisément une comparaison entre un cobayeet le sujet test justement !
Je ne comprends donc pas bien ta question.
Par contre un débat intéressant pourrait peut-être être de savoir ce à quoi permet deconclure un tel test. C'est sans doute en essayant de lui faire dire plus qu'il ne peutqu'il y aura un hic...

Junior passe-t-il le test de Turning, si on se cantonne aux Echecs ? : Jene pense pas pour l'instant. Cf + haut.

Enfin, d'où sors-tu que le cerveau EST un système informatique ? :Ben c'est pas un scoop, notre cerveau étant constitué d'un ensemble de transistors binaires...

Y'a t-il équivalence entre les deux ? : Non of course ! Tt système informatiquen'est pas un cerveau, sans quoi le prob de l'IA serait réglé depuis un bail et Kolvir pointeraità l'ANPE :o)

Ca te va ? :o))


si je peux me permettre de placer un grain de sel dans ce débat de spécialistes,"informatique évolutionniste" veut-il forcément dire "informatique darwinienne" ? d'après les propos tenus, je crois plutôt comprendre qu'une certaine téléologie sous-tend les travaux en question, aussi, ne s'agirait-il pas plutôt d'"informatique lamarckienne " ?(ce qui en soit n'est pas une honte, mais comme le dit Kolvir, faudrait pas trop tout mélanger)


En lisant ce damné bougre de Kolvir et notamment le postulat qu'il prétend -à mon avis à tort- posé, on peuten effet déchiffrer une vision lamarckienne... Mais l'informatique évolutionnisteest bien Darwinienne ! L'évolution Lamarckienne devant malheureusementne rester qu'un fantasme :o))


Petit à petit, le Peres sort de sa boîte noire... En vrac :

Où cours-je ? J'aimerai savoir quand je peux dire que un PC est intelligent.
Je présuppose qu'à partir d'un certain degré d'avancement, la différence entre intelligence et simulation, pour une mahcine, n'est plus importante. Du moins du point de vue pratique. Peut-être du point de vue théologique et/ou philosophique, mais bon...

En revanche, au stade actuelle, la question est pertinente.
Junior, Fritz simulent les processus des joueurs d'Echecs. Mieux que 95% d'entre eux. Dans une activité 'intellectuelle' et non déterministe.
Si le distingo n'est pas utile, j'en conclus sur le champ que Junior fait preuve des mêmes facultés qu'un humain.
Je ne vois pas ce qui pourrait les distinguer. Le test de Turning, au sens général de test permettant de valider l'équivalence d'un processus de raisonnement entre une machine et un cobaye humain, est, pour moi, largement passé.
Le test de Turning du forum, si on pense au même post, a montré la difficulté à distinguer l'humain du PC.
D'autre part, c'est l'observateur qui établit l'intelligence de la machine par son incapacité à distinguer les deux cobayes. C'est le cas alors de la majorité des gens.
Qu'il passe statistiquement le test de Turning ne me permet pas, à moi, de conclure à son intelligence sur le sujet. Parce que je pense qu'il manque encore certaines notions, dont la compréhension de ce qu'il joue. Ok, c'est subjectif, et sujet à débat.
Ou alors, il existe un juge de Turning absolu ? Je te laisse le soin de poursuivre (genre une machine peut-elle être juge de Turning ?) :o)

Pour le Darwinisme et ses implications, c'est peut-être sous-entendu dans l'article, mais bon, de là à postuler que ça s'applique à l'informatique de la même façon... C'est pas prouvé !

Dernière rubrique-à-brac : un tas de transistors binaires est-il un système informatique ?

P.S : Ouf pour la non-équivalence :o))


pas d'accord l'évolution lamarckienne n'est un fantasme qu'à propos du vivant ! Rien n'interdit, A PRIORI, que les concepts lamarckiens soient utilisables en informatique. Darwin n'a pas iventé la potion universelle et exclusive, applicable à touts les domaines. Il n'est pas plus idiot, TOUJOURS A PRIORI, de tester en programmation une hypothèse lamarckienne plutôt que darwinienne, voire d'ailleurs vitaliste. L'important ici, ce sont les résultats, la fécondité de l'hypothèse, alors que les théories évolutionnistes traitent avant tout de l'histoire du vivant, de phénomènes passés, non reproductibles.


Demande de précisions La théorie de Lamarck, c'est que les être vivants évoluent vers la complexité, et que le milieu n'a qu'une influence relative sur cette évolution ?
Darwin dit lui que c'est la pression du milieu qui façonne cette évolution ?



Ref patricelaine "non reproductibles" ?? bien-sûr que si ! Phénomènes non seulement reproductibles maiségalement reproduits en laboratoire de même que dans la nature !!
Non mais !

Rien n'interdit de s'appuyer sur des hypothèses finalistes en effet, ni mêmede tenter d'immoler un bouc ou d'allumer un cierge, sauf peut-être le bon sens ? :o))
Mais bon je fais peut-être un mauvais procès, je connais pas très bien la théorie de Lamarck.


Nirnaeth (Turing et pas Turning ! :o) )

En parlant du fameux test je disais "C'est sans doute enessayant de lui faire dire plus qu'il ne peut qu'il y aura un hic...".Tu me réponds par "Qu'il passe statistiquement le test deTurning ne me permet pas, à moi, de conclure à son intelligencesur le sujet.". Qui a dit le contraire ? Je mettais justement en gardecontre l'interprétation abusive qu'on pouvait être tenté d'en faire !

Dernière rubrique-à-brac : un tas de transistors binaires est-il un système informatique ? :Ben s'ils peuvent mémoriser des informations, les traiter, recevoir desdonnées en entrée, en émettre en réponse en sortie il me semble bien que oui...


Oups, désolé, c'est parce que je tourne chèvre Est-on au moins d'accord sur la difficulté de différencier, sauf peut-être pour des spécialistes, le jeu de Junior de celui d'un bon joueur ?
Effectivement, si l'on veut être précis, on ne peut pas dire grand chose de plus que noter un processus cognitif similaire entre les deux.
Et cette conclusion ne peut jamais être invalide si l'on refuse d'aller plus loin dans la définition.

Pourtant, malgré l'ambigüité des termes (informations, traiter...), tu peux conclure que un cerveau est un système informatique ?
Je conclus juste, (à la Peres :o)), qu'il y a des ressemblances, et des différences, et qu'aller plus loin, c'est rentrer dans un débat sans fin !

Je chambre un peu bien sûr, mais à être trop rigoureux, on clôt le débat bien vite !



ins174, le
Lamarck - Darwin ... pour Nirnaeth ... La théorie de Lamarck est le transformisme basé sur la transmission des caractères acquis. Sous-entendu par les individus pendant leur vie.
Par ex, les individus s'étant allongés le cou pour attraper des feuilles sur des branches plus hautes transmettent ce cou plus long à leur progéniture pour expliquer la girafe.

La théorie de l'Evolution de Darwin dit que des individus possédant un caractère (acquis par mutation aléatoire) leur donnant un avantage dans un milieu donné se reproduiront plus facilement que ceux ne le possédant pas. Ce caractère finira par devenir prépondérant dans une population, ce qui crée d'abord une variété de l'espèce, puis éventuellement après plusieurs processus de ce genre éloignant cette population de celle d'origine, une nouvelle espèce.
Voir les fameux "pinsons de Darwin" des îles Galapagos.

Lamarck raisonne sur les individus, ce seraient eux-mêmes qui "façonnent" leurs transformations, et Darwin sur les espèces, les individus ne faisant qu'exploiter un caractère avantageux apparu par mutation où ils n'ont aucun rôle à jouer.

Dans le cas des programmaes évolutifs il s'agit bien (à ma connaissance) de Darwinisme puisque des mutations sont produites aléatoirement dans les algorithmes et c'est par des tests de réussite sur "l'adaptation" à leur "milieu" que sont "selectionnés" les plus performants.
Ce ne sont pas les algorithmes qui "s'auto-transforment".
Cela dit, il peut y avoir un "Méta-programme" gérant automatiquement les processus de mutations et de tests, mais ce n'est pas lui qui est en cause. Ne pas les confondre.
J'ai bon Kolvir ? ;o)


ins174, le
Réponse de Mr seguin à la chèvre .... ;o) Par définition le cerveau est un système informatique !
Où alors nierais-tu qu'il traite de l'information ? Comment appelles-tu ce qui provient de tous nos recepteurs sensoriels divers ?

Il y a évidemment des différences avec "l'informatique" même de pointe que nous connaissons et pratiquons, mais il ne cesse pas pour autant d'être un "système informatique".


ins1723, le
ouille, j'me retourne et paf 15 posts ! Oui je pense que tu as bon yvap mais j'ai lu très vite je dois y aller.
Peres, je dis simplement par "pipeau à 100%" que la prog genetique n'a rien a voir avec l'evolution c'est tout, pas plus que l'algo de Fritz. Dire simplement "prog genetique" ça ne dit rien sur la méthode employée, c'est juste une présentation des choses en termes de genes et mutation etc. Mais on peux transposer ce discours pompeux dans un algo banal d'optimisation.

C'est comme si tu disais "prog en C ça pourrait bien résoudre les problème d'optimisation". Si on dit "la prog genetique" a la place de "la prog en C" ça sonne mieux mais c'est pourtant à peu près pareil ! Encore une fois c'est juste une façon de programmer c'est tout, tout est dans le réglages des "paramètres". En C aussi tout est dans le choix des instructions !

Bon je caricature mais à peine. Je pense qu'on doit pouvoir transposer tout algo d'optimisation en prog genetique. Il suffit de bien choisir les mutations, le cross over, les genes de depart brefs les differents parametres et surtout la fonction de selection et tu simules n'importe quel algo. A etudier en tout cas mais si j'ai raison ça montre bien que c'est pipeau.


Ouille ! Oui, j'ai négligé la transmission de l'acquis pour Lamarck. Encore qu'il me semble que c'est sujet à débat (mais pas au sens l'entendait Lamarck), mais bon, j'chuis pas à la pointe là-dessus.

Pour la chèvre, mouais... Sauf que dans le contexte où c'est sorti, j'y ai soupçonné un petit parallèle avec l'autre définition plus technologique...
Et je conclus encore qu'il y a peut-être des similitudes entre les deux, homonymie, mais en aucun cas égalité !
Un transitor est alors aussi un système informatique !?


Délires sur Turing... En y réflechissant un peu, et en le prenant au pied de la lettre, ce test est assez marrant !
Il postule que si un observateur ne peut faire la différence entre une machine et un homme, la machine est pensante.

Bien, supposons l'observateur débile profond...
Incapable de faire la différence entre ce que débite le tas de sable, et son congénère mieux doté, il peut conclure que la machine pense...
Il faut donc rajouter l'hypothèse que notre observateur pense, et de façon plus ou moins efficace.

D'où le postulat que seul un être pensant peut décider si une autre entité est pensante !
Il faut aussi souhaiter que l'observateur est de bonne foi, ou bien je risque de me voir rabaisser au niveau du légume...

Un autre constat, il doit y avoir une limite intellectuelle minimale pour être observateur patenté.
Supposons l'observateur pas très loin de cette limite. Il pédale et me déclare ce PC entité pensante !
Et d'un, voilà un PC qui peut décider d'un coup que je ne pense plus.
Et de deux, il peut décider que son observateur est trop con, et se retrouver de nouveau tas de sable.
On peut donc éventuellement rajouter au test qu'une entité pensante digne de ce nom ne devrait jamais renvoyer son observateur sur l'étal du marché, sous peine de l'accompagner sur le champ !

Il doit aussi y avoir une limite maximale à la capacité de l'observateur. Une divinité, un E.T hypertrophié du bulbe, auront bien du mal me différencier intellectuellement de mon tas de sable. Et me voilà encore dans le bac à légume.

En conclusion, l'observateur ne doit être ni trop débile, ni trop futé. Le sujet de référence itou, et le sujet testé, s'il veut participer à ces joutes intelectuelles, ne doit pas trop différer des deux premiers :o).
Bref, mieux vaut être un bof de base pour être pensant !

Question subsidiaire :
Est-ce très prudent de le passer, ce test ?


ins174, le
Bêêêêeee ..... Qui a dit qu'il y avait égalité ? ;o)

Un transitor est alors aussi un système informatique !? Ben évidemment non !
Un neurone non plus ! Toujours cette confusion entre le support et ce que fait ce support.
L'information n'est ni le transistor ni le neurone, ni même dans les molécules, mais contenue dans les signaux qui les traversent, et dans l'organisation de ces signaux, c'est à dire dans codes (ex l'ADN) donc des algorithmes.
Le support est aveugle à ce qui se passe en lui !


ins1723, le
lamarck Je reviens sur darwin/lamarck. Si je me souviens bien Darwin etait un peu lamarkien en fait, au moins au debut et ce n'est pas forcement si contradictoire avec la selection naturelle. En effet je ne pense pas que Darwin parle de mutation Yvap vu qu'il ne connaissait pas la genetique de Mendel, et encore moins la genetique moleculaire ! En tout cas s'il parle de mutation ce n'est pas dans le sens moderne.
Il ne devait pas avoir une idee tres claire de comment apparaissent de nouveaux caracteres et je ne pense pas qu'il ait ete capable de refuter la transmission des caracteres acquis qui ne contredit pas forcement je pense leur selection naturelle.
Sauf erreur de ma part Lamarck a d'ailleurs parfois raison pour certains tres rares organismes dans des cas limites.


ins1723, le
bon j'ai vérifié c'est pas mal google en tapant juste "darwin lamarck" ! C'est pire que ce que je pensais en fait : Darwin croyait bien dans la transmission des caractères acquis !


ins1723, le
peres Oui tu as raison de reformuler l'hypothèse des algos genetiques : en effet on juge les solutions partielles (ou plutot les genes qui les produisent) indirectement par le fait qu'elles participent à une solution globale et non pas directement. C'est une petite difference par rapport a la programmation dynamique. Ceci dit statistiquement il me semble que cela revient au meme puisque un gene est bon si en moyenne ses porteurs sont meilleurs que ses non porteurs.
Dire cela est vrai dans le labo terrestre est pour le moins vague. Globalement ca a marche (pour le moins lentement et avec une machine plutot balaise) pour l'evolution de la vie sur terre bon voilà est-ce que ça veut dire que c'est une bonne methode pour resoudre tout problème d'optimisation non !


ins1723, le
re peres Ou ai-je ete peremtoire sur l'intelligence ? Et dans quel travers je tombe je ne comprends pas trop.
Je crois que tu parles de ma remarque sur les experiences relatées dans l'article de PLS. Ben je maintiens que je ne vois rien d'intelligent dans la démarche. Pas plus que Fritz n'est intelligent.
Un système qui ne peut pas expliquer ses choix n'est pas intelligent simplement parce qu'il resoud un probleme par la force brute (en explorant un tres grand nombre de solutions candidates).


ins174, le
Tu as tout à fait raison ! Il ne parle pas de mutation au sens propre et moderne pour les raisons que tu indiques.
Il invoque un processus qu'il appelle "cause agissant", modifiant la descendance et provoquant l'évolution. Il est d'ailleurs très conscient qu'à son époque se situe là l'objection majeure à sa théorie, mais il a suffisamment confiance en celle-ci pour prédire que ce processus sera découvert.
Pour lui, il ne peut y avoir d'autre explication même si la nature de ce processus est encore inconnue.
Il écrira même : "Je ne donnerais absolument rien pour la théorie de la sélection naturelle, si elle requérait des ajouts miraculeux à une étape quelconque de la descendance [...] Si j'étais convaincu qu'elle requérait de tels ajouts, je la rejetterais comme sans valeur"La suite lui a donné raison 80 ans plus tard avec la découverte de l'ADN.

Pour l'influence de Lamarck sur Darwin, tu as également raison. Mais in fine il ya une différence fondamentale entre les deux démarches.


ins174, le
M'enfin ! laisse aux gens le temps de te répondre avent de causer aux autres ! ;o)) Peres a raison, une vrais kalachnikov, ce Kolvir ! ;o)


ins1723, le
ne pas sous estimer la force brute C'est ca qui permet à fritz de nous tauler et aux algos genetiques de trouver plus ou moins au pif.
Par rapport a une methode ehaustive, ou aleatoire si ne peut pas tout explorer, un algo genetique fait quoi ? Je pense qu'on peut dire qu'il suit simplement un gradient (la pente descendante) dans un certain espace de solutions.
Immaginez que toutes les solutions soient deja pretriees et organisee spatialement de façon qu'il n'y ait qu'un seul minimum local (c'est donc un minimum global): ca formerait un grand cone pointe en bas. Dans le cas ou il y a plusieurs minimum globaux c'est pas grave on les met cote a cote au fond. Pour trouver la solution c'est hyper simple : se placer au pif et suivre la pente vers le fond.
Bien choisir les genes, le cross over, les mutations, la selection et les autres paramètres ca revient a organiser spatialement les solutions (les voisins sont ceux qu'on peut atteindre en un coup). Une fois qu'on a bien organisé l'espace tu m'étonnes que l'algo le plus bete arrive ensuite a trouver a l'aise la solution !


ins1723, le
plein de petits posts c'est le secret pour saturer l'ennemi. Pendant qu'il revise son post de 3 pages tu as deja aligne 10 posts de 5 lignes, repondu aux remarques, ameliore ta prose pendant que les autres la lise voire avant si possible ;o))


ins1723, le
et encore je ne fais pas de php pour repondre par avance (en haut de fil) aux objections après les avoir lues et en dupliquant par magie les posts ;o))


ins174, le
En dux mots la "force brute" quoi ! ;o) 


ins1723, le
voilà ! ;o)) 


ins174, le
Je savais bien que t'étais un algo ! ;o) 


ins1723, le
mais à l'oral tu reste notre maître à tous ;o)) 


ins1723, le
en plus mon avatar humain la seule fois où il est allé à l'académie de la bière il a mis 35 mn pour faire le trajet depuis le métro port royal. Tu comprends pourquoi je le laisse pas sortir souvent le neanderthal ;o)


ins174, le
Tiens au fait ... t'es pas allé voir là ? Multi agents


ins1723, le
bon c'est pas tout mais marvel girl et storm m'appellent gotta go.
C'est pas beau les mutations parfois ;o)


ins1723, le
bon un dernier post pour la route non j'avais pas vu le fil sur les agents et les echecs. Oui pourquoi pas utilser des agents pour planifier le jeu. Rien de magique la non plus c'est simplement une façon d'exprimer les connaissances qui peut etre plus pratique dans certains cas. Par contre un agent par piece à mon avis c'est pas genial mais bon c'est pour demarrer.


Têtu le Nirna !! En y réflechissant un peu, et en le prenant au pied de la lettre, ce test est assez marrant !Il postule que si un observateur ne peut faire la différence entre une machine et un homme, la machine est pensante. : !!Pour la 3ème fois c'est toi qui fais ce postulat et non Turing ! Je me ré-auto-cite : C'est sans doute en essayant de lui faire dire plus qu'il ne peut qu'il y aura un hic....


Il y a ici des réactions tout à fait passionnantes car symptomatiques à mon avis.
Kolvir tu tombes (à mon avis) plusieurs fois dans ce fil dans le piège du "ça n'est pas magique ou intelligent puisque çan'est que telle ou telle mécanique" : Evidemment que ça n'est pas magique, mais pasmoins que ton cerveau ! Sauf que ce dernier est pour l'instant pour nous une boîtenoire, c'est-à-dire qu'on ne sait pas encore complêtement démêler les subtilités mécaniquespermettant à notre choux-fleur de remplir ses fonctions !!
Si on déporte la question sur "qu'est-ce qui est vivant" ça serait un peu "meuh non unecellule ça n'est pas vivant ça n'est qu'un ensemble de réactions chimiques basiques et'inertes'". Vois-tu ce que je veux dire ?


Lamarck Faits divers sur les caractère acquis.


Ref Yvap : Béééééééééééé ! Je provoquais gentiment avec le transistor, mais tu m'excuses, 'système de traitement de l'information', c'est l'auberge espagnole, à moins de se contenter d'une définition vague et générale.

En pinaillant :
- Considérer qu'un signal posséde un contenu sémantique (donc de l'information), c'est déjà anticiper l'utilisation qui va être faite de ce signal. Donc se placer à un certain niveau d'abstraction (je baratine, mais je vais y arriver).
- 'traiter l'information', c'est aussi aller vite en besogne. Tu passes vite sur ce que cela signifie.
Tu extrapoles aussi quand tu dis que l'information est contenue dans le code. Je suis d'accord pour dire que la façon de traiter l'information contient elle aussi de l'information, mais là aussi, je me place à un niveau élevé d'abstraction.

Le transistor ne fait que transformer un signal, sans intéragir. Sur le principe, ok, ce n'est pas un système de traitement de l'info.
Quand est-il de la paramècie qui se carapate quand on lui titille les cils ? Système informatique ?

Donc, l'affirmation le cerveau EST un système informatique est péremptoire. Je suis bien sur d'accord sur le sens général. Mais pas du tout sur les majuscules.
Et dans le contexte où c'est sorti, c'est encore plus ambigüe car associée à la technologie informatique. Et je trouve ce raccourci un peu rapide.


Bon j'ai lu l'article. Et c'est bien de la progr Darwinienne of course (j'étais pas bien inquiet sur ce pointnotez).

Sinonen effet il est purement orienté optimisation et dans ce cadre précis je rejoins l'opinionde Kolvir. Je ne pense pas que l'informatique évolutionniste soit la plus adaptée.
Ca peut marcher pour optimiser des micros systèmes simplissimes, mais après le coût vadevenir complêtement dingue et largement ridiculisé par une approche+ 'intelligente'. J'aimerais même bien voir une comparaison de cette approcheavec une autre 100% aléatoire... Manque de détails tout ça :o)
On peut aussi voir les dires de Kolvir confirmés sur la complexité des paramétrages. Ilest indiqué (en passant, mine de rien...) que l'évolution a eu lieu en 2 temps. D'abordcroisement style mariage génétique sexule, puis micro-mutations !On voit là une contrainte sur l'organisation temporelle. Pkoi dans ce sens et pas dans l'autre ?Pkoi pas en même temps ? ... Y a eu du taff et des essais derrière c'est manifeste.

En revanche, comme je le disais plus haut, l'approche évolutionniste destinéeà des systèmes travaillant sur l'à-peu-près garde toute ma confiance. Très largementdevant les preuves formelles. Par ex si tu veux mettre en place un système munis de capteurs optiques pouvant se déplacer dans un appartement, à moins de disposerd'une puissance infinie tu es obligé de fonctionner constamment sur des à-peu-près.Et dans ce cadre j'ai du mal à voir comment un programme 'figé', rigoureux peut fonctionner.
Au contraire, une approche évolutionniste permettant de se rapprocher grossomodod'un truc pas trop mauvais fournit des résultats excellents.


La rose aura rosée ! Ha ben non pour le coup y a pas d'auberge espagnole qui tienne !

'traiter l'information', c'est aussi aller vite en besogne. Tu passes vite sur ce que cela signifie. :Ben c koi le prob ? input-traitement-output. J'ai rajouté + haut la nécessité que le traitementremplisse une fonction donnée, càd pas du n'importe quoi en boîte quoi.

Je vois ni ambiguïté ni raccourci ! Théoriquement, si on parvient à identifier l'ensembledes connections neuronales et à les faire bouffer à un PC qui gèrerait du coup ungigantesque réseau neuronal, on obtiendrait un système présentant strictement la mêmeintelligence que celle du cerveau ! Ni + ni - !


Bon, pour montrer ma bonne foi, j'ai trouvé une (pas 2, une ;o) ) question que je juge valable pour juger de l'intellectd'un fritz. Elle est signée Kolvir "Un système qui ne peut pas expliquerses choix n'est pas intelligent simplement parce qu'il resoud un probleme par laforce brute.
Voilà un point concret sur lequel on peut raisonnablement discuter. Qu'est-ce que"expliquer" ses choix ? Certes Fritz ne sait pas parler, mais il peut à mon avisénoncer le parcours de son processus ou raisonnement qui a conduit à jouertel ou tel coup.
Par ex : si je joue b3 l'autre fait Fa6 et j'évalue cette position bien+ mauvaise que celle obtenue en jouant b4 car si d'un côté y a telle composantequi est meilleure alors d'un autre y a celle-là qui est bien + mauvaise.
N'est-ce pas expliquer ?


Réf Peres : Oui, tétu ! Si je me rappelle, passer le test, pour un cobaye, c'est arriver à faire en sorte que l'observateur ne puisse pas nous différencier de l'autre cobaye humain.
Effectivement, il n'affirme rien d'autre, et ne peut, en l'état, rien affirmer d'autre que le fait d'avoir réussi à passer le test.

Donc, en l'état, il ne sert à rien...
Et bien que cela ne soit pas dit explicitement, il sous-tend l'idée que le cobaye fait preuve (ou simule) un comportement intelligent et pensant. Et pour cela posséder ou simuler des qualités (humour, réflexion, conscience de soi...) similaire à celles d'un humain.



Comment ça il ne sert à rien ? Pour répondre à "quelle différence entre simuler la pensée et penser" ou à "avons-nousune âme" ou "dieu existe-t-il ?" effectivement c'est pas top.
Mais sinon c'est ENORME !!! Présente-moi une machine qui passe le test de Turing etje me roule par-terre sur 2-3 km pour ne serait-ce que pouvoir la contempler ! Celàsignifie énormément de choses ! Celà indiquera qu'une machine peut faire des chosescomplexes encore hors de portée aujourd'hui. Qu'elle pourra remplacer un homme, ni + ni - !!! Celà ouvrirait des perspectives à proprement parler gigantesques.

Et tu noteras que je laisse de côté la notion d'intelligence, de pensée, bref d'ontologieintime. Je ne m'intéresse qu'au 'behavior' !! Seule réalité palpable.


J'y suis, j'y reste... Dans mon auberge !
C'est quoi un traitement ?
L'intégration d'un signal, l'addition de deux, ce sont des traitements... Pas si simple de dire ce qu'est un traitement :o)

Pour Fritz, expliquer ses choix, ce serait juste traduire le résultat de la fonction d'évaluation. Pas trop sorcier je pense, puisque la fonction est deterministe.
Mais l'explication peut alors être fournie par la force brute (régles de traduction syntaxiques => mécanique).
Donc ce n'est pas une 'preuve' de l'intellect.

Mais je pense que c'est aussi la méthode que moi, être severement pourvu en intellect, j'emploirais pour expliquer mon coup.
D'abord, j'explique que le calcul brute des variantes me donne la moins mauvaise évaluation matérielle. Et je justifierai le choix parmi les coups candidats par divers critères positionnels.

Fonctionnellement, il n'y a pas de différences évidentes.


Ah non mais des fois... Tu fais dire au test, comme moi, ce qu'il ne dit pas !
Précise le cadre des questions que peut poser l'observateur. Sont-ce des questions relatives à des idées concrètes ? Abstraites ?
En fonction du cadre que tu fixes, tu peux ou abaisser les critères, ou les repousser jusqu'à la nécessité de l'équivalence exacte des deux cobayes !


Qui parle de preuve Nirnaeth ? Pas moi ! J'estime simplement que la capacité qu'aurait un système d'expliquer, dejustifier ses choix est à prendre en compte pour l'évaluation globale de ses aptitudes.

Quant aux considérations "force brute", "mécanique" à la limite ça ne m'intéresse pas.C'est un autre débat. Notre cerveau a un fonctionnement mécanique si tu zoomes assez...


Turing Tu fais dire au test, comme moi, ce qu'il ne dit pas ! : Par exemple ? ...


Il y a un truc que je trouve complêtement génial sur le test de Turing. C'est qu'en théorie une machine peut MIEUX le réussir qu'un homme...


Exemple Passer le test signifie que des machines pourront faire des choses complexes. Qu'elles pourront remplacer un homme...
Il te dit ça le test ???

Tu as peut-être raison sur ce que tu avances, je te rejoins même là-dessus.

Mais le test est inappliquable. Les critères de l'observateur sont essentiels dans la problèmatique.

Preuve : Bien sûr que preuve il ne peut y avoir. Depuis le début on tourne là-dessus, et je pense que l'on est d'accord sur le fond, en plus !
Il n'y a qu'un faisceau de capacités, et pas de démonstration mathématique. Je pense aussi que la faculté d'expliquer fait partie de ce pourrait être une machine dite intelligente. Et qu'actuellement, cette faculté est assez simple à mettre en oeuvre dans le cadre Fritzien...

Cerveau et mécanique : présomptions Peres, présomptions !

Froce brute ? Pour moi, cela est important dans le débat, puisque force brute et méthode plus futée aboutissent au même résultat.
Cela signifie que ce n'est probablement pas un facteur déterminant dans les aptitudes que l'on cherche. Je ne prends pas ça au sens matériel, mais comme outil méthodologique.
Je ne dis surtout pas 'force brute' = 'mécanique' = tas de silicium forcément débile.


Passer le test signifie que des machines pourront faire des choses complexes.Qu'elles pourront remplacer un homme... Il te dit ça le test ??? : Oui ! C'estprécisément ce qu'il dit ! Si on ne peut différencier l'homme de la machine, alors ils peuventêtre intervertis sans dommage !
Or, nous sommes pour l'instant incapables de mettre en place une telle machine, celàimpliquerait l'intégration de la sémantique, de la culture, de pensée abstraite, d'inférences,de suppositions, de prévisions, de miroirisation etc etc... bref tout ce qui nous permetde penser et qui est éminament .... complexe !

Mais le test est inappliquable. Les critères de l'observateur sont essentielsdans la problèmatique. : ? Comprends pas. Je le trouve au contraire on nepeut plus applicable. Il se déroule même depuis quelques années et de façon récurrentedes concours de machine s'affranchissant au mieux de ce test !

Cerveau et mécanique : présomptions Peres, présomptions ! : Certes iln'est pas démontré qu'il n'y a pas un petit fantôme magique au sein de chaque esprit,mais ce petit fantôme (crochet céleste dirait Dennett) est parfaitement inutile. De mêmeque l'existence de Dieu n'est pas utile pour expliquer le fonctionnement d'un PC.
Donc ça n'est pas qu'une présomption ! Cf toutes les avancées neurobiologiques faitesdepuis 15 ans !

Force brute : Dans ce cas je ne comprends pas ce que c'est. Ne serait-cepas le pendant de l' "intelligence" ? Si c'est le cas, on va pas être copains :o)


ins174, le
Pinaillons tous en choeur ! Nirnaeth est notre chef ! ;o) Auberge espagnole : Peres t'as répondu. rien à rajouter ! ;o)

Pourquoi dis-tu : Considérer qu'un signal posséde un contenu sémantique (donc de l'information), c'est déjà anticiper l'utilisation qui va être faite de ce signal.
Moi je n'anticipe rien du tout ! On parle bien de l'information, non ? Et pour véhiculer celle-ci un signal (quelle que soit sa nature, peu importe) est bien nécessaire, non ? Un signal ne portant pas d'information, et il y en a évidemment, ça ne s'appelle pas une information mais un bruit ! Je n'ai pas l'impression qu'on parle de "bruits", et je m'y connais en bruits, même coûteux ! ;o))

'traiter l'information', c'est aussi aller vite en besogne. même réponse que Peres, ça t'étonne ?

Tu extrapoles aussi quand tu dis que l'information est contenue dans le code. J'extrapole quoi ? Si elle n'est pas dans le code, elle serait où ? euh ... pour le coup pour moi c'est très abstrait ! ;o)

Paramécie : Y a bien une info venant du cil et "interprété" par la bestiole comme signal : se carapater de l'autre côté. Alors, comment t'appelles ça ?

C'est quoi un traitement ? Ben c'est un traitement ! Y en a de toutes sortes, si tu veux qu'on te donne la liste exhaustive de tous ceux possibles, euh ....!??


Merde, Yvap se réveille. Va s'agir de ne plus raconter trop de bêtises :o))


ins174, le
Je ne dormais pas ... je traitais des "infos bruiteuses" ! C'est un métier ça M'sieur ! ;o))


m'enfin, je pinaille... mais je raconte quand même pas n'importe quoi !

Test de Turing : passer le test correspond à blouser l'observateur. L'issue du test dépend mécaniquement des aptitudes de l'observateur.
Deusio, on ne peut distinguer l'homme de la machine... Dans quelle aptitude ??? Si tu as une machine qui raisonne aussi bien qu'un mec, elle passe le test de Turing. Ca n'implique pas qu'elle saura faire un café nickel, donc ton test ne prouve pas qu'elles peuvent faire n'importe quoi, ni qu'elles remplacent l'homme.

Force brute ??? je ne suis pas ta remarque. Pour moi, plusieurs façons d'arriver à un coup valable : par calcul et évaluation, par intuition, par reconnaissance de formes, modèles, etc... Voilà ce que je disais.

Pour le petit fantôme, moi j'en ai un, mais c'est pathologique :o). Sinon, je pense que pas besoin de fantôme. Seulement, ta preuve que c'est méchanique, je te l'achète de suite !

Traiter l'info : cf réponse de Peres La quelle ? Remplir une fonction ? Ah, okok !

Paramècie : système informatique, okok ! Atome qui se prend un photon dans la tête, émission d'un électron : physique ou S.I ?

Ok, je pinaille, mais vous tenez certains points critiques comme acquis, genre le cerveau est un système de traitement de l'info (informatique). Ok, par définition peut-être. Mais si tu ne précises pas ce qu'est un traitement, tu peux alors dire que tout et n'importe quoi est un traitement de l'info. Et c'est un peu le mécanisme de votre point de vue (sur ce point-là, je précise).

Mon chien est un système informatique, mon cerveau est un système informatique. Si je n'ai pas les mêmes propriétés dans les deux cas sur ce que j'entends par S.I, je ne peux rien inférer sur une relation entre cerveau et clébard à partir de système informatique, que diantre !
Technologie, pinaillage, ou logique élémentaire ?


Arf, Méchanique !! :o( Je te la paie deux fois plus cher...


Dernier pinaillage et j'arrête !  information contenue dans le code : là aussi, je tilte un peu
Il y a peut-être eu mésentente sur code. Quand j'ai réagi, j'ai pris code en tant qu'algo L'ADN est aussi de l'info, bien sûr, ce n'est pas ce dont je parlais pour l'extrapolation.
Je me reprends, l'algo contient aussi de l'info, mais, cela tu le sais parce que tu es intelligent, parce que tu as la capacité d'analyser cet algo et d'en déduire l'info.

La lecture de l'ADN pour produire des protéines, qu'est-ce que cela à voir avec un système informatique ? C'est un système mécanique de production de matériel à partir d'un autre matériel. Que le matériel contienne de l'info ne prouve pas que cela mène à un système intelligent.

Bon, je résume mon point de vue.
Je pense que ce n'est pas parce que l'on a deux systèmes informatiques, le cerveau d'un coté, une machine de l'autre, qu'elles ont grosso modo des principes semblables, que l'on peut forcément arriver au premier en transformant le second.

Il y a une différence d'échelle entre la théorie quantique et la théorie de la gravitation, et l'on ne sait pas relier actuellement les deux. Il y a actuellement une dichotomie conceptuelle entre les deux.
Il y a un lien, de facto, qui passe peut-être par une évolution de l'une ou l'autre. Mais en l'état actuel, c'est inconciliable.
La même dichotomie conceptuelle peut se poser, à priori, entre un système informatique aussi complexe que tu veux et l'intelligence. Les deux peuvent être aussi proches que possibles et pourtant irréconciliables, sans avoir besoin de justifier cet écart par une étincelle divine.
Il est aussi fort possible que les deux soient équivalents et réconciliables.
Et trancher entre l'une ou l'autre de ces possibilités, si c'est un jour possible, présente autant d'interêt théorique que réconcilier la physique quantique et la gravitation.
Je n'ai d'à-priori ni sur l'une ni sur l'autre et je tente d'être critique (et peut-être pinaille, des fois...)


ins174, le
Du faux thon, du "Tout" et de ton chien ... Et même des paras, mais si ! ... Du photon : encore une fois tu confond le support et l'utilisation de ce qui se passe en lui. L'info et ses traitements ne peuvent se comprendre au niveau du support.
Effectivement au fond de nos yeux des atomes se prennent des photons dans la tronche, et émettent des electrons ce qui déclenche des réactions chimiques et électriques dans nos cellules, phénomène physique. Ce qui produit un signal transmis au cerveau qui l'utilise ou pas. Là est l'info, dans le signal.
Et même dans les yeux des paras, mais si ! ;o))

Du Tout : Eh eh !! Tu crois pas si bien dire ! Pas mal de recherches se font sur l'idée que l'Univers sera un jour décrit comme un calculateur !
Voir à ce sujet "La Recherche" de Janvier 2003 avec un dossier : "L'Univers est-il un calculateur ?"
Bon c'est un peu fumeux et il y a de sérieuses objections, mais t'avouera que comme "Tout" on fait pas mieux que l'Univers ! ;o))

Du chien : Voudrais-tu dire que ton chien et ton cerveau ne reposent pas sur les mêmes propriétés ? De quelles propriétés parles-tu ?
Si ce sont les propriétés de la matière, elles sont les mêmes. Si ce sont les propriétés des systèmes biologiques, encore les mêmes. Des systèmes neurologiques, toujours les mêmes ! Alors ?
Ah ! la complexité des deux systèmes des deux cerveaux n'est pas la même, d'accord ! Et on parle alors de leurs performances, de leurs puissances de calcul, de traitement de l'info évidemment différentes.
C'est ça ?

Pinaillons, pinaillons, il en restera toujours quelque chose ! ;o)


ins2929, le
Il amis le temps à démarrer Mais finalement ce fil a bien tenu ses promesses !
Bravo à tous les protagonistes...


Para finaud = pas para ! Du photon : est-ce à dire que l'info n'existe que si tu penses qu'elle existe, que si tu la perçois :o).
Le même bruit complexe est une variation de fréquences pour un analyseur de fréquence, un concentré d'infos déclenchant maints sentiments chez le mélomane averti.
Ton système de traitement n'existe que par l'info qui n'existe que par le système de traitement. Très quantique tout ça, l'info n'existe que si on la traite :o)

Au fait l'info, c'est concret ou abstrait, concept ou réalité tangible :o) ?

Du chien : je dis juste que je n'ai pas la garantie, bien que ce soient tout deux deux systèmes informatiques, que les propriétés des deux soient identiques en tant que S.I.
Ce n'est pas parce que les deux portent le même nom que le parallèle est possible, mais bien parce que je constate qu'il y a certaines propriétés identiques.
D'où mon refus à priori d'un parallèle entre mon cerveau et un pc juste parce que l'on peut les décrire du même nom.


ins1723, le
test de turing Si je me souviens bien le testeur corit en fait tester si l'entité est un homme ou une femme ! Et si il ne se rend pas compte que ce n'est ni l'un ni l'autre alors le test est passé.

Ceci dit l'equivalent du test a déjà été plus ou moins passé par des programmes nazes et pas intelligents du tout du genre Eliza (simulation tres basique de pshychanaliste). Des gens auraient vraiment cru que le programme etait une personne.


ins1723, le
comme l'a dit nirna tout depend qui fait passer le test. Je ne suis pas sur qu'un jour une machine passe un test plus direct visant à la demasquer mais comme ça a été dit des humains aussi pourrait être suspecté d'etre non humains.
Pendant la seconde guerre mondiale les americains avaient un test pour detecter les allemands infiltres. Certains parlaient parfaitement americain, pour avoir vecu aux US. Du coup pour les demasquer les questions portaient sur la culture recente, les vedettes a la mode... Et du coup un vrai general américain a bien failli se faire coffrer : trop ringard le mec etait au courant de rien !


ins1723, le
bref Le test de Turing n'est pas bon à mon avis. Des machines intelligentes pourraient echouer à un test direct par ce qu'elles ne ressentiront pas forcement les choses comme nous. Des machines pas tres malines pourraient parfois passer le test original (homme/femme) par chance selon ce que le testeur a en tete a ce moment la.

Enfin comme je l'ai deja dit meme une fois le test passe systematiquement bien des gens douteront encore de l'intelligence de la machine parce que des tests ne peuvent pas etre exhaustif et qu'on veut savoir quelle methode est utilisee.


ins1723, le
peres Je pense que tu crois un peu vite que je tombe dans un piege en ce qui concerne une machine qui aurait les meme performances qu'une personne pour une tache qui requiert de l'intelligence chez la personne.

Je pense en effet que le comportement observé sur la resolution de problemes est insufisant comme preuve : un nombre fini de tests ne peut pas garantir qu'un programme fait ce qu'on en attend. Il faut d'autres garanties : la methode utilisée. Tu n'as pas répondu sur ce point.

Par ailleurs, au moins dans certains cas, il y a plusieurs façon de resoudre le meme probleme, certaines manifestant de l'intelligence et d'autres façons non. Ainsi Fritz n'est pas intelligent meme s'il est extremement fort aux echecs. Les explications qu'on pourrait lui faire donner facilement serait de simples traces. Fritz ne peut pas raisonner de façon abstraite sur ce qu'il fait. Il ne peut pas enoncer de regles generales. Il ne fait pas de veritables plans. Deep Blue si je me souviens bien s'est fait enfermer une tour betement malgre sa puissance de calcul.

Bref l'intelligence ce n'est pas simplement savoir resoudre des problemes c'est comprendre veritablement ce qui passe par la mise en place de modeles abstraits. L'intelligence induit donc une facon particuliere de resoudre les problemes. Mais la force brute est parfois aussi voire plus performante que l'intelligence.


ins1723, le
autant pour moi sur Turing Apparemment le test de turing est bien direct et est seulement inspiré du test qui portait sur la distinction homme/femme. Donc Eliza n'aurait pas passé un test de turing direct.
Je pense toujours que le test n'est pas suffisant ni necessaire pour determiner l'intelligence d'une machine.


ins1723, le
re correction Bon finalement le test de Turing a pas mal évolué et au depart en effet Turing a proposé que la machine remplace une femme (sic) dans un jeu qui consiste a derteminer si X ou Y est une femme. Si la machine joue son role de façon satisfaisante alors elle est intelligente. Mais aujourd'hui quand on parle du test on n'entend plus cette definition de depart.


ins1723, le
lien sur le test  The Turing Test Page


ins1723, le
autant dire de suite que remplacer une femme, ouarf, belle preuve d'intelligence en effet ;o)))))

je blague !


ins1723, le
en fait pas ton tetu peres En faisant semblant de croire que tu ne comprends pas ce qu'on entend pas force brute. Non les humains n'utilisent pas la force brute en general pour des problemes complexes poses de façon abstraite. En ce qui concerne la perception c'est autre chose : oui pour certaines tache de bas niveau, pas intelligentes, le cerveau utilise de la force brute pour cela.


ins1723, le
l'à peu près Je ne comprends pas du tout cet histoire de deplacement dans un appartement. Pourquoi parler d'un programme figé ??? Comme si du simple fait que j'ai dit que les algos genetiques ne resolvent rien (ce n'est qu'un moyen d'exprimer des algos) je devais forcement ecrire un programme figé !!! Je ne vois pas le rapport.
Je me tue à te dire que les algos genetiques ce n'est qu'un langage ! Faire evoluer ce n'est qu'un mot, un point de vue. Quand je fais une recherche exhaustive et que je garde la meilleure solution trouvée jusque là cette solution evolue (à moins de tomber sur la meilleure au premier coup) donc c'est de l'évolution, de l'adaptation, voilà c'est tout !

Ce discours sur l'a peu près c'est vraiment de l'à peu près ;o)


ins174, le
T'évolue bien ! 10 d'affilée ce soir ! La "force brute" est avec toi ! ;o)


ins1723, le
j'avais du retard ;o) 


Merde alors ! Kolvir rejoint la quête du Graal ! Ha ! La preuve de l'intelligence ! Quel beau joyeux ! Comme c'est attirant !
Mais boudiou de boudiou ne voyez-vous pas que c'est une chimère utopique (voireune utopie chimérique) ? Quel genre de preuve attendez-vous ? Et pourquoi une tellepreuve serait-elle nécessaire pour accorder à une entité le statut d' "intelligent" ? Pourquoine serait-ce pas l'inverse : Avez-vous une preuve que Fritz n'est pas intelligent ?D'où sort la péremptoire "Ainsi Fritz n'est pas intelligent meme s'il est extremement fort aux echecs'" ?
Pourtant, Kolvir notait avec bcp de justesse qu' Un humain n'a pasbesoin de passer le test de Turing car a priori on lui fait crédit ! Ha tiens ? Pourquoiavec les hommes la charge de la preuve est-elle subitement inversée ? ...

La brique de base du discours que l'on entend pour refuser d'accorder de l'intelligence à unemachine est à peu près toujours le même : Cette machine n'est pas intelligente puisqu'ellene fait qu'appliquer mécaniquement cet algorithme.
En fait ce point de vue s'appuie tacitement sur le postulat que Intelligent s'opposeà Mécanique, il s'appuie sur le fait qu'ils seraient incompatibles.D'une part ce postulat est tout à fait infondé mais -bcp + gênant- il se trouve démentipar nos cerveaux qui (âme, bon dieu ou petit fantôme magique mis de côté) n'estqu'une gigantesque imbrication de rouages !

Je pense en effet que le comportement observé sur la resolution deproblemes est insufisant comme preuve : unnombre fini de tests ne peut pas garantir qu'un programme fait ce qu'onen attend. Il faut d'autres garanties : la methode utilisée. Tu n'as pasrépondu sur ce point. : Comment mais coment ça je n'ai pas répondu ? :o)Depuis le début je dis que cette recherche de preuve, cette discussion autourde l'intelligence débouche sur l'insoluble problématique du 'comme si' ! Je ne m'intéressedonc pas à cette ontogologie quasi mystique intime, je ne m'intéresse qu'au comportementobservable !
Je ne pense pas qu'aucune méthode aussi siouxe soit-elle ne pourra convaincrequiconque. Pourquoi ? Parce qu'il pourra toujours se réfugier par "Oui mais en faitta machine ne fait qu'appliquer ce bidule truc mécaniquement donc elle est pas futée.".
C'est voué à perte !
Attention ! Je ne dis pas qu'analyser la méthode employée est inintéressant, ou encoreque toutes les méthodes se valent et qu'ils n'y en a pas de moins complexes qued'autres, mais je pense simplement que ça ne peut apporter de réponse à la questionde l'intelligence.

Test de Turing : Je n'ai pas précisé un truc qui me semblait évident.Originairement, le test de Turing consistait en une discussion. Mais moi qd je parlaisde remplacer l'homme je pensais à un cas + générique. Si une machine passe avecsuccès le test de Turing sur un domaine donné, alors le test de Turing dit ni + ni - quela dite machine peut remplacer l'homme pour la tâche correspondante !

Je ne comprends pas du tout cet histoire de deplacement dans un appartement. Pourquoi parler d'un programme figé ???Comme si du simple fait que j'ai dit que les algos genetiques ne resolvent rien (cn'est qu'un moyen d'exprimer des algos) je devais forcement ecrire unprogramme figé !!! : Non non bien-sûr que non, et du reste 'programme figé'ça ne veut pas dire grd chose. Je voulais juste souligner que l'approche évolutionnistese prêtait à mon avis mieux sur des systèmes 'à-peu-près-istes', parieurs. Inversementje doute que la preuve formelle soit d'une grande aide si appliquée à des travauxCardonistes ! Qu'en penses-tu ?
Je me tue à te dire que les algos genetiques ce n'est qu'un langage ! : Jeme tue à pas être d'accord aargh. Je comparerais plutôt l'algo génétique àune approche conceptuelle, comme l'approche objet ou relationnelle par ex.Théoriquement tu peux faire de l'algo génétique ou de la prog orientée objetavec n'importe quel langage. Tandis que le langage n'apporte qu'une aidetechnique, des facilités de traduire la volonté du programmeur, à l'inverse laphilosophie d'approche a des implications bcp + lourdes et haut niveau.

Et en petit bonus une petite critique mitraillette sans concession que me pardonnerabien notre sulfateur en chef :
il y a plusieurs façon de resoudre le meme probleme, certaines manifestantde l'intelligence et d'autres façons non. : Peut-être, pkoi pas... Mais coment les différencier ?
Ainsi Fritz n'est pas intelligent meme s'il est extremement fort aux echecs. : Profession de foi !
Les explications qu'on pourrait lui faire donner facilement serait de simplestraces. : Quelle différence avec Kasparov qui raconte après couple cheminement de ses pensées pour jouer tel ou tel coup ?
Fritz ne peut pas raisonner de façon abstraite sur ce qu'il fait. : Il n'analysepas ses analyses tu veux dire ? Certes mais ne sort-on pas là de son champ fonctionnelà savoir jouer (et gagner !) une partie d'échecs ?
Il ne peut pas enoncer de regles generales. : Bien-sûr que si ! Il sait parexemple qu'une Dame vaut généralement plus qu'un cavalier.
Il ne fait pas de veritables plans. : C'est quoi un véritable plan ?
Deep Blue si je me souviens bien s'est fait enfermer une tour betementmalgre sa puissance de calcul. : La faillibilité serait-elle une preuve de non intelligence ? ...
Bref l'intelligence ce n'est pas simplement savoir resoudre des problemesc'est comprendre veritablement ce qui passe par la mise en place de modelesabstraits. : Qu'est-ce qu'un modèle abstrait ? Faire ressortir les tensions,les forces en présence, les déséquilibres, la structure, les points forts d'une positionn'est-ce pas là modéliser abstraitement ?


La balise m'a tuer. Help Reyes ! :o) 


Merde alors ! Kolvir rejoint la quête du Graal ! Ha ! La preuve de l'intelligence ! Quel beau joyeux ! Comme c'est attirant !
Mais boudiou de boudiou ne voyez-vous pas que c'est une chimère utopique (voireune utopie chimérique) ? Quel genre de preuve attendez-vous ? Et pourquoi une tellepreuve serait-elle nécessaire pour accorder à une entité le statut d' "intelligent" ? Pourquoine serait-ce pas l'inverse : Avez-vous une preuve que Fritz n'est pas intelligent ?D'où sort la péremptoire "Ainsi Fritz n'est pas intelligent meme s'il est extremement fort aux echecs'" ?
Pourtant, Kolvir notait avec bcp de justesse qu' Un humain n'a pasbesoin de passer le test de Turing car a priori on lui fait crédit ! Ha tiens ? Pourquoiavec les hommes la charge de la preuve est-elle subitement inversée ? ...

La brique de base du discours que l'on entend pour refuser d'accorder de l'intelligence à unemachine est à peu près toujours le même : Cette machine n'est pas intelligente puisqu'ellene fait qu'appliquer mécaniquement cet algorithme.
En fait ce point de vue s'appuie tacitement sur le postulat que Intelligent s'opposeà Mécanique, il s'appuie sur le fait qu'ils seraient incompatibles.D'une part ce postulat est tout à fait infondé mais -bcp + gênant- il se trouve démentipar nos cerveaux qui (âme, bon dieu ou petit fantôme magique mis de côté) n'estqu'une gigantesque imbrication de rouages !

Je pense en effet que le comportement observé sur la resolution deproblemes est insufisant comme preuve : unnombre fini de tests ne peut pas garantir qu'un programme fait ce qu'onen attend. Il faut d'autres garanties : la methode utilisée. Tu n'as pasrépondu sur ce point. : Comment mais coment ça je n'ai pas répondu ? :o)Depuis le début je dis que cette recherche de preuve, cette discussion autourde l'intelligence débouche sur l'insoluble problématique du 'comme si' ! Je ne m'intéressedonc pas à cette ontogologie quasi mystique intime, je ne m'intéresse qu'au comportementobservable !
Je ne pense pas qu'aucune méthode aussi siouxe soit-elle ne pourra convaincrequiconque. Pourquoi ? Parce qu'il pourra toujours se réfugier par "Oui mais en faitta machine ne fait qu'appliquer ce bidule truc mécaniquement donc elle est pas futée.".
C'est voué à perte !
Attention ! Je ne dis pas qu'analyser la méthode employée est inintéressant, ou encoreque toutes les méthodes se valent et qu'ils n'y en a pas de moins complexes qued'autres, mais je pense simplement que ça ne peut apporter de réponse à la questionde l'intelligence.

Test de Turing : Je n'ai pas précisé un truc qui me semblait évident.Originairement, le test de Turing consistait en une discussion. Mais moi qd je parlaisde remplacer l'homme je pensais à un cas + générique. Si une machine passe avecsuccès le test de Turing sur un domaine donné, alors le test de Turing dit ni + ni - quela dite machine peut remplacer l'homme pour la tâche correspondante !

Je ne comprends pas du tout cet histoire de deplacement dans un appartement. Pourquoi parler d'un programme figé ???Comme si du simple fait que j'ai dit que les algos genetiques ne resolvent rien (cn'est qu'un moyen d'exprimer des algos) je devais forcement ecrire unprogramme figé !!! : Non non bien-sûr que non, et du reste 'programme figé'ça ne veut pas dire grd chose. Je voulais juste souligner que l'approche évolutionnistese prêtait à mon avis mieux sur des systèmes 'à-peu-près-istes', parieurs. Inversementje doute que la preuve formelle soit d'une grande aide si appliquée à des travauxCardonistes ! Qu'en penses-tu ?
Je me tue à te dire que les algos genetiques ce n'est qu'un langage ! : Jeme tue à pas être d'accord aargh. Je comparerais plutôt l'algo génétique àune approche conceptuelle, comme l'approche objet ou relationnelle par ex.Théoriquement tu peux faire de l'algo génétique ou de la prog orientée objetavec n'importe quel langage. Tandis que le langage n'apporte qu'une aidetechnique, des facilités de traduire la volonté du programmeur, à l'inverse laphilosophie d'approche a des implications bcp + lourdes et haut niveau.

Et en petit bonus une petite critique mitraillette sans concession que me pardonnerabien notre sulfateur en chef :
il y a plusieurs façon de resoudre le meme probleme, certaines manifestantde l'intelligence et d'autres façons non. : Peut-être, pkoi pas... Mais coment les différencier ?
Ainsi Fritz n'est pas intelligent meme s'il est extremement fort aux echecs. : Profession de foi !
Les explications qu'on pourrait lui faire donner facilement serait de simplestraces. : Quelle différence avec Kasparov qui raconte après couple cheminement de ses pensées pour jouer tel ou tel coup ?
Fritz ne peut pas raisonner de façon abstraite sur ce qu'il fait. : Il n'analysepas ses analyses tu veux dire ? Certes mais ne sort-on pas là de son champ fonctionnelà savoir jouer (et gagner !) une partie d'échecs ?
Il ne peut pas enoncer de regles generales. : Bien-sûr que si ! Il sait parexemple qu'une Dame vaut généralement plus qu'un cavalier.
Il ne fait pas de veritables plans. : C'est quoi un véritable plan ?
Deep Blue si je me souviens bien s'est fait enfermer une tour betementmalgre sa puissance de calcul. : La faillibilité serait-elle une preuve de non intelligence ? ...
Bref l'intelligence ce n'est pas simplement savoir resoudre des problemesc'est comprendre veritablement ce qui passe par la mise en place de modelesabstraits. : Qu'est-ce qu'un modèle abstrait ? Faire ressortir les tensions,les forces en présence, les déséquilibres, la structure, les points forts d'une positionn'est-ce pas la modéliser abstraitement ?


Bon c'est mieux, si Reyes pouvait virer le coup d'essai + haut ce serait tip top !!


Ben il dort il avait commencé à lire ;o)


pff tu sais pas ce qu'est bon :o)) 


Ah si moi j'dors pas ;o) 


prouve-le ! je suis sûr que tu fais comme si. 


ins174, le
Tiens y a pas que moi qui balise à tort et à travers ! ;o) Clap clap Peres !
Bien évidemment d'accord sur la "Quête du Graal" !

Et Nirnaeth est dans le même mouvement puisque il nous dit : "... juste que je n'ai pas la garantie, bien que ce soient tout deux deux systèmes informatiques, que les propriétés des deux soient identiques en tant que S.I. .../...
D'où mon refus à priori d'un parallèle entre mon cerveau et un pc juste parce que l'on peut les décrire du même nom."

Tous les deux dans le fameux dilemme du "comme si" de l'intentionalité.
Comme me disait Peres par ailleurs : "...on peut chipoutailler pour se demander si les protéines bougent parcequ'elles appartiennent à un organisme vivant ou si l'organisme est vivant parceque ses protéines gigotent... Pas sûr qu'on trouve grd chose de passionnantdans cette direction là !!"
Même chose pour "l'intelligence", à part la constater par ses effets ou productions, quoi d'autre ?
Et comment en distinguer une "comme si" d'une "originelle" ? 0 part justement des "à priori" ? Mais alors ...


ins174, le
Bon laissons le dormir ! l'aura trop de boulot ! ;o)) warf ! 


Argggggggg ! Encore une fois, Yvap :
Sur le refus du parallèle, relis le contexte où c'est sorti. On assène que les deux sont des systèmes informatiques, ce qui revient à dire que, forcément, de par ce qualificatif, ils pourront produire des résultats semblables.
Non, non, et non :o). C'est un à-priori que je refuse !

Ok pour le 'comme si', on s'en tape si les deux produisent des résultats équivalents
Mais peux-tu garantir que le 'comme si' sera capable de fournir les mêmes résultats que l'original ?


Pour ta dernière question : c'est précisément le rôle du test de Turing ! 


Revient à dire ? Forcément ? Un peu comme pour le test de Turing, je crois que tu fais dire + qu'il nefaudrait. Quand le parallèle cerveau/système informatique a-t-il été misen avant dans ce fil ? Et pourquoi ?

C'était en fait une réponse à l'arsenal darwinien n'a peut-êtreaucune utilité en informatique !!. Je voulais simplement te montrerque le Darwinisme tout seul avait pu conduire à un système informatiqueextraordinairement perfectionné, complexe et puissant, au moins une fois :pour la réalisation de notre caboche ! Rien de plus !

Mais personne j'espère n'a osé prétendre que 2 systèmes informatiquesquels qu'ils soient reproduiront des résultats semblables !!


Problème de compréhension mutuelle ? Le darwinisme a produit le cerveau, que l'on peut décrire comme un système informatique. On est d'accord là dessus !
Ta machine est un système informatique, je suis de tout coeur en accord avec cette affirmation.

Mais il n'y a aucune raison à priori que les deux (même en trafiquant tant que tu veux ta machine) puissent un jour faire la même chose. Ni qu'ils ne puissent pas.

Turing : reproblème d'interfaces incompatibles ?
Si oui, je reformule... Peux-tu me garantir que le 'comme si' passera avec succès le test de Turing.
Dans son premier but, l'équivalence de la faculté de dialoguer ?
Dans son sens plus large, par exemple, produire une théorie scientifique abstraite, cohérente et originale ?


On va y arriver ! Mais il n'y a aucune raison à priori que les deux (même en trafiquant tant que tu veux ta machine)puissent un jour faire la même chose. Ni qu'ils ne puissent pas. :Des raisons qu'on y arrive, ou du moins qu'on s'en rapproche j'en vois pas mal.
Des (bonnes :o) ) raisons pour qu'on n'y arrive jamais en revanche, j'avoue que j'en vois pas !

Peux-tu me garantir que le 'comme si' passera avec succèsle test de Turing. : ? Tu prends le truc à l'envers là ! Comment veux-tuque je te garantisse qu'une entité que je ne connais pas et qui n'existepas encore passe un jour un certain test dont le contexte précis reste encore à définir ??? Ce que je dis simplement c'est siune entité passe le test de Turing, alors elle pourra remplacer l'homme (ou à la limiten'importe quelle entité avec laquelle elle aura été comparée) dans le cadredu test qu'elle aura passé.

Dans son premier but, l'équivalence de la faculté de dialoguer ? : Si le testde Turing consiste à dialoguer et (double condition)et que l'entité passe ce test avec succès, alors oui. Par définition !

Dans son sens plus large, par exemple, produire une théorie scientifique abstraite, cohérente etoriginale ? : Tjs même réponse, si le test de Turing consiste à .... (remplir selon tes désirs) alors la machine qui réussit ce test réussira à .... (carbonifié par ce que tu as écrit au-dessus).

Maintenant il est bien évident que l'on pourra s'essayer à quelques extensions, par exempleune machine qui est capable de dialoguer et qui connaît très bien l'histoirede France, qui a fait des preuves de démagagogie, devrait être capable d'être prof d'histoire ou quelquechose comme ça !


oups, "pédagogie" :o)) hihi yvap a du avaler sa barbe là :o)) 


ins1723, le
quel entêté ce peres ! Bof la preuve de l'intelligence à vrai dire ça ne me parait pas un sujet si important! On verra bien quand l'IA aura progressé quels problèmes pratiques cela peut poser. Mais je réponds juste quand il me semble qu'il y a des confusions.
En l'occurrence sur le mécanisme tu fais fausse route peres. Oui l'intelligence s'appuie sur des operations de base purement "mecaniques", contrairement à ce que Penrose pense pour la conscience par exemple. Mais ça n'a rien à voir avec le fait que Fritz n'est pas intelligent parce que son algo utilise la force brute.
Ce que tu ne vois pas cher Peres c'est que les instructions de base c'est une chose et la méthode utilisée une autre. Il y a des façons intelligentes de résoudre un problème et des façons trollesques qui s'appuient sur la force brute et qui n'ont rien d'intelligent.


ins1723, le
onus La charge de la preuve n'est pas la même pour les humains car nous savons déjà comment est fait un humain et (plus ou moins) comment il fonctionne. Ce n'est pas le cas pour les machines. Il faut donc que pour les machines aussi on sache quelle méthode est utilisée puisque comme je l'ai dit un nombre fini de tests ne pourra jamais suffire. De plus même avec un nombre infini de tests la notion d'intelligence porte je pense non pas seulement sur la capacité de résoudre des problèmes mais aussi sur la façon de les résoudre.


ins1723, le
le postulat que Intelligent s'oppose à Mécanique Ben Peres moi je ne fais pas ce postulat, donc je ne comprends pas pourquoi tu m'en parles. Par ailleurs en s'intéresser qu'au comportement est une erreur si tu étudies l'intelligence. Le béaviorisme est d'ailleurs complètement dépassé en psycho.

Enfin ne postule pas que les gens pourront toujours aguer ce ce pseudo principe (débile) pour te réfugier dans le béhaviorisme ! Si les gens postule ce principe ils ont tort et en tout cas il faut d'abord qu'ils le justifient.


On sait très mal (tt est relatif mais bon) comment le cerveau d'un homme fonctionne, et on sait à peu près (y a tjs des effetsde bords insoupçonnés, et + la complexité ira grandissante + ça sera le cas) trèsbien comment fonctionne une machine. Les cheunks par exemple (cf autre articled'Yvap) ne sont à mon avis pas précisément ce qu'on peut appeler une méthode futée.Ca serait plutôt du parsage bête et méchant de tonnes de configurations mémorisées.
Si tu me télécopier dans le ciboulot les cheunks d'un GMI, alors on peut être sûr quesans rien 'comprendre véritablement' (pour te paraphraser) des coups que je jouerai, je serai très très fort. Plus fort quel'immense majorité des forumiens ici présents !!


Bon j'attends qu'il est fini ses salves le bougre, je me sens dans la peau d'un lapin de garenne à l'ouverture de la chasse là :o)


"qu'il ait" halala 


ins1723, le
algos génetiques = langage ? Bon peres puisque tu parles de programmation à objet, autant dire de suite que la prog à objet ne permet pas de résoudre plus de problèmes que le C. Ca a un intérêt du point de vue du génie logiciel pour facilier la maintenance c'est tout.

Je ne vois pas l'apport conceptuel de la prog genetique. Ca peut etre plus pratique pour exprimer certaines solutions et encore mais c'est tout. Au contraire la nuisance que ça entraîne est énorme par le fait que pas mal de gens croient que parce qu'il y a un processus "evolutif" par miracle les problèmes vont se résoudre plus ou moins tous seuls !! En fait c'est pipeau car comme je l'ai dit une recherche aléatoire ou exhaustive aussi est evolutive.


ins1723, le
Fritz intelligent Je ne comprends pas trop où est le problème avec Fritz. J'ai expliqué pourquoi pour moi Fritz n'est pas intelligent mais je ne vois pas l'intérêt, tu le dis toi même, de disserter des heures là dessus. C'est évident que Fritz n'est pas intelligent et j'ai donné quelques critères. Chipoter sur chaque critère est hyper facile et n'amène en l'occurence à mon avis rien au débat.

Maintenant si tu penses que Fritz est intelligent à toi de te justifier.

Si le seul but est de montrer que la frontière entre intelligent/pas intelligent est floue, ben c'est pas la peine de faire tout un débat.

Par contre affirmer qu'un système est intelligent seulement parce qu'il résoud des problèmes étroits comme Fritz c'est grotesque.


ins1723, le
voilà fini ;o) 


ins1723, le
je repond quand meme sur les chunks Ben non on ne sait pas du tout a priori comment se comporte une machine. On connait ses intructions de base et son hardware mais ce ne nous dit presque rien sur la façon dont elle va procéder. Ca peut par contre montrer des limitations (avec 3 octets de mémoire on sait qu'on ne peut pas etre tres intelligent).

Un humain on sait tres bien qu'il peut (sauf cas rare) faire deja pas mal de choses comme se deplacer de facon autonome, voir, parler, deviner les intentions des autres etc etc. Donc sait deja qu'un humain a un stock enorme de connaissances ou savoir faire plus un cerveau capable (sauf cas particuliers) de faire des choses de façon intelligente. Voilà on n'a pas besoin d'en savoir plus pour savoir qu'un homme est a priori intelligent, plus que fritz en tout cas, il n'y a pas photo.

Bon, ok, il y a quelques exceptions sur ce forum mais je ne les citerai pas pour ne pas froisser peres ;o)


ins1723, le
fini j'atends ;o) 


redoutable, ce kolvir plus personne de moufte...j'en profite pour poser une question de béotien : en quoi consiste le test de türing, appremment ç'a n'a pas grand chose à voir avec la définition d'une machine du même nom.


Tu places 1 machine et un homme derrière un rideau noir et tu converses avec les 2 (par le biais d'un clavier écran par ex). Ton but est d'arriverà deviner lequel est une machine et lequel est un homme. Si tu n'arrives pas à trouverou si tu te trompes on considère que la machine a passé avec succès le test.

Ce forum est du reste un excellent contexte pour passer des tests ! C'est comme çaqu'on a pu se rendre compte que le Kolvir est indifférenciable de la mitrailleuse lourde. :o)


effectivement c'est moyennement probant, comme test.
Tout ces efforts pour ramener le fonctionnement du cerveau à celui d'une machine, s'ils sont féconds en découvertes partielles, poursuivent la même chimère réductionniste.
Ainsi que le disait le grand Lao Tseu, la grenouille du puits ne sait rien de la haute mer :)


Tout dépend ce que tu veux prober. Par ex si je suis pragmatiquement un chef d'entreprise et me demande si je peux virerun bonhomme pour le remplacer par une machine qui coûte 10 fois moins cherqu'un employé biologique, le test de Turing adapté à la tâche que je demande de remplirà mon (ex-)employé me semble être parfait.


je comprends mieux mais, dans cet exemple résolument pragamatique, tourné vers des tâches concrètes, l'ordinateur risque d'être facilement repérable, avec sa manie d'avoir toujours le même rendement : l'aspect mécanique de sa performance ne va-t-il pas le trahir?


ins1723, le
gaffe avant de virer les gus C'est déjà arrivé très concrètement. De mémoire c'est Chrisler USA je crois qui avait installé un super système de CAO. Du coup les dessinateurs ne servaient plus puisque les concepteurs pouvait utiliser le logiciel de CAO. Virés les gus. Puis remebauchés rapidemment une fois qu'on a compris pourquoi les ressorts d'amortisseurs cassaient ! Ils avaient une forme spéciale les ressort, pas très régulière qui garantissait justement une certaine resistance. Et le logiciel de CAO à l'époque ne pouvait pas prendre cela en compte, etc crac. Cassés les ressorts. Réembauchés fissa les gus.

Bon je cite ça de mémoire c'est peut être pas une histoire hyper fidèlement racontée mais la morale c'est qu'avant de remplacer un humain par une machine il y a intérêt à avoir fait plus que quelques tests.


ins1723, le
reductionisme Je ne pense pas que le reductionisme (cerveau = ordinateur) soit en jeu ici. Peu importe le cerveau, la question est de savoir comment savoir si une machine est intelligente. Peut etre que les processus de bas niveau ne sont pas les meme, peut etre que l'homme fonctionne par magie, la question reste comment savoir si une machine est intelligente.
Ceci dit je pense toujours que c'est pas un bon test pour les raisons déjà citées.


l'aspect mécanique de sa performance ne va-t-il pas le trahir? : c'est assezfacile de simuler l'inégalité dans le temps, de ne pas avoir un comportement répétitif. Maisc'est vrai que c'est un des pièges que la machine devra éviter. En posant cettebonne question patricelaine tu rentres dans le jeu (sans fin ?) de poursuite entretesteur et testé :o)

Kolvir : Donc le test de turing avait été trop rapide et mal mis en oeuvre ! S'il avait été appliqué sur plusieurssemaines, il y a des chances que cet écueil n'ait pas eu lieu !


à partir du moment où on postule ( certes, un postulat) que seul sur cette terre, l'homme est intelligent, se demander si une machine est intelligente revient à la question cerveau=?ordinateur, non ? (et à remettre d'ailleurs en cause ledit postulat...)


ins1723, le
oui peres trop court le test mais comment tu fais pour savoir combien de temps il doit durer ?


On est tous d'accords pour dire que le test de Turing n'est pas adapté pour répondre à la question de l'intelligence de la machine sion conçoit cette dernière comme composotante interne, intime...

La question n'est à mon avis justement pas comment savoir si une machine est intelligente.


trop court tu as exactement la même problématique avec un humain. Au bout d'un moment, il y auraforcément un pari, tu prends un risque. Qd t'embauches un mec pour une missionde 6 mois en tablant sur 1h de discussion tu prends un risque.


ins1723, le
ca depend patrice Si tu entends que seul l'homme est pour le moment intelligent le test n'est pas lié au postutlat. Par contre si tu entend que seul l'homme et des copies d'hommes peuvent être intelligents alors le test implique qu'un ordinateur peut copier le cerveau.


ins1723, le
embaucher un humain c'est pas pareil car tu as des connaissances sur ce dont un humain est a priori capable.


Pffff, le test de Turing, c'est du pipeau Encore une fois, ce 'test' n'est qu'un jeu d'esprit, en aucun cas un moyen scientifique de prouver qu'un système répond à ce qu'on attend de lui.'
D'une part parce qu'il dépend fortement de la ou les capacités que l'on souhaite comparer...
D'autre part car il dépend tout aussi fortement de l'observateur. Si seul le concepteur est capable de prendre la machine en défaut, le test est-il considéré comme validé ?

C'est juste une f&çon enjolivé de dire que ce que l'on teste est en adéquation avec les résultats escomptés, rien d'autre. Juste un test fonctionnel à la #{*¤¤ !

Enfin, juste un truc, pour le moment, si le 'truc' embauché ne répond pas au besoin... Dans le cas du gus, on peut gentiment lui faire remarquer qu'il a une bonne occase de changer. De comportement ou de boulot !
Pour le système expert, pareil, mais d'une part, il aura du mal à le faire tout seul, d'autre part, ça rapportera plein de pétetes à un gus comme moi :o)


Dans le plat ! ;-) "l'aspect mécanique de sa performance ne va-t-il pas le trahir? : c'est assez facile de simuler l'inégalité dans le temps, de ne pas avoir un comportement répétitif."
Facile, mais repérable quand même lorsque la gaffe survient dans une partie déjà gagnée et n'altère pas le résultat ;-)
Volontairement posté ici où il ne reste que 40 posts !


ins1723, le
c'est un comble pour une machine d'avoir à faire semblant de faire des erreurs pour prouver son intelligence. Uen nouvelle illustration que le test n'est pas bon.


Manque d'arguments sérieux tout ça messieurs ! :o) Kolvir, tu reconnais un certain flou à l'adjectif "intelligent". Ouf ! On n'en est pas encore àse demander si l'on sait même de quoi l'on parle quand on utilise ce mot et si l'onest tous d'accords là-dessus mais bon c'est déjà ça !
Voyons ce qu'implique de reconnaître du flou dans une terminologie : Celà signifie que si tout le monde peut se mettre d'accord sur des cas extrêmes (par ex un caillou d'un côté et mettons Kolvir del'autre flat' flat' :o) ), en revanche entre les 2 (c'est-à-dire sur l'immense majorité des cas) on ne pourras'en tenir à un jugement péremptoire genre "Fritz est/n'est pas intelligent" comme on a pu le lireune sacré paire de foi(s) dans ce fil.
En revanche ce sur quoi on pourra peut-être se mettre d'accord sera "un tel est + malin qu'un tel". Et si vous nejugez pas que Fritz est un poil plus futé qu'un caillou on aura du mal à s'entendre ! De même si vousn'estimez pas + évolué Deep Fritz qui analyse beaucoup moins de coups que Deep Blue à fréquence d'horlogeégale.

Algo génétique-Langage : Tu frôles le réductionnisme !! Certes on peut théoriquement se passer demodélisation, on peut faire exactement lamême chose avec de l'objet qu'avec du cobol ou même du langage machine ou de la carte à trous ouencore un fer à souder, certes... Mais dire ça, c'est négliger tout l'apport conceptuel d'approches fondamentalementdifférentes. Encore une fois la programmation génétique hérite de l'arsenal conceptuel Darwinienet ça n'est pas "qu'une facilité technique" ou que du pipeau !
Les recherches aléatoires ou exhaustives ne sont que des versions extrêmes (et donc appauvries) de laprogrammation génétique. Elles peuvent être aussi (voire +) efficaces sur quelques cas qui sont -commeelles- extrêmes. Mais il y a évidemment d'autres problèmes pour lesquels elles seront impuissantes et larguées face àl'approche génétique appropriée.
De même qd tu dis que la prog objet n'apporte qu'une aide à la maintenance ça me paraîtcomplêtement délirant... Ceci-dit tout dépend de ce que tu entends par maintenance. Si celà contientl'évolution future du logiciel, la ré-utilisabilité des composants inter-logiciel, la conception,la robustesse, alors ok...
Maintenant, si tu dis que la prog objet ou génétique n'est pas la panacée et la meilleure approche pourtoutes les situations, dire qu'il n'y aura pas de miracle ou de magie applicable à toutes les sauces,alors évidemment je te rejoins.

Chipoter sur chaque critère : Moi je pense que la considération hâtive et parti-pris de ces critères est la sourcedu désaccord. D'un côté la fonction d'évaluation de Fritz (qui intègre certainement énormément de conceptséchiquéens) ne sert qu'une force brute, et d'un autre côté l'humain qui récite ses cheunks sansforcément les comprendre explicitement est futé comme tout... Reconnais au moins que la question estlargement discutable !!

Encore une fois, ce 'test' n'est qu'un jeu d'esprit, en aucun cas un moyen scientifique de prouverqu'un système répond à ce qu'on attend de lui.' : La preuve is back :o)) Déjà répondu, me sens pas l'âmed'un Indiana pour ma part... Mais bon, si on fait un test (au passage c'est qd même comme ça que l'onprocède dans 99.9% des cas en informatique, vous trouverez Kolvir dans les 0.1% :o)) ) et que labestiole réagit comme on veut, il y a de bonnes chances pour quelle réagisse toujours comme on veutlorsqu'elle bossera "pour de vrai". Si ça ne tient pas lieu de preuve, celà donne au moins de sérieuxindices de confiance !
D'une part parce qu'il dépend fortement de la ou les capacitésque l'on souhaite comparer... : Je comprends pas bien là... C'est un problème ça ? Heureusementque le test répond à la question et pas à une autre ! ... j'ai du rater un truc...D'autre part car il dépend tout aussi fortement de l'observateur. Si seul le concepteur est capable deprendre la machine en défaut, le test est-il considéré comme validé ? : Comprends pas bien non plus...Si seul un gars hyper pointu est capable de mettre en mauvaise posture la bestiole, c'est donc que lecas est suffisamment rare pour qu'on puisse le négliger... puisque le testeur l'avait négligé !!

Ref Notzaï : Meuh non of course, qui dit être inégal et générer volontairement des erreurs n'impliqueévidemment pas forcément que ce soit de manière complêtement aveugle. Nous-mêmes gaffons plus fréquemmentlorsque nous sommes dans des conditions de stress.

Kolvir test pas bon : Pas bon pour quoi ?
Pour prouver que l'entité est intelligente ? On est tous d'accords là-dessus...
Pour se confondre avec un humain, entité faillible ? Ben où est le prob, l'homme faillit donc la bestiole doitdonc savoir faillir sinon il risquoit de failloir au test.


ins1723, le
fritz intelligent ? Pour moi c'est clair fritz n'est pas intelligent et les humains sont en général intelligents (par rapport à fritz ou aux animaux non humains). Par contre je ne dis pas que tous les joueurs d'echecs humains jouent vraiment intelligemment mais disons un maitre joue intelligemment ce qui ne veut pas dire qu'il joue bien. Il joue en utilisant, entre autre, son intelligence. Et c'est handicapant car on voit bien que ce n'est pas nécessaire ni vraiment adapté.
Certes il y a des connaissances techniques, des recettes etc qui n'ont rien de spécialement intelligent en temps que tels (les chunks dont tu parles). Mais ces connaissances sont profondément ancrés chez un maitre elles ne sont simplement plaqués. Certes il y a un aspect un peu mécanique parfois, accumulation de variantes ou de schémas, mais il y a aussi un aspect comprehension du jeu et de regles plus ou moins générales.
Fritz ne possèdent que le sous produit de cette comprehension et non pas la comprehension elle meme. Ce lui permet de bien jouer mais de comprendre ce qu'il fait.
Si tu demandes a fritz pourquoi telle feuille de son arbre a telle note il sera un peu mal pour te répondre. Si fritz etait un brin plus intelligent il pourrait analysder la forme de sa fonction d'evaluation et donner chaque terme de la formule. Mais ensuite pourquoi chaque facteur de pondéraiton a telle valeur il ne sait pas et peut-etre meme que les concepteurs ne savent pas exactement non plus, c'est peut etre un reglage qui marche c'est tout.
Chez un maitre meme si certains mecanismes sont plus ou moins cables (non accessibles ou difficilement à l'analyse) il peut normalement expliquer ou en tout cas ressentir meme s'il aura un peu de mal parfois a l'expliciter tres clairement pourquoi telle position est favorable aux noirs malgre la qualite en moins.
Voilà donc quelques elements pour preciser pourquoi pour moi fritz n'est pas intelligent.


ins1723, le
"en tant que tels" pas "en temps" 


ins1723, le
programmation à objets Oui par maintenance j'entends tout ce que tu dis. Je ne néglige pas du tout l'analyse qui peut être à objets et le codage en C.


ins1723, le
algos genetiques Non je ne vois pas ce que tu veux dire par tout l'apport de Darwin pour l'optimisation et plus generalement l'informatique. L'apport de Darwin concerne la biologie. On peut essayer appliquer la selection "naturelle" à d'autres domaines mais il faut valider domaine par domaine sinon c'est absurde comme le montre les theoremes non free lunch.
Qu'apporte le darwinisme a l'optimisation en général je ne vois pas ! Ce qui compte en optimisation discrète ou dans les stratégies de recherche c'est quels états tu explores (et surtout ce que tu n'explores pas) et dans quel ordre. C'est à peu près tout. Si tu ne sais rien de la fonction à optimiser tu ne peux rien faire de mieux que chercher au hasard point barre.


Tests... Euh, Peres, s'il suffisait à un programme de passer un test où il réagit comme on veut pour conclure qu'il réagira toujours comme on veut...

Répondre à la question : laquelle ???? Savoir parler ? Savoir parler correctement ? Savoir débattre d'un sujet abstrait ? Savoir parler de façon poétique, etc...
Si je résume, ton test de Turing, c'est savoir si un truc fait ce que l'on attend de lui... Et pour cela, ne pas pouvoir le différencier d'un autre truc qui fait bien ce que l'on attend de lui...
Y'a pas à dire, faut le breveter ce test !

Faillir : pourquoi ? Pour se confondre avec un humain ? Là, c'est toi qui veut identifier l'un et l'autre...
Dans ce cas, il faut rajouter la fatigue, la maladie...

Hérite de l'arsenal conceptuel Darwinien : de nouveau pourquoi ? Par homonymie ???
L'ordinateur quantique hérite de toute la puissance de la théorie quantique : ca le fait pas trop mal, non ?

Par contre, sur Fritz & co, j'aurais tendance à te rejoindre...
90% des joueurs fonctionnent comme Fritz : on prend un ou (quand on est en verve) deux coups candidats, et on calcule... Le plan : euh, attaquer ?
Les chunks ? Hashtables !

Enfin, un petit lien vers un article de 1985, qui évoquait déjà le danger du parallèle entre deux systèmes de traitement, le piège du vocabulaire, etc... : Paradigme du sytème de traitement de l'info


ins1723, le
Ce qui impressionne avec la darwinisme c'est que des solutions très complexes (l'oeil, le cerveau humain, ...) ont émergé sans createur. Cela nous apprend des choses sur le monde vivant et peut etre le monde tout court.

Par contre du point de vue algorithmique (bien qu'on ne connaisse pas encore finement les mecanismes mis en jeu) il n'y a rien de sorcier. D'ailleurs les eleveurs d'animaux domestiques appliquaient l'algo depuis longtemps et ont marqué Lamarck et Darwin. Certes il n'ont pas obtenu des singes à partir de poissons mais en peu de temps les chiens par exemple ont pas mal changé au moins dans leur forme.
L'algo est vraiment bete a priori. C'est faire des mutations aleatoires et voire ce que ça donne. A un moment donné les ressouces, comme dans une machine, sont limitées donc on ne peut pas explorer absoluement toutes les branches et on doit couper. C'est pareil avec l'algo A* bien connu en IA : on ne garde que les solutions qui semblent à un moment donné les plus prometteuses.
Faire se melanger des solutions est le seul point qui ne me parait pas omnipresent dans les algos d'exploration. Est-ce qu'il faut s'en gargariser ? Non. Autant dire qu'en général ça n'amène rien du tout. Certains pourraient penser que melanger de bons elements ne peut que mener à de meilleurs elements mais c'est evidemment faux.

Dans la nature la sexualite n'est pas obligatoire, cf les bacteries qui en l'utilisent preque pas (quelques echanges malgre tout c'est vrai). mais de toute facon la raison de la sexualite semble bien etre non pas une optimisation globale (ce qu'on cherche en informatique en general) mais plutot une variabilite pour eviter d'etre excellent mais peu reactif a un changement de l'environnement (envahissement par des parasites par exemples).
Bref en optimisation melanger les solutions me parait au mieux un moyen pratique d'exprimer certaines stratégies d'exploration pour cetains domaines particuliers et au pire,trop souvent je le crains, un leurre.


ins1723, le
Des algos "lamarckiens" seraient plus intéressant peut être Si un système constate qu'il a un cou trop petit pour atteindre de la nourriture il pourrait en déduire une leçon qu'un cou plus long pourrait donner un avantage et decider de transmettre ce gene à ses descendants en connaissance de cause. A eux de voir si les inconvénients l'emportent ou pas. Ca serait un peu lamarckien en ce sens que la cause finale donne naissance à la mutation: ce n'est pas une mutatation aléatoire.


ins1723, le
De façon plsu génrérale je en crois pas à l'exploration aveugle mais plus à l'utilsation de connaissance pour guider l'exploration. Par exemple dans l'exemple précité on cherche à tirer une leçon d'un échec (accès impossible à une nourriture qui serait bien utile) et à généraliser la leçon. Bien sûr il n'y a pas de recette magique là non plus. Je veux simplement dire qu'il me paraît important d'expliciter ces connaissances, non seulement pour que les concepteurs de solutions comprennent ce qui se passe (contrairement au cas des démarches aveugles), puissent facilement exprimer des stratégies en s'appuyant sur des connaissances sur le domaine, voire laisse les solutions manipuler elles meme ces connaissances pour qu'elles puissent s'adapter plus dynamiquement.


voilà qui me paraît sensé en effet, en informatique, l'être humain peut se permettre de jouer le rôle du Créateur, qui oriente l'évolution des méthodes. C'est bien plus efficace que le grand gaspillage d'énergie et de temps que représente l'évolution darwinienne dans une nature sans guide, réduites aux aléas des mutations et des catastrophes..15 milliards d'années pour fabriquer des olibrius comme nous, c'est pas un exploit, tout bien pesé !


Et, comme chaque fois, Dar Wins ! Ref Fritz Intelligent : J'abandonne ! On tourne en rond et y a pas grand chose de neuf, du monpoint de vue j'ai déjà répondu à tout ça ! Je passe la main à Yvap s'il a le courage :o)
En revanche juste une remarque rigolote en passant : Le seul fonctionnement descerveaux de bons joueurs échiquéens qui a réellement été mis à jour et décrypté(à savoir les cheunks) est comme par hasard jugé "bête"... qt au reste, ce qu'on sait pas trop commentque ça fonctionne, alors là par contre attention, ça rigole plus, il s'agit de LA compréhension véritable (!!)... chacunappréciera le sérieux du propos :o)))

L'apport de Darwin : Là par contre il me semble qu'on peut avancer un peu.
Darwin limité à la biologie ? Le Darwinisme est l'expression d'un principe évolutif,in fine un algorithme. Il se trouve qu'il a été mis en lumière et découvert de par sonapplication sur le vivant, le biologique.
Mais le champ d'action auquel les hommes le vouent est sans cesse étendu. Appliquéau champ culturel celà a donné lieu à la mémétique. Appliqué à l'informatique, à l'électroniqueet à la robotique celàdonne déjà des résultats (que certains jugent prometteurs mais ça reste assez subjectifje reconnais). Yvap pour peu qu'il émerge de sa couette pourra certainement illustrerce point :o).
Donc de quel arsenal héritons-nous ? Hé bien des mutations, de la pression de l'environnement,des reproductions sexuées ou non, d'effets leviers pourquoi pas, de familles, sous-familles etc...,des différentes stratégies de survies que les espèces biologiques ont pu nous montrerjusqu'à présent, du cheminement pris par l'évolution pour une espèce donnée, de lafaculté qu'a une aptitude à surgir plusieurs fois dans l'espace temps etj'en passe ! Attention je nedis pas forcément que c'est très puissant appliqué à l'informatique, je ne formulepas de jugement de valeur (pour l'instant). J'essaie simplementde préciser l'apport conceptuel de la programmation génétique, pour bien montrerque ça n'est pas que de la poudre aux yeux et qu'ils y a bien -théoriquement du moins-un gros potentiel derrière tout ça.

Nirna : pfff j'ai du mal hein !! Est-ce que tu mets toute ta bonne volonté dans ton derniercommentaire ? Hmm ?
s'il suffisait à un programme de passer un test où il réagit comme on veutpour conclure qu'il réagira toujours comme on veut... : ?? Lecture un poilhâtive ? Ai-je jamais dit ça ? Je n'ai au contraire eu de cesse d'insister sur le faitqu'en aucune façon un test ne pourrait constituer une preuve ou un argumentdéfinitif, il apporte seulement un indice de confiance, d'autant plus grand que letest est complet et lourd et d'autant plus petit que l'aptitude testée est complexeet large.

Je t'avoue ne pas comprendre ce qui suit... il doit y avoir un malentendu qui-procant... seraient-celes limites du web ? :o)


Héhé patricelaine dans son dernier commentaire dit tacitement que le Darwinisme ne s'applique pas qu'au biologique... :o)

Sinon ok aussi pourquoi pour l'approche lamarckienne, mais si la prog Darwiniennen'en est qu'à ses balbutiements, celle lamarckienne n'est à ma connaissance mêmepas encore née ! En tte objectivité, si un crédit doit être donné, il doit plutôt préviligierla Darwinienne !


"pourquoi pas" sorry 


Limites du oueb ! Je pense que c'est le cas et que l'on se rejoint sur pas mal de choses !
Je te rassure, je ne cherche pas à te faire tourner chèvre, et je considère bien que du point de vue résultat, Fritz &co et un bon joueur sont difficile à différencier.

Par contre, sur les 'abus de langage' (du moins, c'est mon point de vue) genre système de traitement de l'info, et héritage du Darwinisme, je me repète encore. Il n'y a pas de raison préalable d'établir un parallèle.
Certains mécanismes darwiniens peuvent avoir une utilité en informatique. C'est tout ce que l'on peut affirmer.
Hériter de tout l'arsenal, c'est déjà dire que tous ses mécanismes sont applicables et exploitables, ce qui est aller bien vite !



ins1723, le
chunks Peres arrete de nous les ... avec les chunks ;o) Chunk veut dire morceau. Ca veut dire que la connaissance des experts (aux echecs notamment) n'est pas uniquement faite de regles generales mais de nombreux morceaux de connaissances. Ce n'est pas parce qu'un expert ne s'appuie pas uniquement sur des regles generales qu'il fait de la recherche aveugle sans reflexion abstraite.
J'ai donné des raisons précises pour lesquelles je disqualifie fritz. C'est facile de balayer tout cela du revers de la main. Je n'ai pas parlé de compréhension "véritable" mais si tu crois que Fritz comprend aussi bien ce qu'il fait qu'un maitre humain je crois que tu as un sérieux problème ou que c'est vraiment de la mauvaise foi !


ins1723, le
"veritable" Bon ok j'ai employé le mot "veritable" mais je veux juste dire qu'il me parait justifié de dire que fritz ne comprend pas ce qu'il fait comparé à un maitre humain. Et surtout j'ai donné des raisons, notamment le manque d'explications sur sa fonction d'evaluation. Le modele de "connaissance" de fritz est superficiel. C'est un thème connu en IA (cf. deep knowledge, brittleness problem...) depuis la fin des années 80 et l'échec des systèmes experts. Et encore Fritz n'est même pas un systèle expert. A fortiori il n'a pas de connaissance profonde.


ins1723, le
soit-disant arsenal hérité de darwin pour l'optimisation ou la recherche de solution par exploration d'un espace de solution candidates.
mutations Les mutations aleatoires n'ont rien d'original. Toute recherche dite "randomized" fait des sauts aleatoires plus ou moins grands. Ce n'est qu'un aveu d'impuissance face au nombre trop elevé de solutions candidates : on ne peut pas toutes les explorer donc on choisi "aleatoirement" pour eviter un biais dans la recherche. De nombreux algorithmes sautent d'abord aleatoirement puis explorent ensuite les voisins de la solution initiale.
Cette notion de voisin depend completement des operateurs de transformation d'une solution en autres solutions. La notion de mutation n'a rien de nouveau c'est juste une autre façon de dire opérateur de transformation. Donc ce n'est pas un apport de Darwin pour les algos de recherche, juste une façon de dire les choses !

Pression de l'environnement Juste une façon de dire qu'on n'a pas assez de ressources pour explorer toutes les branches de l'arbre d'exploration. On coupe donc des branches. La stratégie greedy fait pareil et pourtant n'a rien à voir avec Darwin. A* fait pareil. A encore tout cela est hyper classique et il n'y aucun apport de Darwin sur ce plan en informatique.

reproduction sexuée . J'ai déjà répondu sur la non contribution que constitue ceci dans les algos d'exploration sauf peut etre comme moyen de nommer les choses. Dans certains cas il est peut etre pratique de presenter les choses de la sorte c'est tout. Ca ne permet pas de nouvelles strategies, evidemment.

Effet levier ???


ins1723, le
oui patrice mais bon quand meme c'est assez impressionnant ce que fait l'evolution en biologie, je trouve. Mais c'est plus du à la machine hyper puissante et au temps hyper long qu'à l'"algo" lui même.


Ok alors allons-y ! J'essaie d'extraire de ton commentaire les éléments concrets, discutables, et deles discuter justement ! Dis-moi si j'en oublie !

ces connaissances sont profondément ancrés chez un maitre elles ne sontsimplement plaqués : qu'entends-tu par "profondément ancré" ? Ok elles résultentd'un long apprentissage, de milliers d'heures de pratique mais au bout du compteune simple récitation inconsciente (important ça !) suffit ! Qu'est-ce que ça changein fine qu'elles résultent d'un long apprentissage?

comprehension du jeu et de regles plus ou moins générales : J'ai déjàrépondu à ça ! Fritzconnaît aussi ces règles et sait les appliquer dans l'évaluation de ses positions ! Que lui demander de plus ?La différence me diras-tu est qu'il ne les comprend pas. Là pour le coup on quitte le domaine du discutable à mes yeux : "Savoir" et "Appliquer" c'est du concret, "Comprendre"dans ce contexte ne veut rien dire pour moi.

sous produit de cette comprehension : Tjs pareil ! Tu postules ce que tuveux démontrer ! Evidemment que si Fritz ne comprend rien, alors il est bête. Maisça décale le problème. Qu'est-ce qui te fait dire qu'il ne comprend rien ?

Si tu demandes a fritz pourquoi telle feuille de son arbre a telle note il seraun peu mal pour te répondre.[...] Mais ensuite pourquoi chaque facteurde pondéraiton a telle valeur : C'est peut-être une des meilleures questionsà se poser je pense. Elle mérite de creuser un peu.
Tu ne crois pas que même chez Fritz le résultat de l'estimation d'une valeur d'une pièce dépendégalement de son activation, de sa position, de son potentiel d'action à venir ?
Alors évidemment tu peux reculer d'un coup et lui demander pourquoi une pièce activeest plus forte. Fritz, là encore, 'sait' probablement encore répondre en disant que lapièce active contrôle + de cases, offre + de possibilités au joueur qui la possède.
Peut-on encore reculer et se demander pourquoi le fait de contrôler une case permet d'êtreplus fort ? ...
Est-ce dans cette direction que tu juges que Fritz est limité ? Où est-ce plutôtdans son impossibilité de justifier avec précision de la pondération de ses règlesd'évaluation ? Toi-même, sais-tu pourquoi le cavalier vaut quasimentcomme le fou, voire un petit peu moins ? Saurais-tu quantifier le "un petit moins"avec précision ? Le justifier ? Une tour vaut a priori 5 pions, saurais-tu l'expliquer avecprécision ?

Un maitre [...] peut normalement [...] ressentir meme s'il aura un peu demal parfois a l'expliciter tres clairement pourquoi telle position est favorable auxnoirs malgre la qualite en moins. : Pourquoi le ressenti + ou - confusd'un maître relèverait d'une réelle intelligente et pas le calcul de Fritz (a prioris mis àpart) ? De mon point de vue, c'est encore un préjugé !

Ce que j'essaie de montrer c'est qu'il est extrêmement difficilede pointer avec précision la malinité ou non chez Fritz. Ce que j'essaie aussi de montrerc'est que le terme "intelligent" est source de montagnes de confusion car chacun en a sa vision personnelle, s'il était clairement défini ce débat ne pourraitquasiment pas avoir lieu. Si on utilise des concepts mal définis et hyper larges,on ouvre la porte à des discussions sans fin voire à des accusations réciproquesde mauvaise foi ! C'est pour ça que j'essaye systématiquement d'éviter l'emploide tels termes et de concrétiser au max le débat ! Si tu parcours mes interventions,tu devrais voir que je n'emploie quasi jamais le mot 'intelligence', et si exception c'estavec moultes pincettes ! Tandis que tout ton discours est articulé autour dece terme !

PS : t'es gonflé de m'accuser de balayer d'un revers de main, toi ka causé de "chipotage hyper-facile"... hmm ? Ce "chipotage" contient 90% des réponsesprécises que tu réclames !!


ins1723, le
allons y alonso Pour moi peut importe que le terme intelligent soit flou en ce qui concerne fritz il est suffisamment clair qu'il n'est pas intelligent et j'ai essayé de dire ce que j'entends pas là.
Tu as le droit d'avoir une autre définition du mot mais répéter que le terme est flou en contredit pas ce que je dis puisque je précise ce que j'entends par là. Evidemment il est très facile de demander indéfiniment des précisions et de dire que c'est toujours flou.
Je reviens donc sur tes arguments.

Connaissances profondes. C'est un thème classique en IA comme je te 'lai dit. Tu devrais essayer un peu les mots clés "deep knowledge" "brittleness problem". C'est un problème majeur et on n'a pas vraiment de solution. Ce problème concerne typiquement les systèmes experts qui ne savent pas de quoi ils causent. Fritz c'est un peu different : il ne cause meme pas (bon il y a les "commentaires" vocaux cablés ok). On ne peut meme pas lui poser de question.
Ses "connaissances" sont procedurales. Il ne peut donc pas raisonner dessus. Il peut "raisonner" c'est à dire simuler une partie d'echecs mais c'est tout il ne peut pas raisonner sur lui meme sur son activite ce qui est une caracteristique tres importante pour les systemes à base de connaissance.

Un indice simple pour voir si fritz est fragile, est de provoquer un bogue dans sa fonction d'evaluation ou dans son algo de recherche. Que va -t-il se passer. Va-t-il s'adapter, signaler que ce n'est pas coherent, qu'il perd a present systematiquement alors qu'avant il taulait les gms ? Non il va appliquer de façon aveugle (stupide, pas intelligente) son algo ou sa fonction d'evalutation grossierement bogué. Bref c'est un crétin fini.


Arf, Kolvir est plus cadencé que moi :o( J'allais le dire :o).
C'est peut-être bien ce qu'il lui manque, la capacité d'auto-analyse, et surtout de changer de traitement.
Bien sûr, il peut toujours repèrer où la fontcion d'évaluation bascule, mais pour déterminer la cause de l'inversion... Et pour en tirer des conséquences sur son jeu...


ins1723, le
desolé nirna ;o) 


ins1723, le
valeur des pieces La valeur d'une pièce chez fritz depend surement de pas mal de facteurs mais le point est que fritz ne le sait pas. Il ne sait pas non plus ce qu'est une piece ni une fonction d'evaluation ni un jeu ni un adversaire, il ne sait rien en fait mais par contre il sait jouer.
Fritz est limité sur ce plan parce qu'il ne fait qu'appliquer un algorithme sans prendre de recul, mecaniquement. Attention je ne dis pas qu'etre intellient ne fait pas intervenir aussi des operations mecaniques, pas du tout. Je dis simplement qu'une personne intelligente est capable d'interrompre ses traitements de reflechir dessus.
En ce qui concerne la valeur des pieces un maitre peut normalement expliquer dans quelles positions il prefre tel fou qu'un cavalier. Bon c'est un theme classique meme : cavalier contre bon/mauvais fou. Pour la tour qui vaut 5 pions on voit des GM qui font des sacrifices de qualite speculatifs donc ça n'a rien de figé comme valeur chez eux et meme si une partie de leur jugement est inconscient il n'est pas non plus completement aveugle. Le joueur surveille constamment la coherence globale de son jugement : s'il perd, il se remet en question et cherche à comprendre pourquoi etc.


Il est surtout méta(pour changer un peu)-facile de décréter toute question dérangeante comme étant "hyper-facile" pour ne pas avoir à y répondre !Jusqu'où ira l'ultra-facilité ?

Ref Nirna Limites du oueb qui était passé à la trappe : Entièrement d'accord, 2 précisionsqd-même sur l'héritage.
1 Effectivement pour moi "héritage" n'impliquait pas que forcémenttout serait efficace, c'est plutôt un hypothétique potentiel.
2 Hypothétique : faut relativiser qd-même du fait que ce type d'approche a déjàdonné quelques résultats, ça n'est déjà plus qu'un simple fantasme.


ins1723, le
à quoi j'ai pas repondu peres ? 


ins0, le
Une autre définition ?? Tu as le droit d'avoir une autre définition du mot : Ha bon ? Aurais-jeraté la première ? Où ça où ça ?
J'ai vu énoncer des règles nécessaires, mais pas vu ni de def ni de règles suffisantes !

A propos des règles nécessaires donc j'en vois 2 se dessiner :
- Aptitude à apprendre (càd modifier son comportement en fonction desexpériences vécues)
- Aptitude à l'introspection, càd savoir analyser mais aussi savoir analyser sesanalyses et surtout si j'ai bien compris pouvoir choisir et décider d'arrêter l'analysepour passer à l'analyse de l'analyse.

Alors ok, il est tout à fait clair que Fritz ne dispose pas de ces 2 capacités.
Mais en quoi celà interdit-il d'être intelligent (désolé d'être têtu) ? Sont-ce des conditionssuffisantes ?

Merci pour les pistes pour connaissances profondes, je connaissais pas ce concept,qd j'ai le temps je vais fouiner !


pfff fichu bazar i m'a fauché mes lignes. Bon c'est reparti.

Tu as le droit d'avoir une autredéfinition du mot : ? Une autre ? Aurais-je raté la première ? Où ça où ça ?
Je n'ai vu que des règles nécessaires, mais pas de définition ni de règlessuffisantes concernant l'intelligence ! Ha j'imagine le soupir las de Kolvir derrièreson écran ! Hé oui, ça va virer à la discussion terminologique ! Comment faire autrement si on emploie (si j'étais mauvaise langue je dirais "si on se réfugie derrière") un concept aussi large ? Forcément si veut arriver à se mettre d'accord, on sera forcésd'en passer par là !

Je crois que se dessinent 2 aptitudes nécessaires essentielles :
A La capacité d'apprentissage, càd modifier son comportement en fonction duvécu.
B La capacité d'introspection, càd pouvoir analyser son analyse, voire pouvoirchoisir et décider d'abandonner l'analyse pour passer à l'analyse de sonanalyse.

J'ai bon Kolvir et Nirna ? Rien oublié de majeur avec ces 2 points ?

Bon ok, Fritz ne dispose absolument pas de A. Pour B ça mériterait d'être creusécar ça me semble encore un poil vaseux mais bon ça me semble raisonnable deconcéder :o) que Fritz n'en dispose pas non plus.
Mais il reste à expliquer (désolé d'être têtu) en quoi ces 2 composantes sont nécessaires pour qu'un être soit intelligent (la question terminologique sus-nommée n'est pas loin !) !De +, ces conditions sont-elles suffisantes ? Si non que manque-t-il ?

Merci pour la piste sur la connaissance profonde, connaissait pas ce concept, qd j'ai2 mn je vais farfouiller !


ins1723, le
pas de définition explicite de l'intelligence vu que ce serait trop difficile mais des critères. Je ne sais pas s'ils sont suffisants, sans doute pas mais ils sont selon moi nécessaire.
La capacité d'adapatation plus que d'apprentissage je dirais même si e^tre capable d'apprendre est clairement utile aussi. Mais adaptation c'est vague je sais. En tout cas il en faut plus que Fritz c'est clair. Pourquoi est-ce important. Ben si on s'entete a appliquer des recettes qui foirent manifestement je pense que c'est clairement ne pas être intelligent.
Une capacité d'introspection me semble fort utile sinon indispensable ne serait-ce que pour renforcer la coherence, la solidite et justement l'adapatation. Il me parait evident que ne pas pouvoir raisonner sur ses raisonnement par exemple est une limitaton grave.


Quelle diff entre l'adaptation et l'apprentissage ? L'adaptation n'est à mon avis qu'une forme d'apprentissage ou alors une miseen pratique de l'apprentissage, l'exploitation des leçons tirées. Càd apprentissage +analyse.


Idée fixe Pourquoi vouloir faire de Fritz autre chose qu'un logiciel de jeu ?

Fritz coûte 50 Euros et n'a aucune prétention à devenir intelligent.

ChessBase est une entreprise commerciale qui vend des logiciels de jeux et pas un laboratoire du CNRS. Son ambition est de gagner de l'argent en vendant un produit et non d'en dépenser à poursuivre des chimères.


ins1723, le
peres se fait l'avocat du diable lefouduroi et il est tetu ;o) Cedi dit chimère chimère c'est vite dit. En tout cas si Fritz pouvait expliquer ses coups et donner de vraies leçons d'echecs ça serait interessant.


ins1723, le
mais pour cela il faudrait dejà que sa façon de relfechir soit plus proche de celle de l'homme ce qui ne lui servirait pas vraiment pour etre plus fort au contraire. Du moins en l'etat actuel des connaissances en IA.


C'est peut-être cela l'intelligence Fritz refuse d'expliquer ses coups!

C'est peut-être parce qu'il est trop malin (intelligent?) pour parler pour ne rien dire ;-)


ins1723, le
c'est vrai qu'on n'a pas beacoup avancé en 198 posts si c'est ça que tu veux dire ;o)


A moi la conclusion provisoire Si Kolvir ne triche pas !
Même 'adaptation', 'apprentissage' sont des notions vagues... Impossibles à coder sans les modéliser en finesse.
Derrière l'apprentissage, il faut en vrac mémoriser les infos reçues, pouvoir en faire le tri, leur affecter une valeur (pédagogique, pertinence, j'en passe et des meilleures...), établir des relations avec d'autres infos, etc...
Au choix, l'apprentissage va de la mémorisation d'un coup considéré comme mauvais (donc à ne pas rejouer) à une usine à gaz inextricable !

Tout ce que l'on sait faire en informatique pour le moment, c'est à partir d'un modèle décrivant tous les processus de la fonction, pondre du code pour mettre en oeuvre ce modèle.
Je vois mal, à l'heure actuelle, comment échapper au terrible piège de la définition cher à Peres !
Plus la fonction à mettre en oeuvre est complexe, plus le modèle l'est aussi. Et plus la compréhension de ce que l'on veut modéliser doit être fine.
Maintenant, face à la difficulté de connaitre en finesse des notions comme l'intelligence et l'apprentissage, on en est réduit à explorer d'autres voies, plus... ésotériques, en espèrant bien fort y voir apparaitre une solution à ce joyeux sac de noeuds.

Bref, Kolvir, on garde encore notre job pour quelques temps :o)


ins1723, le
comment ça tricher ;o) c'est juste pour donner le lien sur la suite>.

Au passage, oui adaptation c'est vague. Le point c'est que fritz est pas le roi de l'adaptation, sans qu'on ait vraiment besoin de definir "adaptation" en detail, il me semble que c'est assez evident. J'ai cite l'exemple d'un bug grave qui le ferait perdre et ca ne le generait pas le moins du monde de continuer a perdre.


ins1723, le
bon j'ai oublié de fermer la balise mais apparemment le lien marche, il est juste un peu gros désolé.




© 2024 - France Echecs  | Utilisation des cookies  | Politique de confidentialité