Title
Hyperintensionální logika pro analýzu přirozeného jazyka
Code
GA15-13277S
Summary
The main goal of the project is a computer-aided linguistic and logical analysis of natural language, in particular English and Czech. The
proposed project will conduct research into the logical framework of Transparent Intensional Logic (TIL) and apply TIL to natural-language
processing, communication and reasoning. TIL is one of the main representatives of procedural semantic systems. We plan to complete the
design and development of the TIL inference machine, a successful project currently underway, that makes use of the computational variant
of TIL, viz. the functional programming language TIL-Script. The project is interdisciplinary because, as we are convinced, logical analysis of
natural language must go hand in hand with linguistic analysis. Thus the project will apply tools from computational linguistic, logic, philosophy
and computer science in order to achieve its goals.
Start year
2015
End year
2017
Provider
Grantová agentura ČR
Category
Obecná forma
Type
Standardní projekty
Solver
Information system of research, development and innovation (in Czech)