Code correspondant à l'article Les robots et l'infini de la revue Pour La Science (PLS 551 - aout 2023)

Comment faire en sorte qu'un robot, doté de capacités très limitées (minimum de mémoire, voire pas de mémoire) soit capable de parcourir une surface infinie ? Précisons qu'un simple compteur de nombre de pas necessite, à l'infini, une mémoire infinie !

Le fichier robot-spirale.nlogo contient le code correspondant écrit en Netlogo

1. téléchargez le fichier (bouton Code (vert) puis "download ZIP")
2. allez sur https://netlogoweb.org/
3. cliquez sur "Run in your Browser" puis en haut à droite "parcourir"
4. chargez le fichier sauvegardé (robot-spirale.nlogo)

Dans ces quatre figures, les cases noires ne sont pas encore visitées, les cases blanches sont les cases visitées par le(les) robot(s) et les X rouges sont les marques utilisées par le robot si il en utilise (seul l'algorithme 4 utilise des marques).

• fig1 : algo 2 : L'agent compte ses pas dans chaque direction et incrémente à chaque tour. C'est la technique "classique". Cela nécessite une position angulaire (4 valeurs) et 3 entiers (infinité de valeurs), ce qui ne fonctionne pas à l'infini, contrairement aux trois suivants.
• fig2 : algo 4 : L'agent pose des marques et tourne autour de ses marques. Il ne compte rien. Cela nécessite une position angulaire (4 valeurs) et savoir tester/placer une marque. Dans cette image, des marques on déjà été posées afin de "troubler" le robot. Lorsqu'il y a des telles marques initiales (en nombre fini), le robot après un début de parcours chaotique finit toujours par emprunter une spirale en ne laissant inexplorées qu'un nombre fini de cases.
• fig3 : algo 5 : L'agent pousse des balises qui lui servent de butées. Quand il en rencontre une, il la pousse et change de direction. Il ne compte rien. Cela nécessite une position angulaire (4 valeurs) et 4 balises.
• fig4 : algo 6 : L'agent change de direction à chaque rencontre d'un des deux robots qui voyage en diagonale. Cela nécessite une synchronisation parfaite des agents. Aucun d'entre eux ne compte quoi que ce soit. Cela nécessite 3 agents, chacun avec une position angulaire et la capacité de détecter un autre agent quand ils sont à deux dans une même case.