|
Ziele:
Allgemeines Prinzip Unifikation verstehen
in der Vorlesung:
An Beispielen zeigen:
- Unifikatoren
- nicht unifizierbare Terme
- allgemeinste Unifikatoren machen keine
unnötigen Festlegungen.
- Zur letzten Zeile der Folie:
Eine Substitution [y/y] hat keine Wirkung, also [y/y] = [].
In mehrefachen Substitutionen kann man Komponenten der Form
y/y weglassen und Komponenten vertauschen, ohne die Wirkung
der Substitution zu ändern.
nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 3.6
Verständnisfragen:
- Wie müssen 2 Terme beschaffen sein, damit es
Unifikatoren gibt, die verschieden sind von den allgemeinsten
Unifikatoren? Hinweis: Nur wenn ein allgemeinster Unifikator
noch Variablen offen lässt, kann es speziellere geben.
|
