Hyperintensional Reasoning based on Natural Language Knowledge
Base

J 2020

Hyperintensional Reasoning based on Natural Language Knowledge Base

DUŽÍ, Marie a Aleš HORÁK

Základní údaje

Originální název

Hyperintensional Reasoning based on Natural Language Knowledge Base

Autoři

DUŽÍ, Marie (203 Česká republika) a Aleš HORÁK (203 Česká republika, garant, domácí)

Vydání

International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, World Scientific Publishing Company, 2020, 0218-4885

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10200 1.2 Computer and information sciences

Stát vydavatele

Singapur

Utajení

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

Odkazy

DOI

Impakt faktor

Impact factor: 1.518

Kód RIV

RIV/00216224:14330/20:00113966

Organizační jednotka

Fakulta informatiky

DOI

http://dx.doi.org/10.1142/S021848852050018X

UT WoS

000537358800004

Klíčová slova anglicky

transparent intensional logic; hyperintensional logic; natural language analysis; context recognition; knowledge based system

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 29. 4. 2021 07:52, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

The success of automated reasoning techniques over large natural-language texts heav- ily 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’s Transparent Intensional Logic (TIL) with its procedural se- mantics. 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ávaznosti

GA18-23891S, projekt VaV

Název: Hyperintensionální usuzování nad texty přirozeného jazyka

Investor: Grantová agentura ČR, Hyperintensionální usuzování nad texty přirozeného jazyka

Citovat

DUŽÍ, Marie a Aleš HORÁK. Hyperintensional Reasoning based on Natural Language Knowledge Base. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. World Scientific Publishing Company, 2020, roč. 28, č. 3, s. 443-468. ISSN 0218-4885. Dostupné z: https://dx.doi.org/10.1142/S021848852050018X.

@article{1529416,
   author = {Duží, Marie and Horák, Aleš},
   article_number = {3},
   doi = {http://dx.doi.org/10.1142/S021848852050018X},
   keywords = {transparent intensional logic; hyperintensional logic; natural language analysis; context recognition; knowledge based system},
   language = {eng},
   issn = {0218-4885},
   journal = {International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems},
   title = {Hyperintensional Reasoning based on Natural Language Knowledge Base},
   url = {http://dx.doi.org/10.1142/S021848852050018X},
   volume = {28},
   year = {2020}
}

TY  - JOUR
ID  - 1529416
AU  - Duží, Marie - Horák, Aleš
PY  - 2020
TI  - Hyperintensional Reasoning based on Natural Language Knowledge Base
JF  - International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
VL  - 28
IS  - 3
SP  - 443-468
EP  - 443-468
PB  - World Scientific Publishing Company
SN  - 02184885
KW  - transparent intensional logic
KW  - hyperintensional logic
KW  - natural language analysis
KW  - context recognition
KW  - knowledge based system
UR  - http://dx.doi.org/10.1142/S021848852050018X
L2  - http://dx.doi.org/10.1142/S021848852050018X
N2  - The success of automated reasoning techniques over large natural-language texts heav- ily 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’s Transparent Intensional Logic (TIL) with its procedural se- mantics. 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.
ER  -

DUŽÍ, Marie a Aleš HORÁK. Hyperintensional Reasoning based on Natural Language Knowledge Base. \textit{International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems}. World Scientific Publishing Company, 2020, roč.~28, č.~3, s.~443-468. ISSN~0218-4885. Dostupné z: https://dx.doi.org/10.1142/S021848852050018X.

Podrobný výpis o publikaci