All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

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