Citation :
SI j'ai bien compris le peu que tu as décrit, tu fais de la théorie des jeux avec des agents sans mémoire?
Ouais, mais ce n'est qu'une toute petite partie. A vrai dire, déjà, je fais de la sémantique des jeux et pas de la théorie des jeux, ce qui est un poil différent mais disons que ce sont des théories "qui se cherchent" depuis un certain temps ...
Après, pour ce qui est des agents sans mémoire, c'est un poil plus compliqué que cela : la question est : "les joueurs peuvent raisonner stratégiquement avec le minimum de mémoire qu'il faut pour appliquer les règles du jeu, ou bien doit-on leur supposer d'autres supports ?" Dans la plupart des jeux, la réponse est simple : la stratégie est une sphère séparée, presque indépendante même parfois des règles. Mais dans les jeux logiques (penser une preuve comme un jeu), c'est un poil plus complexe. Et surtout, il y avait moyen d'optimiser les systèmes "actuellement disponibles sur le marché", mais au prix d'une tour de force métaphysique bien mindfuckant.
En fait, le problème n'est pas tant de défendre les résultats, que de défendre la torsion d'esprit perverse qu'il a fallu adopter pour le produire.