Promotie: Automatically Expressing the Meaning of Logical Formulae in Natural Language

LET OP: De kandidaat houdt een lekenpraatje, hierdoor start de livestream een kwartier eerder.

Dit proefschrift onderzoekt hoe computers logische formules automatisch kunnen omzetten in duidelijke, voor mensen leesbare tekst, en hoe de kwaliteit van dergelijke tekst kan worden beoordeeld. Dergelijke technologie vindt toepassing op gebieden als onderwijs en kunstmatige intelligentie.

Allereerst introduceert het proefschrift een systeem dat logische formules naar het Engels vertaalt. Een belangrijk uitgangspunt is het vereenvoudigen van de formules vóór de vertaling, wat bijdraagt aan het produceren van natuurlijker klinkende tekst. De resultaten tonen ook aan dat het inkorten van formules de kwaliteit van de gegenereerde tekst verder kan verbeteren.

Het tweede deel van het proefschrift richt zich op evaluatie. Dat wil zeggen hoe de kwaliteit van door de gegenereerde tekst kan worden beoordeeld. Er wordt gekeken naar zowel menselijke als geautomatiseerde evaluatiemethoden, waarbij veelvoorkomende zwakke punten in de huidige praktijk worden geïdentificeerd. Het werk stelt verbeteringen voor om deze evaluaties betrouwbaarder en effectiever te maken.

Over het geheel genomen levert het proefschrift een bijdrage aan zowel de ontwikkeling van systemen die logische formules naar tekst vertalen als aan de methoden die worden gebruikt om deze te evalueren. Daarnaast biedt het bredere inzichten in het verbeteren van systemen voor automatische tekstgeneratie.