k 2014

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

PEZLAR, Ivo

Základní údaje

Originální název

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

Autoři

PEZLAR, Ivo (203 Česká republika, garant, domácí)

Vydání

PhDs in Logic VI, Utrecht, 24th - 25th April 2014, 2014

Další údaje

Jazyk

angličtina

Typ výsledku

Prezentace na konferencích

Obor

60300 6.3 Philosophy, Ethics and Religion

Stát vydavatele

Nizozemské království

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14210/14:00076636

Organizační jednotka

Filozofická fakulta

Klíčová slova anglicky

Transparent Intensional Logic; logical analysis of natural language; ramified type theory

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 12. 1. 2015 14:44, Mgr. Ivo Pezlar, Ph.D.

Anotace

V originále

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).

Návaznosti

MUNI/A/0803/2013, interní kód MU
Název: Proměny a konstanty soudobé filozofie
Investor: Masarykova univerzita, Proměny a konstanty soudobé filozofie, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty