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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.