Computational Semantics
SoSe 20

Organisatorisches

Dozentin: Wiebke Petersen Sitzungen: Mo. 16.30-18.00 Uhr und Mi. 12.30-14.00 zunächst Online, später hoffentlich in Raum 24.21.03.62-64 (Computerraum)

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 (sobald diese wieder geöffnet ist). Für die ersten Wochen habe ich ihnen das erste Kapitel eingescannt und in ILIAS eingestellt.
• Ilias (die Ilias-Kursseite mit Hausaufgaben und Links zu Kursunterlagen)
• Da bereits am ersten Tag Ilias offenbar zusammenbricht, hier die wichtigsten Links für die Kommunikation im Kurs:
• RocketChat (Einladungslink)
• RocketChat (Kurs-Chatseite)
• EtherPad (Austausch von Code und längeren Antworten) [Hinweis, das EtherPad liegt nicht auf einem HHU-Server]
• WhiteBoard [Hinweis, das Board liegt nicht auf einem HHU-Server]
• Änderung: über RocketChat werden kurz vor Beginn jeder Sitzung die Daten zur Videokonferenz gepostet
• Code (es ist nur noch eine aktuelle Version verfügbar, zu finden in den Materialien der jüngsten CompSem Lehrveranstaltung)
• 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 erarbeite ich eine Notizenseite sowie möglicherweise zusätzlich eine Swish-Seite auf der der Code direkt ausprobiert werden kann. Die Links findet ihr hier. Da ich diese Seiten regelmäßig aktualisiere sind erstens die Links zu den späteren Sitzungen noch nicht aktiviert und solltet ihr zweitens öfter euren Cache leeren und die Seite neu laden.
• Glossar
• Einleitung
• Notizen zu Kapitel 1
• Swish-Seite zu Kapitel 1
• Notizen zu Kapitel 2
• Swish-Seite zu Kapitel 2 (Teil 1)
• Swish-Seite zu Kapitel 2 (Teil 2)
• Notizen zu Kapitel 3
• Swish-Seite zu Kapitel 3
• Notizen zu Kapitel 4
• Swish-Seite zu Kapitel 4
• Notizen zu Kapitel 5
• Swish-Seite zu Kapitel 5
• Notizen zu Kapitel 6
• Swish-Seite zu Kapitel 6

Erklärvideos

• Film zum Resolutions- und Tableauverfahren in der Aussagenlogik
• Film zur beta-Konversion ( Download)
• Film zur beta-Konversion bei doppelter Applikation und Abstraktion

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 SoSe2020 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.