Modell

Ein sehr hilfreiches Werkzeug zum Beweis der Vollständigkeit der SLD-Resolution ist das Herbrand-Modell.

Es gilt nämlich: Eine Klauselmenge hat ein Modell genau dann wenn sie ein Herbrand-Modell hat. Man kann die Aussage sogar auf beliebige prädikatenlogische Formeln erweitern!

Somit kann man die Variablen in den Klauseln durch Konstanten aus dem Herbrand-Universum ersetzen und die Komplexität der Betrachtung enorm reduzieren.



(Das ist eine Erkenntnis aus dem Logischen Programmieren, einer Teildisziplin der Theoretischen Informatik. Bitte nicht runterbewerten, wenn du nichts damit anfangen kannst! Danke.)

Als ich mal mit einem Kommilitonen zusammen »The Cube« geguckt habe, habe ich dann mal so die Frage in den Raum geworfen, was wohl ein Physiker gemacht hätte, wenn er in so einem Ding gefangen gewesen wäre.
Daraufhin ein Dritter: »Ein Physiker wäre erstmal sitzengeblieben und hätte angefangen, Modelle aufzustellen. Und nach einer Weile wäre ihm dann klar geworden, daß er schon im Ausgangswürfel sitzt und nur auszusteigen braucht.«

Modelle sind also ein gutes Hilfmittel zur Erhaltung der Lebendigkeit und körperlichen Unversehrtheit.

Das Instanzenmodell trennt das triebhafte, das moralische und das dazwischen vermittelnde,
realitätsorientierte: Das Es ist ab der Geburt (wohl auch schon pränatal) vorhanden und funktioniert nach
dem Lustprinzip, d.h. es verlangt nach sofortiger Befriedigung aller als lustvoll erlebter Impulse, es ist der
Sitz irrationaler Leidenschaften. Alle Vorgänge im Es sind unbewußt, hier finden sich Eros (Liebestrieb)
und Thanatos (Todestrieb).Das Über-Ich ist der Sitz des Gewissens und des Ich-Ideals, das sich während
der Erziehung durch Internalisierung (Übernahme und Verinnerlichung ) der elterlichen Regeln bildet (z.B.
durch Identifikation). Das Über-Ich enthält bewußte, vor- und unbewußte Anteile und ist der Gegenspieler
des Ichs. Das Ich ermöglicht die Anpassung der Wünsche des Es und der Gebote des Über-Ichs an die
Realität (Realitätsprinzip) und gilt als Vermittler zwischen beiden. Mit Hilfe der Abwehrmechanismen
lassen sich ungerechtfertigte Ansprüche beider Instanzen abwehren. Das Ich hat bewußte, vor- und
unbewußte Anteile. Freud vergleicht das Ich mit einem Reiter, das Es mit dem Pferd (in diesem Bild wäre
das Über-Ich der Schiedsrichter).





Karl