Bakalářská práce

Intuicionistic Type Theory and its Application to Natural Language

Marek Michálek
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 …více

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 …více

Klíčová slova
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
Zadání práce
Cílem práce bude nejprve uvést problematiku intuicionistické teorie typů (ITT) do kontextu dějin logiky (začátky u Bolzana a Russella až po Martin-Löfa). Dále předvést syntaxi, logická pravidla a principy ITT. Poté představení toho, jak se dá ITT na přirozený jazyk aplikovat, s ukázkami, že ITT je schopna vyjádřit nuance a dílčí komplexity jazyka. Zhodnotí pak potenciálními přínosy aplikace ITT na přirozený jazyk (zejm. Grammatical Framework Aarne Ranty). Na závěr práce poskytne možné cesty pro další pokroky v této problematice.
Administrativní informace
Práce zkontrolována:
22. 5. 2024 10:45, prof. PhDr. BcA. Jiří Raclavský, Ph.D., učo 7593
Plný text práce
361,5 KB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
3. 2. 2025
Práce byla úspěšně obhájena

Vedoucí

prof. PhDr. BcA. Jiří Raclavský, Ph.D., učo 7593
KFil FF MU

Oponent

Mgr. Ivo Pezlar, Ph.D., učo 261588
KFil FF MU
Citovat tuto práci
Masarykova univerzita Filozofická fakulta
Studijní program
Plán
Filozofie

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.