Génération de phrases autoréférentielles
- Description
-
Il s'agit de réussir à rendre des phrases réflexives correctes. L'algorithme de D. Hofsdater et la variante de Pitrat ont été implémentés avec succès. Outre l'intérêt purement intellectuel qu'a ce projet il pose un certain nombre de questions philosophiques. Pour mieux comprendre le projet merci de lire le rapport qui y est consacré.
- Exemple de sortie du programme
-
Voici un exemple de sortie pour l'entrée: vous avez bien raison de compter toutes les lettres de cette phrase avant de la croire quand elle vous affirme qu'elle contient.
100% done
----- 9 Solution(s) ----
5 fois: vous avez bien raison de compter toutes les lettres de cette phrase avant de la croire quand elle vous affirme qu'elle contient onze a deux b sept c huit d trente neuf e six f cinq g quatre h vingt deux i un j un k huit l quatre m vingt cinq n douze o six p neuf q quinze r quinze s vingt six t vingt trois u neuf v un w sept x un y et pour terminer six z
3 fois: vous avez bien raison de compter toutes les lettres de cette phrase avant de la croire quand elle vous affirme qu'elle contient quatorze a deux b huit c neuf d trente neuf e cinq f quatre g six h vingt et un i un j un k huit l quatre m vingt quatre n douze o quatre p onze q dix-huit r dix s trente t vingt cinq u huit v un w six x un y et pour terminer cinq z
1 fois: vous avez bien raison de compter toutes les lettres de cette phrase avant de la croire quand elle vous affirme qu'elle contient quatorze a deux b sept c huit d quarante e cinq f cinq g quatre h vingt et un i un j un k huit l quatre m vingt deux n douze o six p neuf q seize r seize s vingt sept t vingt trois u neuf v un w six x un y et pour terminer six z
1 fois: vous avez bien raison de compter toutes les lettres de cette phrase avant de la croire quand elle vous affirme qu'elle contient quinze a deux b six c neuf d quarante e six f cinq g quatre h vingt i un j un k huit l quatre m vingt deux n neuf o sept p dix q dix-sept r treize s vingt huit t vingt quatre u neuf v un w sept x un y et pour terminer quatre z
3 fois: vous avez bien raison de compter toutes les lettres de cette phrase avant de la croire quand elle vous affirme qu'elle contient seize a deux b huit c huit d quarante et un e quatre f cinq g cinq h vingt trois i un j un k huit l quatre m vingt trois n quatorze o quatre p douze q vingt deux r treize s trente trois t vingt cinq u neuf v un w quatre x un y et pour terminer six z
1 fois: vous avez bien raison de compter toutes les lettres de cette phrase avant de la croire quand elle vous affirme qu'elle contient treize a deux b huit c douze d trente huit e cinq f cinq g six h vingt quatre i un j un k huit l quatre m vingt deux n dix o cinq p dix q dix-sept r dix s vingt neuf t vingt quatre u neuf v un w huit x un y et pour terminer quatre z
4 fois: vous avez bien raison de compter toutes les lettres de cette phrase avant de la croire quand elle vous affirme qu'elle contient treize a deux b sept c huit d quarante e cinq f cinq g quatre h vingt deux i un j un k huit l quatre m vingt trois n onze o six p neuf q seize r quinze s vingt six t vingt deux u neuf v un w sept x un y et pour terminer six z
4 fois: vous avez bien raison de compter toutes les lettres de cette phrase avant de la croire quand elle vous affirme qu'elle contient treize a deux b sept c neuf d quarante et un e six f cinq g quatre h vingt deux i un j un k huit l quatre m vingt trois n douze o sept p huit q dix-sept r seize s vingt neuf t vingt trois u neuf v un w six x un y et pour terminer cinq z
6 fois: vous avez bien raison de compter toutes les lettres de cette phrase avant de la croire quand elle vous affirme qu'elle contient treize a deux b sept c sept d quarante e quatre f cinq g cinq h vingt trois i un j un k huit l quatre m vingt deux n onze o six p huit q seize r seize s vingt huit t vingt et un u neuf v un w six x un y et pour terminer six z
