Title
Hyperintensionální usuzování nad texty přirozeného jazyka
Code
GA18-23891S
Summary
This project is interdisciplinary in the sense that it concerns three closely interrelated areas, namely computational linguistics, logic, and artificial intelligence. We will concentrate on two main issues, which to the best of our knowledge are not satisfactorily solved in current reasoning systems. First, a fine-grained linguistic and logical analysis of questions and underlying texts is a necessary condition for a high-quality answering. To this end we apply procedural semantic of Transparent Intensional Logic (TIL) that makes it possible distinguish three kinds of context in which a term can occur, to wit extensional, intensional and hyperintensional. Having defined the three kinds of context, we designed an extensional logic of hyperintensions where all the extensional rules of reasoning are valid in all kinds of context. Second, we will apply this theory to derive inferential knowledge from explicit knowledge encoded in a wide-range of natural-language resources so that to answer questions in an intelligent way.
Start year
2018
End year
2020
Provider
Grantová agentura ČR
Category
Obecná forma
Type
Standardní projekty
Solver
Information system of research, development and innovation (in Czech)