Spielerando

Warum klingen alle meine Spielfiguren gleich?

KI-Dialoge klingen flach, wenn alle Figuren dieselbe höfliche, wortreiche Stimme haben, gib also jeder Beispielsätze und Grenzen. Lass deine KI dann modellieren, wer was zu wem gesagt hat, denn ein Checker zeigt dir jede Zeile, die auf einem Weg keinen Sinn ergibt, auch wenn er nicht beurteilen kann, wie sie klingt.

Warum klingen alle meine Dialoge gleich?

So sieht ein erster Entwurf oft aus:

  • Wache: „Seid gegrüßt, Reisender. Ich muss Euch mitteilen, dass der Weg vor Euch voller Gefahren ist. Bitte gebt acht.“
  • Wirtin: „Seid gegrüßt, Reisender. Willkommen! Es ist mir eine wahre Freude, Euch in diesen schweren Zeiten bei uns zu haben.“

Du könntest die beiden Sätze tauschen, und niemand würde es merken. Ohne Vorgaben schreibt die KI für alle dieselbe sichere Stimme.

Hier ist derselbe Moment mit zwei echten Menschen:

  • Wache: „Straße ist dicht. Wölfe.“
  • Wirtin: „Du tropfst mir den Boden voll. Suppe kostet zwei Münzen.“

Was gibt einer Figur eine Stimme?

Das kann kein Checker beurteilen. Es kommt von deinen Figurenblättern, und du entscheidest:

  • Länge. Eine Figur sagt drei Wörter. Eine andere hört nie auf.
  • Wortwahl. Ein Seemann und eine Richterin wählen nicht dieselben Wörter.
  • Was sie vermeidet. Wer nie über den eigenen Sohn spricht, sagt mit dem Schweigen viel.
  • Ein Lieblingsthema. Die Wirtin kommt immer aufs Geld zurück.
  • Wie sie dich behandelt. Ist sie grob, schüchtern, freundlich oder ängstlich?

Halte die Zeilen kurz, mit je einem Gedanken, und schreib drei Beispielsätze auf jedes Blatt. Beispiele geben der KI etwas Konkretes, dem sie folgen kann.

Welche Fakten und Regeln kann ein Checker in Dialogen prüfen?

Ein Checker kann keine Stimme hören. Er kann Zeilen finden, die auf einem Weg keinen Sinn ergeben:

  • Fakten: welche Zeilen gefallen sind, wer wen getroffen hat und wer was weiß.
  • Niemand bezieht sich auf ein Gespräch, das nie war. „Wie ich dir sagte“ braucht auf diesem Weg ein früheres Gespräch.
  • Niemand sagt, was er nicht wissen kann.
  • Niemand begrüßt Fremde wie alte Freunde, oder alte Freunde wie Fremde.
  • Tote sprechen nicht.

Wie sieht eine echte Prüfung aus?

Hier ist die Wirtin als Modell. Zuerst sagt sie „Suppe kostet zwei Münzen.“ Ihre kurze Zeile für später ist „Immer noch da? Suppe kostet immer noch zwei Münzen.“ Aber man kann erst ins Hinterzimmer gehen und das erste Gespräch auslassen.

Wir haben diese erfundene Story am 2. November 2026 mit TLC 2.19 geprüft. Das ist die echte Ausgabe von TLC. Wir haben nur die Verwaltungszeilen weggelassen und jeden Schritt in eine Zeile gesetzt.

Error: Invariant NiemandBeziehtSichAufEinGespraechDasNieWar is violated.
State 1: szene = "Start", gesagteZeilen = {}
State 2: szene = "Straße", gesagteZeilen = {"Straße ist dicht. Wölfe."}
State 3: szene = "Hinterzimmer", gesagteZeilen = {"Straße ist dicht. Wölfe."}
State 4: szene = "Gasthaus, später", gesagteZeilen = {"Straße ist dicht. Wölfe.", "Immer noch da? Suppe kostet immer noch zwei Münzen."}

Auf dem Weg Start, Straße, Hinterzimmer, Gasthaus später sagt sie „immer noch“ zu einem Preis, den sie nie genannt hat. Dieser Weg ist der Beweis.

Die Lösung: Wer aus dem Hinterzimmer kommt, bekommt das erste Gespräch. Wir haben TLC noch einmal laufen lassen.

Model checking completed. No error has been found.
8 states generated, 6 distinct states found, 0 states left on queue.

TLC hat sich alle 6 Zustände angesehen, die die Story erreichen kann, und die Regel hat auf jedem Weg gehalten.

