Semantics of Natural Language Expressions and Inference Verification in TIL

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	HORÁK Aleš HADACZ Leo
Rok publikování	2001
Druh	Článek ve sborníku
Konference	Proceedings of ICoS-3
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Teorie informace
Klíčová slova	transparent intensional logic; inference
Popis	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.
Související projekty:	Digitální knihovny Interakce člověka s počítačem, dialogové systémy a asistivní technologie