Computationelle Perspektive auf moderne Typentheorie

Bachelorarbeit aus dem Jahr 2021 im Fachbereich Informatik - Computerlinguistik, Note: 2,3, Heinrich-Heine-Universität Düsseldorf, Sprache: Deutsch, Abstract: In dieser Bachelorarbeit geht es um die moderne Typentheorie. Vorab wird die veraltete Typentheorie vorgestellt und wird mit der modernen Typentheorie verglichen. Auf die Einleitung folgend werden im zweiten Kapitel zunächst die Grundprinzipien und -regeln von MTTs sowie von STTs vorgestellt. Darauffolgend wird im dritten Kapitel gezeigt, wie eine MTT und die Montague-Grammatik mit linguistischen Phänomenen und diversen Wortarten umgehen. Darauf schließen wir im vierten Teil der Arbeit mit einem kontrastiven Vergleich der beiden Ansätze und der Bewertung ihrer Vorzüge und Defizite im Hinblick auf die Untersuchungskriterien Effizienz und Akkuratheit und damit der Beantwortung der Forschungsfrage: "Hat sich das Opfern der Eigenschaften von simplen Typentheorien gelohnt?"