OKSIMO-BEISPIEL: Theorie Brunnenkapazitaet vereinigen mit Theorie Einwohnerzahl.

Letzte Änderung: 30.Jan 2024

Autor: Gerd Doeben-Henisch

Email: kontakt@sw-de.oksimo.org

KONTEXT

Dieser Text gehört zum Thema oksimo Beispiele.

Ausgangspunkt: Zwei fertige Theorien

Fallbeispiel: es liegen schon zwei fertige Theorien vor:

  1. T-brunnenkapazität-verlauf-v1 (Nennen wir gleich nur noch T1-brunnen)
  2. T-einwohner-verlauf-v1 (Nennen wir gleich nur noch T2-einwohner)

Diese beiden Theorien sind schon einmal zusammen geführt worden, indem (i) eine Kopie von der Theorie T1-brunnen erstellt worden ist und (ii) in diese Theorie wurde dann per Hand der Text der Theorie T2-einwohner eingetragen. Daraus wurde dann T-brunnen-einw-v1.

Wie man sieht, kann man dies machen, aber es ist schon ein wenig aufwendig. Und je umfangreicher der Text zu einer Theorie wird, um so aufwendiger wird dies. Schöner wäre es, man kann ‚per Knopfdruck‘ zwei Theorien T1 und T2 zu einer vereinigen (mergen). Mit dr oksimo Software geht dies.

Vereinigung per Klick …

Dazu wählt man die Theorie T1 aus (= T-brunnenkapazität-verlauf-v1) und sagt (als Autor), dass man diese Theorie mit einer anderen Theorie T2 (= T-einwohner-verlauf-v1) aus der Liste der verfügbaren Theorien vereinigen will.

Für die weitere Arbeit verkürzen wir den Namen T-brunnenkapazität-verlauf-v1_T-einwohner-verlauf-v1_1706607593 ein wenig:

Dann schauen wir uns an, wie die vereinigte Theorie arbeitet, indem wir für die neue vereinigte Theorie eine Simulation aktivieren.

Wenn man sich dann die Tabelle der mathematischen Größen anschaut, kann man Folgendes feststellen:

Alle Werte sind wie es die Einzeltheorien erwarten lassen und wie es auch die ‚per Hand vereinigte Theorie angezeigt hat. Bis auf einen Wert, der auffällt: Die Jahreszahlen weisen Sprünge von +2 auf statt +1.

Wenn man genauer hinschaut, dann sieht man, dass die Größe ‚Jahr‘ zweimal vorkommt! Einmal als Teil der ursprünglichen Theorie T1 und einmal als Teil der ursprünglichen Theorie T2. Dies bedeutet, dass die Anweisung, die Jahreszahl um +1 zu erhöhen, zweimal pro Runde ausgeführt werden wird:

In der aktuellen Version der Software ist der einfachste Weg, um diese ‚Verdopplung‘ zu beseitigen, ein Vorkommnis der Anweisung ‚Jahr=Jahr+1‘ einfach zu löschen.

Die neue Version der vereinigten Theorie mit nur einem Vorkommnis der Größe Jahr sieht dann wie folgt aus:

Die Jahreszahlen zeigen eine lineare Steigerung von durchgehend +1 an. Damit stimmen alle Werte dieser vereinigten Theorie mit jenen der zuvor manuell vereinigten Theorie überein.

Auch die Überprüfung der Regelanwendung während der Simulation ergibt, dass die Anweisung ‚Jahr=Jahr+1‘ nur noch einmal pro Runde angewendet wird.

(Um die Simulation selbst überprüfen zu können können Sie auf die Seite der ‚Public Theories‘ der oksimo Software gehen: https://oksimo.com/public_theories

Damit sieht man, dass bei der Vereinigung von zwei bestehenden Theorien bestimmte Variablen doppelt vorkommen können. Diese Doppelung muss man beseitigen.

Sofern diese Doppelungen Größen betreffen, die gleichlautend sind, kann man alle Doubletten einfach weg-löschen. Sollten gleiche Namen vorkommen, die mit unterschiedlichen Ausführungen verknüpft sind, dann muss man Umbenennungen vornehmen und die Wechselbeziehung mit anderen Ausdrücken berücksichtigen.

Generell sollte man aber beim Schreiben einer Theorie aber niemals die gleichen Namen mit unterschiedlichen Ausführungen verwenden, da dies im Normalfall immer zu Konflikten führen wird.