Types in Transparent Intensional Logic and Easel - a Comparison
| Authors | |
|---|---|
| Year of publication | 2004 |
| Type | Article in Proceedings |
| Conference | Proceedings of the IASTED International Conference Artificial Intelligence and Applications 2004 |
| MU Faculty or unit | |
| 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: |