Other formats:
BibTeX
LaTeX
RIS
@proceedings{1199867, author = {Pezlar, Ivo}, booktitle = {PhDs in Logic VI, Utrecht, 24th - 25th April 2014}, keywords = {Transparent Intensional Logic; logical analysis of natural language; ramified type theory}, language = {eng}, title = {Two-Dimensional Calculus for TIL Constructions (PhDs in Logic VI, 24. 4. 2014, Utrecht)}, year = {2014} }
TY - CONF ID - 1199867 AU - Pezlar, Ivo PY - 2014 TI - Two-Dimensional Calculus for TIL Constructions (PhDs in Logic VI, 24. 4. 2014, Utrecht) KW - Transparent Intensional Logic KW - logical analysis of natural language KW - ramified type theory N2 - 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). ER -
PEZLAR, Ivo. Two-Dimensional Calculus for TIL Constructions (PhDs in Logic VI, 24. 4. 2014, Utrecht). In \textit{PhDs in Logic VI, Utrecht, 24th - 25th April 2014}. 2014.
|