Symbolic NLP Project

This 5 ECTS project is a companion to the LBS course which introduces logical models for natural language semantics and inferential processes for natural language understanding.

The project will be to implement these in state of the art meta-linguistic/logical/computational frameworks developed at the [KWARC group]{https://kwarc.info).

Organization

The project will start in approximately third week of classes (so that the LBS course can cover some of the material this project wants to implement) with an admin meeting. Details will be announced.

Requirements: There are no formal requirements, but we strongly recommend that you either have taken the LBS course or will take it in parallel. Furthermore, we assume that you have a high tolerance for logic and declarative programming.

What happens in the project?

We will start with an individual warm-up problem, in which you will implement some of the components of the NLU waterfall in Prolog as a baseline.

All students have to “pass” the warm-up problem to alone, so that you can judge whether the project works for you.
The remaining problems are intended to be solved in teams of size 2 but can also be solved alone.

Furthermore, you will have to write a report on one of the problems and have a small presentation (or rather, a section of a presentation together with other people). The details will be discussed in the admin meeting.

Important: You will have to take initiative to finish the project. That means actively following the announcements (e.g. about new problems or available presentation slots), making sure that you sign up for problems and reach out if you need anything. Simply joining the StudOn course is not enough.

Communication

We will use our public AISysProj matrix room for most of the data-to-day communication. Matrix is a communications platform that is supported by FAU. You can find instructions for joining Matrix at FAU here (only in German, unfortunately).