HORÁK, Aleš and Leo HADACZ. Semantics of Natural Language Expressions and Inference Verification in TIL. In Proceedings of ICoS-3. Siena, Italy: Universita degli Studi di Siena, 2001, p. 125-130.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Semantics of Natural Language Expressions and Inference Verification in TIL
Authors HORÁK, Aleš (203 Czech Republic, guarantor) and Leo HADACZ (203 Czech Republic).
Edition Siena, Italy, Proceedings of ICoS-3, p. 125-130, 2001.
Publisher Universita degli Studi di Siena
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10000 1. Natural Sciences
Country of publisher Italy
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/01:00005052
Organization unit Faculty of Informatics
Keywords in English transparent intensional logic; inference
Tags inference, transparent intensional logic
Changed by Changed by: doc. RNDr. Aleš Horák, Ph.D., učo 1648. Changed: 22/5/2009 12:47.
Abstract
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.
Links
MSM 143300003, plan (intention)Name: Interakce člověka s počítačem, dialogové systémy a asistivní technologie
Investor: Ministry of Education, Youth and Sports of the CR, Human-computer interaction, dialog systems and assistive technologies
MSM 143300004, plan (intention)Name: Digitální knihovny
Investor: Ministry of Education, Youth and Sports of the CR, Digital libraries
PrintDisplayed: 29/5/2024 02:41