Two-Dimensional Calculus for TIL Constructions (PhDs in Logic VI, 24. 4. 2014, Utrecht)
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F14%3A00076636" target="_blank" >RIV/00216224:14210/14:00076636 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Two-Dimensional Calculus for TIL Constructions (PhDs in Logic VI, 24. 4. 2014, Utrecht)
Original language 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).
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů