Hyperintensional Reasoning based on Natural Language Knowledge
Base

J 2020

Hyperintensional Reasoning based on Natural Language Knowledge Base

DUŽÍ, Marie and Aleš HORÁK

Basic information

Original name

Hyperintensional Reasoning based on Natural Language Knowledge Base

Authors

DUŽÍ, Marie (203 Czech Republic) and Aleš HORÁK (203 Czech Republic, guarantor, belonging to the institution)

Edition

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

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

10200 1.2 Computer and information sciences

Country of publisher

Singapore

Confidentiality degree

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

References:

DOI

Impact factor

Impact factor: 1.518

RIV identification code

RIV/00216224:14330/20:00113966

Organization unit

Faculty of Informatics

DOI

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

UT WoS

000537358800004

Keywords in English

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

Abstract

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.

Links

GA18-23891S, research and development project

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

Investor: Czech Science Foundation

Citovat

DUŽÍ, Marie and 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, vol. 28, No 3, p. 443-468. ISSN 0218-4885. Available from: 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 and 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, vol.~28, No~3, p.~443-468. ISSN~0218-4885. Available from: https://dx.doi.org/10.1142/S021848852050018X.

Detailed Information on Publication Record