Mindestanforderungen II (oder: Das Sein bestimmt das Bewußtsein)
Ich formuliere das Problem neu, unter Berücksichtigung der jüngsten Überlegungen:
Der Algorithmus (oder das Programm) zur Formerkennung bestimmt maßgeblich den Regelsatz, also auch dessen Größe. Die Frage muß jetzt also korrekt lauten:
Welcher Algorithmus zur Erkennung der Form des Kastens erlaubt den kleinsten Satz an (Fahr-) Regeln?
Zur Formerkennung: Ich bleibe beim einfachen Programm, das aus dem Verbinden der Umkehrpunkte auf die Form schließen soll. Wie wichtig ist die Ausgangssituation (Position des Roboters am Beginn der Tour)? Ist eine möglichst zu den Banden nichtparallele Bahn am günstigsten? Um rechte Bahnwinkel zu vermeiden, soll der Roboter jetzt folgende Regeln einhalten:
- Fahre so lange geradeaus, bis du nicht gegen eine Wand stößt.
- Stößt du gegen eine Wand, setze kurz zurück, drehe dich um 30 Grad nach rechts, und befolge wieder Regel 1.
Das ganze soll er solange durchführen, bis er die Umgebungsform ermittelt hat. Wenn dies geschehen ist, soll er der Form von innen in einer Umrundung folgen. Stimmt dabei was nicht, muss er weiter gegen die Wände fahren, eben so lange, bis er einmal ohne Zusammenstoß eine Ehrenrunde gedreht hat.
So, und wie sieht jetzt der Quelltext aus? Geht’s auch ohne Mustererkennung (mit Sicherheit)? Wie viele Annahmen über die Form stecken hier schon von vornherein in der Programmierung? Bei welchen würde die Programmierung versagen.
Das alles muss noch in eine saubere theoretische Form. Folgende Fragen gilt es dabei zu beantworten: Welche Rolle spielt die Ausgangssituation des Roboters? Welche Formen kann der Algorithmus ermitteln, wie gut ist die »Bahnauflösung«?
Was noch?
Nachtrag: Ergodizität, ick hör dir trapsen…
