[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

IFC Kolloquium WS 01/02



>>> Informatik Forschungs Colloquium (IFC) WS 01/02  <<<
>>>>>>>>>>> Zeit: MI, 14-16; Raum:: 31/322 <<<<<<<<<<<<<
> http://www.vorlesungen.uos.de/informatik/ifc2001-02/ <
--------------------------------------------------------

Einladung zum Vortrag am 06.02.02

Bitte weitersagen -- alle interessierten Studierenden und
Lehrenden sind herzlich willkommen.

++++++++++

Ulrich Wagner -- Programming by Analogy with 2nd Order Anti-Unification 


Während Unifikation dazu dient, zwei Terme mittels Substitution in einen
gemeinsamen Zielterm zu überführen, liefert Anti-Unifikation (AU) einen Term,
auch Anti-Instanz genannt, aus dem mittels Instanziierung beide Anfangsterme
erzeugt werden können. Und da eine Anti-Instanz umso komplexer ist, je
ähnlicher sich die Ausgangsterme sind, kann man sie auch als qualitatives,
nicht-metrisches Ähnlichkeitsmaß interpretieren. AU erster Ordnung stößt
jedoch schnell an charakteristische Grenzen, wenn es darum geht,
nicht-triviale strukturelle Ähnlichkeiten zwischen rekursiven Programmen zu
ermitteln. Dies motiviert den
Übergang zur AU höherer Ordnung. Da letztere jedoch i. allg. nicht
wohldefiniert ist, stellt sich die Frage nach sinnvollen Beschränkungen, die
eine effektive Berechnung von Anti-Instanzen ermöglichen.
Einen theoretisch wohl-fundierten Kompromiß zwischen diesen Anforderungen
stellt die AU-Konzeption von R.W. HASKER dar, welche daher in ihren Grundzügen
erläutert werden soll. Darauf aufbauend wird gezeigt, wie aus Anti-Instanzen
höherer Ordnung
Übersetzungen zwischen Programmen generiert werden können, d.h. wie sich aus
den Ergebnissen der AU ein Analogieschluß zwischen Programmen konstruieren
läßt. Abschließend werden Erfahrungen, Probleme und weitergehende
Fragestellungen diskutiert, welche sich bei der Implementation dieses
Algorithmus' ergeben haben.

-- 
- Ute Schmid - Institute of Computer Science - University of Osnabrück -
- ++49-(0)541-969-2558 (phone) --- schmid@informatik.uni-osnabrueck.de -
- -------------- -2799 (fax) ----------- http://www.inf.uos.de/schmid/ - 
------------------------------- AVZ - Room 31/318 - Albrechtstrasse 28 -
-> Homepage of the German Cognitive Science Society: http://www.gk-ev.de