Informace o publikaci
Types in Transparent Intensional Logic and Easel - a Comparison
| Název česky | Porovnání typů v transparentní intenzionální logice a v Easelu |
|---|---|
| Autoři | |
| 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 | |
| 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: |