Richter: Algorithmische Semantik (SS 09)

Allgemeine Kursinformation

• Kursbeschreibung
• Seminarsitzungen: Die Lehrveranstaltung findet statt montags 11.30-13.00 (Raum 3.011, Azenbergstr. 12) und freitags 9.45-11.15 (Raum M 12.21, Azenbergstr. 12)
  
• Sprechstunde: Freitags, 12.00-13.00, IMS, Büro 2.13 (Email: f.richter@em.uni-frankfurt.de)
• Lektüreliste

Handouts, Folien, Links

• Informationsblatt zum Kurs
• Syllabus (24. April); wird bei Bedarf angepasst
• Syntax und Semantik der Prädikatenlogik erster Stufe (besprochen am 24.4.)
• Alphabetische Liste der Built-in Predicates von SICStus4 , darunter auch alle relevanten vordefinierten Standardprädikate von Prolog
• Satzfolge zur Untersuchung des Verhaltens von sensitive curt
• Tübinger BA-Thesen rund um das Buch von Blackburn und Bos (2005):
  • Johannes Dellert (2008): Lambda Calculus on Dependency Structures for a Wide-Coverage Grammar of Esperanto. Making Deep Semantics More Robust
  • Kilian Evang (2008): Problems of Generating German from First-Order Formulae in Automatic Translation from English to German

Software

• Patrick Blackburn & Johan Bos: Representation and Inference for Natural Language: Software Requirements and Downloads
• Tar ball mit Dateien einer erweiterten Version der DCG-Grammatik des Englischen nach Pereira und Shieber (1987). Hinzugefügt wurden eine Baumausgabe (mit Javainterface) und eine leicht erweiterte Variante des Model Checkers von Blackburn und Bos. Die syntaktische Struktur geparster Sätze wird im Javafenster angezeigt, die prädikatenlogische Formel und Angaben über deren Wahrheit/Falschheit im Modell werden in Prolog ausgegeben. Benutzung:
  • Datei pereira-shieber87.pl kompilieren oder laden, parse/0 zum Einlesen von Sätzen aus stdin verwenden. Die syntaktische Abdeckung des Fragments ist aus program42-mod2.pl ersichtlich. Der Interface-Code zu Java ist für SICStus Prolog geschrieben.
  • Zur Anpassung des obigen Codes an die Verwendung mit SWI-Prolog, hier eine Datei mit den passenden Prädikaten zur Kommunikation mit Java für SWI-Prolog. Die Datei muss noch modifiziert werden, damit wie in der SICStus-Variante der Model Checker integriert wird und die prädikatenlogische Übersetzung und die Wahrheit oder Falschheit der geparsten Sätze im Modell angezeigt werden. All das kann direkt aus der SICStus-Variante (in pereira-shieber87.pl) übernommen werden.
• lambdaGramBB.tar.bz2: Tar ball mit den modifizierten Dateien des englischen Grammatikfragments von Blackburn und Bos. Enthalten sind nur die tatsächlich modifizierten Dateien, die übrigen können (und müssen) von Blackburn und Bos übernommen werden. Die Startdatei ist lambdaInt.pl, das graphische Interface ist für SICStus-Prolog geschrieben und kann an SWI-Prolog mit den im vorigen Punkt genannten Prädikaten angepasst werden.
  Zur Verwendung:
  • interface/0: Zum Einlesen von Sätzen von der Kommandozeile. Ausgabe ist neben der prädikatenlogischen Übersetzung die syntaktische Struktur des Satzes in einem separaten Baumfenster. Diese Ausgabe verwendet die Datei tv.jar aus der Implementierng der Pereira-Shieber-Grammatik. Wichtig: Die Javadatei (tv.jar) muss hierzu im Grammatikverzeichnis abgelegt werden.
  • pp_cat/2: Zum Parsen von Ausdrücken in der im ersten Argument anzugebenden syntaktischen Kategorie. Ausgabe sind 1) die semantische Repräsentation, die dem Ausdruck durch die Grammatik zugewiesen wird, und 2) die komplett lambdakonvertierte Form dieser Repräsentation. Alle Lösungen werden aufgezählt und die jeweilige syntaktische Struktur in Klammerstruktur angedeutet.
  • part_parse/1: Wie das vorhergehende Prädikat, verlangt aber keine Kategorienangabe. Das System parst den Ausdruck als beliebige syntaktische Kategorie der Grammatik und gibt alle gefundenen Lösungen mit ihrer Übersetzung an.