D 2001

Semantics of Natural Language Expressions and Inference Verification in TIL

HORÁK, Aleš a Leo HADACZ

Základní údaje

Originální název

Semantics of Natural Language Expressions and Inference Verification in TIL

Autoři

HORÁK, Aleš a Leo HADACZ

Vydání

Siena, Italy, Proceedings of ICoS-3, s. 125-130, 2001

Nakladatel

Universita degli Studi di Siena

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10000 1. Natural Sciences

Stát vydavatele

Itálie

Utajení

není předmětem státního či obchodního tajemství

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/01:00005052

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

transparent intensional logic; inference

Štítky

Změněno: 22. 5. 2009 12:47, doc. RNDr. Aleš Horák, Ph.D.

Anotace

V originále

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ávaznosti

MSM 143300003, záměr
Název: Interakce člověka s počítačem, dialogové systémy a asistivní technologie
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Interakce člověka s počítačem, dialogové systémy a asistivní technologie
MSM 143300004, záměr
Název: Digitální knihovny
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Digitální knihovny