Intuicionistic Type Theory and its Application to Natural Language

Bc. Marek Michálek

Bakalářská práce

Anotace:

Tato práce se zabývá aplikací intuicionistické teorie typů (ITT) na přirozený jazyk a zkoumá její potenciál poskytnout přesný a formální rámec pro lingvistickou analýzu. ITT vychází z prací Bertranda Russella, L. E. J. Brouwera a Pera Martina-Löfa a nabízí metody pro reprezentaci různých lingvistických konstrukcí. Prostřednictvím práce Aaarneho Ranty práce ukazuje, jak ITT dokáže pracovat se složitými jazykovými jevy, jako je anafora a předpoklad, při zachování významu a kompozicionality. Jsou zkoumány praktické aplikace ve vícejazyčných gramatikách, sémantickém rozboru a systémech umělé inteligence, které zdůrazňují všestrannost a expresivitu ITT. Práce uznává problémy, jako je složitost a výpočetní účinnost, a zároveň zdůrazňuje vyjadřovací schopnost ITT jako cenného nástroje pro zpracování přirozeného jazyka.

Abstract:

This thesis investigates the application of intuitionistic type theory (ITT) to natural language, exploring its potential to provide a precise and formal framework for linguistic analysis. Originating from the works of Bertrand Russell, L.E.J. Brouwer and Per Martin-Löf, ITT offers methods for representing various linguistic constructs. Through the work of Aaarne Ranta, the thesis demonstrates how ITT can handle complex linguistic phenomena such as anaphora and presuppositions, maintaining meaning and compositionality. Practical applications in multilingual grammars, semantic parsing and AI systems are examined, highlighting ITT's versatility and expressiveness. While acknowledging challenges such as complexity and computational efficiency, the thesis underscores ITT's expressive power as a valuable tool for natural language processing.

Keywords

natural language processing, natural language, přirozený jazyk, intuitionism, intuicionismus, type theory, teorie typů, intuitionistic type theory, intuicionistická teorie typů, Per Martin-Löf, Aarne Ranta, computational linguistics, komputační lingvistika, semantics, sémantika, logika, logic

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 21. 5. 2024

Obhajoba závěrečné práce

• Obhajoba proběhla 3. 2. 2025
• Vedoucí: prof. PhDr. BcA. Jiří Raclavský, Ph.D.
• Oponent: Mgr. Ivo Pezlar, Ph.D.

Masarykova univerzita

Filozofická fakulta

Bakalářský studijní program / obor:
Filozofie / Filozofie