Modell

Das Modell hat mit der Wirklichkeit nur bedingt zu tun.
Irgendwo las ich in diesem Zusammenhang einmal den Ratschlag »Versuche nicht, die Speisekarte zu essen.«

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

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.)