Computational Semantics
SoSe 23

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 ihr wählt die einfachere Methode und ladet euch die Virtual Box herunter.

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 SoSe2023 genutzten Version abweicht). In der Software kannst nun über den Reiter File -> Import (STRG+I/CMD+I), die Ubuntu.ova importieren und starten. Der Benutzername zu dem Account heißt "golorp" und das Passwort ist 1234. Weitere Informationen findest du auf dem Desktop selbst. Hier ist noch eine zusätzliche Anleitung zum Umgang mit Virtual Box (die dort genannten Dateipfade sind ggf. nicht mehr aktuell): Anleitung Virtual Box

-->