PEZLAR, Ivo. Two-Dimensional Calculus for TIL Constructions (PhDs in Logic VI, 24. 4. 2014, Utrecht). In PhDs in Logic VI, Utrecht, 24th - 25th April 2014. 2014.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Two-Dimensional Calculus for TIL Constructions (PhDs in Logic VI, 24. 4. 2014, Utrecht)
Authors PEZLAR, Ivo (203 Czech Republic, guarantor, belonging to the institution).
Edition PhDs in Logic VI, Utrecht, 24th - 25th April 2014, 2014.
Other information
Original language English
Type of outcome Presentations at conferences
Field of Study 60300 6.3 Philosophy, Ethics and Religion
Country of publisher Netherlands
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14210/14:00076636
Organization unit Faculty of Arts
Keywords in English Transparent Intensional Logic; logical analysis of natural language; ramified type theory
Tags rivok
Tags International impact, Reviewed
Changed by Changed by: Mgr. Ivo Pezlar, Ph.D., učo 261588. Changed: 12/1/2015 14:44.
Abstract
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).
Links
MUNI/A/0803/2013, interní kód MUName: Proměny a konstanty soudobé filozofie
Investor: Masaryk University, Category A
PrintDisplayed: 3/9/2024 11:57