Organisatorisches

  • bitte nutzt für die Kommunikation mit mir heute ausschließlich den Chat in RocketChat (wird nicht aufgezeichnet) oder sprecht hier in Webex (wird aufgezeichnet)
  • nutzt bitte nicht die Chat-Funktion in Webex
  • gibt es irgenwelche technischen Probleme?
  • gibt es Fragen zum Kurs?

Computersemantik \(\approx\) Computer + Semantik

Womit beschäftigt sich Semantik?

@ Copyright: The following slides in this subsection are courtesy of Lasha Abzianidze (University of Groningen) and Johan Bos (University of Groningen) and have been selected by Tatiana Bladier (University of Düsseldorf).

1. Reinterpretation

   

  1. Turn left and or right to reach San Marco.

   

  1. Unter everybody ist hier natürlich nicht wirklich jeder gemeint, sondern eine schwache Interpretation von everybody, also fast jeder oder jeder, der Trump glaubt.

2. Verifikation: Beurteilung der Wahrheit einer Aussage

  • Bolt is faster than everyone else. true

  • Bols is in last position. false

     

3. Überprüfen, ob die gegebene Information neu (informativ) ist

 

   

4. Überprüfung auf Widerspruch (Consistency Checking)

 

   

5. Maschinelle Übersetzung

 

 

 

 

 

   

Semantik

Computersemantik:

  • Automatische Zuordnung von semantischen Repräsentationen (z.B. als logische Formeln) zu natürlichsprachlichen Ausdrücken.
  • Automatisches Folgern aus semantischen Repräsentationen (reasoning).

   

Kursinhalt

“Representation and Inference for Natural Language” von Patrick Blackburn & Johan Bos

     

Evaluation

Bitte schreibt mir zu folgenden Punkten etwas ins Forum in Ilias:

  • Wie lief die heutige Online-Sitzung? Gab es technische Schwierigkeiten?
  • Gibt es Verbesserungsvorschläge?
  • Wie anstrengend ist es, einer solchen Sitzung 90 Minuten zu folgen? Sollten wöchentlich zwei 90-minütige Sitzungen stattfinden oder sollten die Sitzungen kürzer sein? Sollte verstärkt auf Selbststudium gesetzt werden und die “Präsenz”zeit gekürzt werden (z.B. nur eine Sitzung pro Woche)?