2004
Types in Transparent Intensional Logic and Easel - a Comparison
HORÁK, AlešZákladní údaje
Originální název
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
Vydání
Anaheim, Calgary, Zurich, Proceedings of the IASTED International Conference Artificial Intelligence and Applications 2004, s. 833-837, 2004
Nakladatel
The International Association of Science and Technology for Development
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Rakousko
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Označené pro přenos do RIV
Ano
Kód RIV
RIV/00216224:14330/04:00010029
Organizační jednotka
Fakulta informatiky
ISBN
0-88986-404-7
UT WoS
Klíčová slova anglicky
TIL; intensional logic; Easel; types
Štítky
Změněno: 25. 3. 2010 10:56, doc. RNDr. Aleš Horák, Ph.D.
V originále
This article describes the extended type hierarchy of the Transparent Intensional Logic (TIL) as a higher order logic theory. We also present the basic ideas of TIL constructions as being a suitable meaning representation for natural language. A comparison of the purely logically oriented type system of TIL with the property-based types of the Easel language is discussed in the text with the orientation to the possibility of applications combining the two approaches.
Česky
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.
Návaznosti
| MSM 143300003, záměr |
|