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.
|