Modellierung WS 2010/11 - Folie 310

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 mehrfachen Substitutionen kann man Komponenten der Form y/y weglassen und Komponenten vertauschen, ohne die Wirkung der Substitution zu ändern.
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.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010