Types in Transparent Intensional Logic and Easel - a Comparison

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

HORÁK Aleš

Year of publication 2004
Type Article in Proceedings
Conference Proceedings of the IASTED International Conference Artificial Intelligence and Applications 2004
MU Faculty or unit

Faculty of Informatics

Citation
Web http://nlp.fi.muni.cz/publications/iasted2004_hales/article.pdf
Field Informatics
Keywords TIL; intensional logic; Easel; types
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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.