Grammatical Framework
              
Hauptseminar SS 2007

Martin Hofmann, Hans Leiß

Termine

Mi, 16-18 Uhr, Oettingenstr.67, Raum 1.13, Beginn: 25.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 (noch im Semester).
Vorläufiger Themen- und Zeitplan:
Siehe Seminarseite http://www.cis.uni-muenchen.de/~leiss/grammaticalFramework-07/
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


File translated from TEX by TTH, version 3.70.
On 18 Apr 2007, 10:40.