Le parfait reconnaisseur du Français

Très facile. On se base sur la connaissance du fait que l'apprentissage des langues se fait exclusivement par exemples positifs - ce n'est pas la peine de reprendre vos enfants s'ils font des fautes, ils s'auto-corrigeront par les bons exemples auquels ils seront soumis.

Alors j'implémente λ x.Vrai qui reconnaît comme correcte toute soumission d'un locuteur natif se conformant à l'usage. Je suis prêt à faire expertiser cette réalisation d'un algorithme de reconnaissance du français conforme à cette spécification. Si un observateur conteste sa bonne opération, il sera très facile d'examiner sa soumission pour décider s'il s'agit effectivement d'une phrase en français compréhensible. S'il se plaint que la réponse est positive, alors soit sa phrase est correcte et on lui dit “de quoi vous plaignez vous ?” soit on lui fait remarquer que sa soumission est incorrecte et ne satisfait donc pas aux spécifications du programme.

Remarquez que le problème de l'intelligence artificielle est complétement résolu dans cette application : on a réussi à transférer la compétence de l'expert à la compétence du programme.

Now the opponent must refute this specification with a correctness presupposition, and demand more than a recognizer, but a separating discriminator. Le goûteur de Français.

We shall come back to this problem.

© Gérard Huet 2006 Top | MPRI fr | MPRI en | Previous | Next |