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

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Filozofickou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

PEZLAR Ivo

Rok publikování 2014
Druh Další prezentace na konferencích
Fakulta / Pracoviště MU

Filozofická fakulta

Citace
Popis 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).
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.