Hyperintensional Reasoning Based on Natural Language Knowledge Base
The result's identifiers
Result code in 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>
Alternative codes found
RIV/00216224:14330/20:00113966
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Hyperintensional Reasoning Based on Natural Language Knowledge Base
Original language description
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'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.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA18-23891S" target="_blank" >GA18-23891S: Hyperintensional Reasoning over Natural Language Texts</a><br>
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems
ISSN
0218-4885
e-ISSN
—
Volume of the periodical
28
Issue of the periodical within the volume
3
Country of publishing house
SG - SINGAPORE
Number of pages
26
Pages from-to
443-468
UT code for WoS article
000537358800004
EID of the result in the Scopus database
2-s2.0-85085372600