Hyperintensional Reasoning Based on Natural Language Knowledge Base

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F20%3A10242982" target="_blank" >RIV/61989100:27240/20:10242982 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216224:14330/20:00113966

Výsledek na webu

<a href="https://www.worldscientific.com/doi/abs/10.1142/S021848852050018X" target="_blank" >https://www.worldscientific.com/doi/abs/10.1142/S021848852050018X</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1142/S021848852050018X" target="_blank" >10.1142/S021848852050018X</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Hyperintensional Reasoning Based on Natural Language Knowledge Base

Popis výsledku v původním jazyce

The success of automated reasoning techniques over large natural-language texts heavily relies on a fine-grained analysis of natural language assumptions. While there is a common agreement that the analysis should be hyperintensional, most of the automatic reasoning systems are still based on an intensional logic, at the best. In this paper, we introduce the system of reasoning based on a fine-grained, hyperintensional analysis. To this end we apply Tichy&apos;s Transparent Intensional Logic (TIL) with its procedural semantics. TIL is a higher-order, hyperintensional logic of partial functions, in particular apt for a fine-grained natural-language analysis. Within TIL we recognise three kinds of context, namely extensional, intensional and hyperintensional, in which a particular natural-language term, or rather its meaning, can occur. Having defined the three kinds of context and implemented an algorithm of context recognition, we are in a position to develop and implement an extensional logic of hyperintensions with the inference machine that should neither over-infer nor under-infer.

Název v anglickém jazyce

Hyperintensional Reasoning Based on Natural Language Knowledge Base

Popis výsledku anglicky

The success of automated reasoning techniques over large natural-language texts heavily relies on a fine-grained analysis of natural language assumptions. While there is a common agreement that the analysis should be hyperintensional, most of the automatic reasoning systems are still based on an intensional logic, at the best. In this paper, we introduce the system of reasoning based on a fine-grained, hyperintensional analysis. To this end we apply Tichy&apos;s Transparent Intensional Logic (TIL) with its procedural semantics. TIL is a higher-order, hyperintensional logic of partial functions, in particular apt for a fine-grained natural-language analysis. Within TIL we recognise three kinds of context, namely extensional, intensional and hyperintensional, in which a particular natural-language term, or rather its meaning, can occur. Having defined the three kinds of context and implemented an algorithm of context recognition, we are in a position to develop and implement an extensional logic of hyperintensions with the inference machine that should neither over-infer nor under-infer.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA18-23891S" target="_blank" >GA18-23891S: Hyperintensionální usuzování nad texty přirozeného jazyka</a><br>

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems

ISSN

0218-4885

e-ISSN

—

Svazek periodika

28

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

SG - Singapurská republika

Počet stran výsledku

26

Strana od-do

443-468

Kód UT WoS článku

000537358800004

EID výsledku v databázi Scopus

2-s2.0-85085372600