Types in Transparent Intensional Logic and Easel - a Comparison

Varování

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

Název česky	Porovnání typů v transparentní intenzionální logice a v Easelu
Autoři	HORÁK Aleš
Rok publikování	2004
Druh	Článek ve sborníku
Konference	Proceedings of the IASTED International Conference Artificial Intelligence and Applications 2004
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://nlp.fi.muni.cz/publications/iasted2004_hales/article.pdf
Obor	Informatika
Klíčová slova	TIL; intensional logic; Easel; types
Popis	Tento článek popisuje rozšířenou typovou hierarchii transparentní intenzionální logiky (TILu) jako logické teorie vyššího řádu. Prezentujeme také základní myšlenky TILovských konstrukcí jako vhodnou reprezentaci významu výrazů přirozeného jazyka. V textu je dále uvedeno porovnání čistě logicky orientovaného systému TILu s jazykem Easel, který obsahuje vlastnostně orientované typy, se zaměřením na možnost aplikací kombinujících oba dva přístupy.
Související projekty:	Interakce člověka s počítačem, dialogové systémy a asistivní technologie