Hyperintensional Reasoning Based on Natural Language Knowledge Base

DOI10.1142/S021848852050018XzbMATH Open1503.68254arXiv1906.07562OpenAlexW3018188522MaRDI QIDQ5872486FDOQ5872486

Publication date: 30 January 2023

Published in: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (Search for Journal in Brave)

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

Full work available at URL: https://arxiv.org/abs/1906.07562

Recommendations

zbMATH Keywords

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

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Natural language processing (68T50)

Cited In (4)

This page was built for publication: Hyperintensional Reasoning Based on Natural Language Knowledge Base

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5872486)