Logik-Basierte Sprachverarbeitung (LBS)5 ECTS
(englische Bezeichnung: Logic-based speech representation)

Lehrveranstaltungen:

• • Logik-Basierte Sprachverarbeitung
    (Vorlesung mit Übung, 4 SWS, Michael Kohlhase et al., Mi, Do, 10:15 - 11:45, 00.131-128; ab 19.10.2017)

Inhalt:

Grundlagen der logikbasierten Sprachverarbeitung, Syntax, Semantik-Konstruktion, und Semantische Verarbeitung natürlicher Sprache im Grammatical Framework (GF)

Lernziele und Kompetenzen:

Fachkompetenz

Wissen

Die Studierenden beherrschen moderne, sehr expressive Formalismen zur Syntaktisch/Semantishen Analyse und Bedeutungsrepräsentation natürlicher Sprache. Sie können eingeschränkt neue Formalismen entwickeln.

Anwenden

Die Studierenden entwickeln Grammatiken und Bedeutungsrepräsentationen im Meta-Framework GF und setzen diese durch Interprätationsabbildungen in Verbindung.

Analysieren

Die Studierenden analysieren die innere Struktur natürlichsprachlicher Phrasen und Sätze. Sie wählen für eine zu repräsentierenden Phänomene geeignete Formalismen aus.

Lern- bzw. Methodenkompetenz

Die Studierenden erarbeiten selbständig formale syntaktische und semantische Repräsentationen für Natürliche Sprache

Sozialkompetenz

Die Studierenden arbeiten in Kleingruppen erfolgreich zusammen.

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:

1. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Künstliche Intelligenz)
2. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Künstliche Intelligenz)
3. Informatik (Bachelor of Science)
   (Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Künstliche Intelligenz)
4. Informatik (Bachelor of Science)
   (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Künstliche Intelligenz)
5. Informatik (Master of Science)
   (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Wahlpflichtbereich | Säule der softwareorientierten Vertiefungsrichtungen | Vertiefungsrichtung Künstliche Intelligenz)
6. Mathematik (Bachelor of Science)
   (Po-Vers. 2015w | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsmodul Künstliche Intelligenz)

Studien-/Prüfungsleistungen:

Logik-Basierte Sprachverarbeitung (Prüfungsnummer: 675137)

(englischer Titel: Logic-based speech representation)

Prüfungsleistung, mehrteilige Prüfung, benotet, 5 ECTS

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
Die Modulnote setzt sich zu 50% aus dem Ergebnis einer 20-minütigen mündlichen Prüfung am Semesterende und zu 50% aus der Bewertung der Leistungen aus dem Übungsbetrieb zusammen.

Prüfungssprache: Deutsch

Erstablegung: WS 2017/2018, 1. Wdh.: SS 2018

1. Prüfer:

Michael Kohlhase