The Normal Translation Algorithm in Transparent Intensional Logic for Czech

HORÁK, Aleš. The Normal Translation Algorithm in Transparent Intensional Logic for Czech. Brno: Masaryk University, Brno, 2002, 158 s.

Základní údaje

• Originální název: The Normal Translation Algorithm in Transparent Intensional Logic for Czech
• Autoři: HORÁK, Aleš.
• Vydání: Brno, 158 s. 2002.
• Nakladatel: Masaryk University, Brno

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Odborná kniha
• Obor: 20200 2.2 Electrical engineering, Electronic engineering, Information engineering
• Stát vydavatele: Česká republika
• Utajení: není předmětem státního či obchodního tajemství
• WWW: URL
• Organizační jednotka: Fakulta informatiky

Anotace

In the work we present an implementation of an efficient syntactic analyser of Czech sentences. The parser is based on a probabilistic head-corner chart parser with supplemented contextual actions and tests for grammatical agreement and dependency output generation. The analyser works with a grammar of Czech with a high percentage of coverage on correct corpus data. In the theoretical chapters we provide a brief survey of the most frequently used grammar formalisms and parsing techniques. The syntax analysis offers a natural language interface to the Normal Translation Algorithm (NTA) that provides means for analysing sentences with constructions of transparent intensional logic (TIL), which then serve for representing the sentence meaning. TIL is a system of higher order temporal logic with a hierarchy of types built arround the central notion of construction as the meaning sustainer. We present a thorough description of the NTA and implement the algorithm for a specified subset of Czech sentences. The output of NTA can be successively advanced to the TIL inference machine (TIM), which represents the reasoning mechanism for deduction of new facts out of the input constructions. In the work, we sketch the grounding of the inner form of the TIM knowledge base and indicate the way of the technique of inference from the knowledge that is stored in such base.

Návaznosti

• MSM 143300003, záměr: Název: Interakce člověka s počítačem, dialogové systémy a asistivní technologie

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Interakce člověka s počítačem, dialogové systémy a asistivní technologie