Muss ich das alles lesen?

Nein. Das Modell und die Ausgabe des Checkers musst du nie selbst lesen, denn deine KI schreibt es, führt es aus und sagt dir das Ergebnis in einfachen Worten. TLA+ ist eine Sprache zum Modellieren, und TLC ist das Werkzeug, das ein Modell prüft. Wenn TLC auf deinem Rechner nicht läuft, kann deine KI über unseren MCP-Server einen fertigen Checker holen und in deinem Projekt ausführen. Spielerando schaut sich deine Story nie an.

Bestanden heißt, dass deine Regeln auf jedem Weg im Modell gehalten haben. Es heißt nicht, dass deine Dialoge gut sind, und es sagt nichts darüber, wie sie klingen.

Das sagst du deiner KI

Sag mir nicht einfach, dass meine Dialoge in Ordnung sind. Modelliere, wer was zu wem sagt, und prüfe es mit einem Werkzeug.

1. Lies alle Dialoge. Wenn du meine Dateien nicht sehen kannst, bitte mich, sie einzufügen.
2. Lege story-bible.md an, falls es die Datei noch nicht gibt. Füge bei jeder Figur einen Teil Stimme hinzu: drei Beispielsätze, wie lang ihre Zeilen meist sind, Wörter und Themen, die sie immer wieder benutzt, Wörter und Themen, die sie vermeidet, und wie sie den Spieler behandelt. Nimm die Beispiele möglichst aus dem Spiel und nenne die Szene. Wenn du einen selbst geschrieben hast, sag es.
3. Schreib in einem Ordner story-check ein TLA+-Modell der Story.
   - Fakten als Zustand: welche Zeilen gefallen sind, wer wen getroffen hat und wer was weiß.
   - Schritte: jede Szene, jede Entscheidung und jedes Gespräch, mit dem, was sie brauchen und was sie ändern.
   - Regeln als Invarianten: Niemand bezieht sich auf ein Gespräch, das nie war. Niemand sagt, was er nicht wissen kann. Niemand behandelt Fremde wie alte Freunde. Tote sprechen nicht.
4. Führe den Model Checker TLC auf dem Modell aus, damit er jeden Weg abläuft. Wenn TLC hier nicht läuft, nutze get_recipe mit story-model-check über Spielerando und führe diesen Checker in diesem Projekt aus. Wenn du beides nicht ausführen kannst, sag es mir und behaupte nicht, dass etwas geprüft wurde.
5. Zeig mir für jede gebrochene Regel den genauen Weg durch die Szenen, den der Checker gefunden hat, in einfachen Worten, und zitiere die Zeile, die keinen Sinn ergibt.
6. Schreib die Dialoge der Szene um, die ich nenne, oder die Szene mit dem meisten Text, wenn ich keine nenne. Ein Gedanke pro Zeile, die meisten Zeilen unter 15 Wörtern, und niemand erklärt, was man ohnehin sieht. Streiche jede Zeile, die auch eine andere Figur sagen könnte.
7. Zeig mir alte und neue Zeilen nebeneinander. Zitiere bei jeder neuen Zeile den Teil der Stimme-Notizen, dem sie folgt. Ändere das Spiel erst, wenn ich zustimme. Aktualisiere dann das Modell, führe den Checker erneut aus und zeig mir das Ergebnis.

Der Checker kann nicht beurteilen, wie eine Zeile klingt. Sag mir also nie, dass eine Zeile gut klingt. Melde nur, welche Regeln gehalten haben, wie viele Zustände geprüft wurden und ob die Prüfung abgebrochen wurde. Wenn eine Figur im Spiel zu wenig sagt, um zu erkennen, wie sie spricht, sag „Ich weiß es nicht“ und frag mich.

Oder spar dir das und schließ den MCP an: Dann findet deine KI das alles von selbst.MCP anschließen

So prüfst du es

  • Spiel den Weg, den du bekommen hast. Folge genau diesen Szenen im Spiel. Du solltest die Zeile hören, die keinen Sinn ergibt.
  • Verdecke die Namen. Erkennst du allein an den Worten, wer spricht?
  • Lies laut vor. Wenn dir die Luft ausgeht oder du dir albern vorkommst, kürze die Zeile.
  • Sieh es dir im Spiel an. Passt jede Zeile in den Kasten? Wird etwas abgeschnitten?
  • Sprich dreimal mit jemandem. Kommt jedes Mal dieselbe Zeile?

Quellen

Stand: 2026-11-02