Další formáty:
BibTeX
LaTeX
RIS
@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.
|
