Modéliser l’intelligence de Turing à chatGpt

Les machines vont être plus intelligentes que les humains!

Mais…

Qu’est-ce qu’une machine?
Qu’est-ce que l’humain?
Qu’est-ce que l’intelligence?

Qu’est-ce qu’une machine?

« On pourrait par exemple insister sur le fait que l’équipe d’ingénieurs [qui produit l’artefact technologique] devrait être toute du même sexe, mais ce ne serait pas vraiment satisfaisant, car il est probablement possible de construire un individu complet à partir d’une seule cellule, disons de la peau d’un homme »

La machine de Turing

La machine à état discrets

D’autres “machines” ?

oracles
…

Physarum computing

La définition de l’humain

est ‘humain’ ce qui échappe à la machine

Intelligence?

rationalité vs humanité
pensée vs comportement

Le test de Turing

Turing, A. M. « Computing Machinery and Intelligence ». Mind LIX, nᵒ 236 (1 octobre 1950): 433‑60. https://doi.org/10.1093/mind/LIX.236.433.

Les LLMs

Deviner le prochain token.

Un LLM est un modèle qui apprend la probabilité d’un token \(e_t\) étant donné le token précédent \(e_{t−1}\). À savoir:

\[P(e_t | e_{t-1})\]

une approche inductive
une approche probabiliste
une approche vraisemblable

S’interroger sur la définition d’intelligence

Comment définit-on l’intelligence?

Comment définit-on les différentes formes de comportement intelligent?

Les modèles de définition de l’intelligence

définir le langage naturel
définir des concepts particuliers
définir des sentiments
définir la conscience

L’Anthologie grecque

c. 4000 épigrammes
c. 325 auteur.e.s
c. XVI s. de littérature
AG. = A. Palatine + Appendix Planudea

Le projet « Anthologie grecque »

Nombreux acteurs :

Mathilde Verstraete
Elsa Bouchard
Christian Raschle
Servanne Monjour
Annalisa Divincenzo
Margot Mellet
Luiz Capelo
Et bien d’autres étudiant·e·s…

Arthur Juchereau
Tim Guicherd
David Larlet
Sara Rubio
Perseus
Perseids
Bibliothèque Palatine (Heidelberg)
Liceo Classico Cagnazzi (Altamura)

La variatio dans l’Anthologie

Définir un concept littéraire avec un algorithme

L’intelligence artificielle est ainsi mise au service de la théorie de la littérature plutôt que de l’analyse littéraire.

Est-il possible de donner une définition formelle – ou, plus précisément, computationnelle et algorithmique – d’un concept littéraire ? Ce projet pilote entend donner une réponse à cette question à partir d’une étude de cas sur le concept littéraire de « variation » dans l’Anthologie grecque, un corpus de 4000 épigrammes écrites par plus de 300 auteurs différents. Literature is not data, écrivait Stéphane Marche (Marche 2012) dans un article qui a suscité beaucoup de débats et de discussions au sein de la communauté littéraire. Il se ralliait à une longue tradition théorique qui pose une distinction nette entre sens et syntaxe (voir aussi John Searle (1980)) : ce qui relève du sens, de l’humain, ne serait pas calculable par une machine. L’hypothèse de ce projet est que la littérature est un ensemble de données, mais très complexes, et que, pour rendre compte de cette complexité, il est nécessaire de développer des modèles formels riches. Pour vérifier notre hypothèse, nous allons utiliser des algorithmes (ensemble des règles opératoires propres à un calcul, suite de règles formelles) non pas pour chercher des contenus ou pour faire de nouvelles découvertes à propos de notre corpus, mais pour essayer de définir de façon formelle un concept : celui de variation. Au lieu de chercher de nouvelles variations dans l’Anthologie grecque, nous allons démarrer avec la liste de toutes celles qui sont considérées comme telles par les spécialistes de ce corpus. Nous allons ensuite essayer de définir un algorithme capable de les repérer. L’intelligence artificielle sera mise au service de la théorie de la littérature plutôt que de l’analyse littéraire. Si notre algorithme est capable de trouver toutes les variations identifiées en amont, cela signifiera que cet algorithme est, de fait, la définition formelle du concept de variation. Notre projet pilote vise à développer une méthode de formalisation des concepts littéraires qui pourrait ensuite être utilisée pourd’autres concepts et d’autres corpus.

IEML

Information Economy MetaLanguage: un langage artificiel computable

syntaxe régulière
sens construit à partir de la syntaxe
primitives, morphèmes, mots

Un concept en IEML

IEML l’exemple de “démocratie”

(exemple élaboré par Pierre Lévy ici)

@node
fr: démocratie
en: democracy
(
0 verbe: exercer le pouvoir
1 sujet: tous les citoyens
2 objet: unité politique / cité
4 cause/instrument: suffrage universel
7 intention/contexte: régime politique
8 manière: séparation des pouvoirs et protection des minorités
).

Créativité et température

\[\sigma(z_i) = \frac{e^{\beta z_{i}}}{\sum_{j=1}^K e^{z_{j}}} \ \ \ for\ i=1,2,\dots,K\]

Modéliser l’intelligence

définitions non ambigües
modélisation formelle
compréhension de l’“intelligence”
analyse des conceptions possibles de l’humain