Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Semantics of Natural Language Expressions and Inference Verification in TIL

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F01%3A00005052" target="_blank" >RIV/00216224:14330/01:00005052 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Semantics of Natural Language Expressions and Inference Verification in TIL

  • Popis výsledku v původním jazyce

    This paper describes the design and implementation of a system for machine controlled inference of facts obtained from a common natural language sentences (the system works with Czech, but is not limited to any particular language). The knowledge representation level of the system is based on Transparent Intensional Logic (TIL), which is further referenced in the text. We also demonstrate the inference verification ability of the system by means of a commented example.

  • Název v anglickém jazyce

    Semantics of Natural Language Expressions and Inference Verification in TIL

  • Popis výsledku anglicky

    This paper describes the design and implementation of a system for machine controlled inference of facts obtained from a common natural language sentences (the system works with Czech, but is not limited to any particular language). The knowledge representation level of the system is based on Transparent Intensional Logic (TIL), which is further referenced in the text. We also demonstrate the inference verification ability of the system by means of a commented example.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

    BD - Teorie informace

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

  • Návaznosti

    Z - Vyzkumny zamer (s odkazem do CEZ)

Ostatní

  • Rok uplatnění

    2001

  • Kód důvěrnosti údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Údaje specifické pro druh výsledku

  • Název statě ve sborníku

    Proceedings of ICoS-3

  • ISBN

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    6

  • Strana od-do

    125

  • Název nakladatele

    Universita degli Studi di Siena

  • Místo vydání

    Siena, Italy

  • Místo konání akce

    Siena, Italy

  • Datum konání akce

    1. 1. 2001

  • Typ akce podle státní příslušnosti

    WRD - Celosvětová akce

  • Kód UT WoS článku