How to Analyze Natural Language with Transparent Intensional Logic?
|Year of publication||2010|
|Type||Article in Proceedings|
|Conference||Proceedings of Recent Advances in Slavonic Natural Language Processing 2010|
|MU Faculty or unit|
|Keywords||TIL;transparent intensional logic;syntactic analysis;valency frames;logic|
|Description||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.|