Publication details

Two-Dimensional Calculus for TIL Constructions (PhDs in Logic VI, 24. 4. 2014, Utrecht)

Authors

PEZLAR Ivo

Year of publication 2014
Type Appeared in Conference without Proceedings
MU Faculty or unit

Faculty of Arts

Citation
Description TIL is a powerful tool for natural language analysis and knowledge representation, however, its high expressivity (coupled with the inclusion of partial functions) comes at the price of only fragmentarily devised deduction system. Thus I propose sketch of a deduction system for TIL, called TIL-2D, based on dual syntax-semantic interface, not dissimilar to Glue Semantics or Labelled Deductive Systems. The core idea is to introduce two-dimensional calculus: first dimension being the meaning-bearing one coded in TIL constructions, the other one policing the admissible logical moves. Results of such work could have several practical implications (e.g., designing inference engines for TIL based knowledge bases and any other area of artificial intelligence utilizing natural language processing).
Related projects:

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

More info