Two-Dimensional Calculus for TIL Constructions (PhDs in Logic VI, 24. 4. 2014, Utrecht)
| Authors | |
|---|---|
| Year of publication | 2014 |
| Type | Appeared in Conference without Proceedings |
| MU Faculty or unit | |
| 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: |