Dialogue System For Extracting Logic Constructions In Natural Language Texts

摘要

Different areas on intellectual activity and methodology require different logic. One way to extract logical constructions in natural language is to process the presented texts correspondingly. It is possible to apply special transformation procedure of texts, which enables to transform a statement in the natural language source text into a logic formula. We can find justification why such a problem cannot be generally solved by using algorithms (from the aspect of algorithm theory). A corresponding and functioning dialogue system for transforming texts in the Estonian language may be created.