Grammatical Framework
              
Hauptseminar SS 2007

Martin Hofmann, Hans Leiß

Termine

Mi, 16-18 Uhr, Oettingenstr.67, Raum 1.13 oder Rechnerraum Z8 (Gobi), Beginn: 18.4.2007
Inhalt und Ziel der Veranstaltung
Grammatical Framework (GF) ist ein von Aarne Ranta (Helsinki, Göteborg) entwickeltes System zur mehrsprachigen Dokumententwicklung. Die Hauptidee besteht darin, dass Dokumente in einer sprachunabhängigen, abstrakten Syntax erstellt werden, die dann mit Hilfe von Grammatikmodulen (Resource Grammatik), welche dokumentunabhängig für verschiedene Sprachen zur Verfügung stehen, konkretisiert wird.
Solche Systeme können sowohl für natürliche Sprachen (Bedienungsanleitungen, Museumsführer) als auch Programmiersprachen (Codeerzeugung in Java und C#) eingesetzt werden.
Im GF wird die abstrakte Syntax in der Typentheorie von Martin-Löf ausgedrückt, was u.a. den Vorteil hat, dass semantische Wohlgeformtheitseigenschaften, z.B. semantische Typen von Verbargumenten, automatisch geprüft werden können. Darüberhinaus können den Inhalt betreffende Konsistenzeigenschaften überprüft werden, z.B. die semantische Übereinstimmung einer generierten Reiseverbindung mit dem Kursbuch.
Ziel des Seminars ist das Verständnis und eine kritische Evaluierung des GF-Ansatzes anhand der unten genannten Arbeit von A.Ranta. Dazu gehören der theoretische und praktische Hintergrund, konkurrierende Ansätze, sowie die Ausarbeitung von Fallbeispielen.
Scheinkriterium:
Guter Seminarvortrag, mit gutem Handout oder nachträglicher schriftlicher Ausarbeitung/Programm (noch im Semester).
Am 25.4. haben wir uns darauf verständigt, zuerst in mindestens 3 Sitzungen das Tutorium zum Grammatical Framework (s. Link) durchzuarbeiten und Vorträge zu bestimmten Themenbereichen erst anschließend.
Der Rechnerraum Z8 (Gobi) ist in der ersten Semesterhälfte Mi 16-18 für das Seminar reserviert.
Aktualisierter Themen- und Zeitplan:
2.5. Leiß GF-Tutorium 1: The .gf-format, translation, grammar architecture
9.5. Leiß GF-Tutorium 2: Resource modules, morphology, more on concrete syntax
16.5. Leiß GF-Tutorium 3: More on abstract syntax, using a resource grammar
23.5. Hofmann Typentheoretischer Hintergrund + Funktionales Programmieren
30.5. N.N.Ranta(2004), § 1-3: Grammatiken, Parsen, Ziele von GF
6.6. Veselina Ranta(2004), § 4-5.2 Typen und Merkmalbereiche
13.6. N.N.Ranta(2004), § 5.3-5.6 Unzusammenhängende Konstituenten, Beispiele
20.6. Khegai Beispiel zur mehrsprachigen Dokumenterstellung
27.6. Neumann Ranta(2004), § 6 Die Sprache von GF
4.7. N.N.Beispiel zur Verwendung einer Resource Grammatik
11.7. N.N.Beispiel zur Codeerzeugung in mehreren Programmiersprachen
Der Plan ist nicht mehr aktuell; am 27.6. wird es mit der Verwendung der Resource-Grammatik des Deutschen weitergehen (evtl. inklusive ,,grammar writing by examples''), danach mit der des Russischen.
Literatur
A. Ranta. Grammatical Framework: A Type-Theoretical Grammar Formalism.
Journal of Functional Programming, 14(2):145-189, 2004.
http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz
GF 2.7 Homepage: http://www.cs.chalmers.se/~aarne/GF
Tutorial: http://www.cs.chalmers.se/~aarne/GF/doc/tutorial/gf-tutorial2.html/
Haskell 98 Homepage: http://haskell.org/aboutHaskell.html
Tutorials: http://haskell.org/tutorial/,
ftp://ftp.geoinfo.tuwien.ac.at/navratil/HaskellTutorial.pdf

Lösungen zu den Aufgaben
Aufgaben und teilweise Lösungen sind hier uebung.ps bzw. uebung.pdf angegeben. Die darin angegebenen Beispieldateien kann man unter Beispiele.tgz holen.
Eine Lösung für Aufgabe 6, das Verwenden der Resource-Grammatik des Deutschen für die Konstruktion einer FoodCommentsGer-Grammatik analog denen für Englisch und Italienisch aus dem Tutorium, ist jetzt angegeben. Das sollte man sich möglichst bis 27.6. ansehen (und durch Anpassen der Pfadangaben bei sich selbst zum Laufen bingen)!

File translated from TEX by TTH, version 3.67.
On 18 Jul 2007, 15:27.