The proposed project aims at gaining the ability to process a natural language (Czech) text by an automatic system and obtain a machine readable form of the logical representation of the original sentence. The acquired logical description will provide a knowledge representation in the environment of the semantic web. The realisation of the project consists in implementation of the Normál Translation Algorithm (NTA) for subset of Czech selected with the aim of covering all the most frequent grammar phenomena. The NTA algorithm consists of two cooperating parts - an efficient syntactic analyser of natural language sentences and a logical analysis of the sentence by means of transparent intensional logic (TIL) as a system of higher order temporal logic with a hierarchy of types. A tool for testing the obtained TIL constructions is also planned as a part of the project. This tool can also form a basis of an automatic question answering system of the semantic web. (en)
Hlavním cílem navrhovaného projektu je získání automatického systému pro zpracování textů v přirozeném jazyce (češtině) a tvorbu logické reprezentace věty ve strojově čitelné formě. Získaný logický popis bude bezprostředně využit k reprezentaci znalostí v prostředí sémantického webu. Realizace projektu spočívá v implementaci algoritmu normální translace (NTA) pro vymezenou část češtiny s cílem pokrýt většinu nejfrekventovanějších gramatických jevů. Algoritmus NTA se skládá ze dvou spolupracujících částí- efektivního syntaktického analyzátoru vět přirozeného jazyka a logické analýzy věty pomocí transparentní intenzionální logiky (TIL) jako systému temporální logiky vyššího řádu s hierarchií typů. Jako součást projektu bude vytvořen i nástroj pro testování nalezených konstrukcí TILu. Takto bude položen základ pro automatický odpovídací systém na bázi sémantického webu.
Hlavní náplní projektu byl vývoj technik automatického zpracování české věty v textové podobě za účelem získání logické konstrukce odpovídající významu věty. Jako podkladová teorie byla zvolena transparentní intenzionální logika (TIL), která poskytuje vl (cs)
The main aim of the project was the development of techniques of automatic processing of Czech sentences in the textual form in order to obtain logical constructions corresponding to the sentence meaning. We have chosen the Transparent Intensional Logic (en)