2010
How to Analyze Natural Language with Transparent Intensional Logic?
KOVÁŘ, Vojtěch, Aleš HORÁK a Miloš JAKUBÍČEKZákladní údaje
Originální název
How to Analyze Natural Language with Transparent Intensional Logic?
Název česky
Jak analyzovat přirozený jazyk pomocí transparentní intenzionální logiky?
Autoři
KOVÁŘ, Vojtěch (203 Česká republika, domácí), Aleš HORÁK (203 Česká republika, garant, domácí) a Miloš JAKUBÍČEK (203 Česká republika, domácí)
Vydání
Brno, Proceedings of Recent Advances in Slavonic Natural Language Processing 2010, od s. 69--76, 8 s. 2010
Nakladatel
Masaryk University
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Česká republika
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
tištěná verze "print"
Kód RIV
RIV/00216224:14330/10:00045940
Organizační jednotka
Fakulta informatiky
ISBN
978-80-7399-246-0
Klíčová slova česky
TIL;transparentní intenzionální logika;syntaktická analýza;valence;logic
Klíčová slova anglicky
TIL;transparent intensional logic;syntactic analysis;valency frames;logic
Změněno: 25. 6. 2013 13:34, doc. RNDr. Aleš Horák, Ph.D.
V originále
This paper describes a semi-automatic way of building a corpus of logic formulae (constructions) in the formalism of the Transparent intensional logic (TIL) for real-world sentences in the Czech language. Output of a syntactic parser is used to determine the logical structure of the sentence and a verb valency lexicon is exploited for assigning TIL types. Using this information, an exemplary bank of TIL constructions is created automatically. This corpus of TIL constructions is then checked by human logic experts who iteratively consult the results with the respective theory of TIL transcription and the processing of input supportive lexicons. A user-friendly interface for such checking is presented at the end of the paper.
Česky
Článek popisuje semiautomatickou tvorbu korpusu logických konstrukcí ve formalismu transparentní intenzionální logiky (TIL). Je použit výstup syntaktického analyzátoru pro určení povrchové struktury věty a valenčí slovník pro přiřazení typů v TIL. Dále je popsán proces kontroly takto vytvořených konstrukcí lidskými specialisty, včetně uživatelského rozhraní, které bylo pro tento účel vytvořeno.
Návaznosti
GAP401/10/0792, projekt VaV |
| ||
LC536, projekt VaV |
| ||
2C06009, projekt VaV |
|