Hyperintensional Reasoning over Natural Language Texts
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 22 (SGA0201800001)
Main participants
Vysoká škola báňská - Technická univerzita Ostrava / Fakulta elektrotechniky a informatiky
Contest type
VS - Public tender
Contract ID
18-23891S
Alternative language
Project name in Czech
Hyperintensionální usuzování nad texty přirozeného jazyka
Annotation in Czech
Tento projekt je interdisciplinárně zaměřen, neboť zasahuje do tří příbuzných oborů, a to komputační lingvistiky, logiky a umělé inteligence. Soustředíme se na dva hlavní problémy, které dosud nejsou uspokojivě řešeny v současných systémech určených pro získávání znalostí z textů. Za prvé, dostatečně přesná lingvistická a logická analýza otázek a příslušných textů je nutnou podmínkou pro získávání adekvátních odpovědí. Za tím účelem aplikujeme procedurální sémantiku Transparentní intenisonální logiky (TIL), která umožňuje rozlišovat tři druhy kontextu, ve kterém se může daný výraz vyskytovat, a to extensionální, intensionální a hyperintensionální. Definice tří druhů kontextu nám umožnila navrhnout extensionální logiku hyperintensí, ve které jsou všechna extensionální pravidla usuzování platná ve všech kontextech. Za druhé, tuto teorii využijeme k získávání inferenčních znalostí z explicitních znalostí zakódovaných v rozsáhlých bázích textů v přirozeném jazyce tak, aby systém poskytoval inteligentní odpovědi na otázky.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
60201 - General language studies
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AI - Linguistics
Solution timeline
Realization period - beginning
Jan 1, 2018
Realization period - end
Dec 31, 2020
Project status
—
Latest support payment
Apr 24, 2020
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP21-GA0-GA-R/10:1
Data delivery date
Feb 22, 2021
Finance
Total approved costs
7,326 thou. CZK
Public financial support
5,800 thou. CZK
Other public sources
1,574 thou. CZK
Non public and foreign sources
0 thou. CZK