Computational Semantics
SoSe 22
Organisatorisches
Dozentin: Wiebke Petersen Sitzungen: Mo. 14.30-16.00 (23.21.HS 3F) Uhr und Mi. 12.30-14.00 (23.21.HS 3E)
Materialien
-
Grundlage des Kurses ist das Buch "Representation and Inference for
Natural Language A First Course in Computational Semantics" von
Patrick Blackburn und Johan Bos (Website zum Buch).
Das Buch ist in der Bibliothek verfügbar. Für die ersten Wochen habe ich ihnen das erste Kapitel eingescannt und in ILIAS eingestellt. - Zur Vorbereitung der Sitzungen müssen sie den jeweiligen Abschnitt aus dem Buch gelesen haben (die Abschnitte werden in den Sitzungen angegeben) und gegebenenfalls den zugehörigen Test in Ilias bearbeitet haben.
- Zu jeder Sitzung wird es auf der eLearning-Plattform Notizenseiten geben, sowie eventuelle Aufgaben und Quizzes. Diese Seiten werden laufend aktualisiert, weshalb ihr die Seite regelmäßig neu laden solltet.
externe Theorembeweiser
Ab dem Ende von Kapitel 5 brauchen wir den externen Theorembeweiser Otter und den Modelbuilder Maze sowie die Möglichkeit Perl-Skripte auszuführen. Ihr könnt entweder diesen Anleitungen zur Installation folgen, oder die Virtual Box benutzen.
Wir haben eine angepasste Ubuntu Version erstellt, in der alle nötigen Daten für die Nutzung der externen Theorembeweiser vorhanden sind. Dafür sollte dein Rechner mindestens 8GB RAM und einen mehrkernigen Prozessor haben. Damit du die Virtual Box nutzen kannst, benötigst du zuerst die Virtualisierungssoftware von Oracle. Sie kann unter https://www.virtualbox.org für die meisten gängigen Betriebssysteme herunterladen geladen werden. Die Installation erfolgt über eine grafische Oberfläche, falls du dennoch Hilfe benötigst oder individuelle Einstellungen vornehmen möchtest, findest du weitere Informationen in der Dokumentation: Chapter 2. Installation Details
Nun kannst du die, von uns bereitgestellte, VirtualBox hier herunterladen: Ubuntu VirtualBox (es ist nur noch eine aktuelle Version verfügbar, die möglicherweise von der im SoSe2022 genutzten Version abweicht). In der Software kannst nun über den Reiter File -> Import (STRG+I/CMD+I), die Ubuntu.ova importieren und starten, weitere Informationen findest du auf dem Desktop selbst.