Logická analýza angličtiny pomocí TIL

Bc. Terézia Šulganová

Bakalářská práce

Logical Analysis of English using TIL

Anotace:

Bakalárska práca pojednáva o metódach logickej analýzy češtiny a predstavuje riešenia a implementáciu daných metód pre logickú analýzu anglického jazyka. Na začiatku práca zhŕňa najdôležitejšie myšlienky transparentnej intenzionálnej logiky (TIL). Práca ďalej rozoberá všetky časti procesu logickej analýzy. V jednej časti stručne popisuje morfologickú analýzu. Ďalej sa práca zameriava na syntaktický parser SET, nástroj použitý na syntaktickú analýzu češtiny ako aj angličtiny. Následne sme popísali jazykovo nezávislý nástroj AST (automatická semantická analýza). AST pracuje nad TIL, ktorá predstavuje formalizmus pre tvorbu logických konštrukcii. Práca zároveň uvádza, ako boli vyvinuté jednotlivé jazykovo závislé časti pre SET a AST. V závere prezentujeme výsledky logickej analýzy, približne 300 viet vybraných z rozličných anglicko- českých paralelných korpusov.

Abstract:

This bachelor’s thesis discusses methods used for logical analysis of Czech language and introduces solutions and implementation of these methods for logical analysis of English language. From the be- ginning the thesis reviews the most important ideas of Transparent Intensional Logic (TIL). The following part approaches whole process of the mentioned analysis. One part is dedicated to the brief outline of morphological analysis. Further the thesis focuses on Syntactic En- gineering Tool used for syntactic analysis of Czech as well as English language. Further, language independent tool called AST (automated semantic tool) for logical analysis was described. AST works with TIL as a formalism for logical constructions. This work also introduces the way how language dependent parts of SET and AST were developed. At the end results on set of approximately three hundred sentences chosen from different corpora are depicted.

Keywords

transparent intensional logic, TIL, Automated semantic tool, AST, morphological analysis, majka, syntactic analysis, SET, logical analysis, TIL construction

Jazyk práce: angličtina

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

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

• Obhajoba proběhla 26. 6. 2018
• Vedoucí: doc. RNDr. Aleš Horák, Ph.D.
• Oponent: RNDr. Vojtěch Kovář, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Umělá inteligence a zpracování přirozeného jazyka