Types in Transparent Intensional Logic and Easel - a Comparison

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F04%3A00010029" target="_blank" >RIV/00216224:14330/04:00010029 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Types in Transparent Intensional Logic and Easel - a Comparison
Original language description
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.
Czech name
Porovnání typů v transparentní intenzionální logice a v Easelu
Czech description
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 textuje 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.

Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the IASTED International Conference Artificial Intelligence and Applications 2004
ISBN
0-88986-375-X
ISSN
—
e-ISSN
—
Number of pages
5
Pages from-to
833
Publisher name
The International Association of Science and Technology for Development
Place of publication
Anaheim, Calgary, Zurich
Event location
February 16-18 2004, Innsbruck, Austria
Event date
Jan 1, 2004
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)