Types in Transparent Intensional Logic and Easel - a Comparison

HORÁK, Aleš. Types in Transparent Intensional Logic and Easel - a Comparison. In Proceedings of the IASTED International Conference Artificial Intelligence and Applications 2004. Anaheim, Calgary, Zurich: The International Association of Science and Technology for Development, 2004, s. 833-837. ISBN 0-88986-404-7.

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: HORÁK, Aleš (203 Česká republika, garant).
• 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

• Originální 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í
• WWW: URL
• Kód RIV: RIV/00216224:14330/04:00010029
• Organizační jednotka: Fakulta informatiky
• ISBN: 0-88986-404-7
• UT WoS: 000228622100143
• Klíčová slova anglicky: TIL; intensional logic; Easel; types
• Štítky: Easel, intensional logic, TIL, types

Anotace

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.

Anotace č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: Název: Interakce člověka s počítačem, dialogové systémy a asistivní technologie

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Interakce člověka s počítačem, dialogové systémy a asistivní technologie