Hyperintensional Reasoning Based on Natural Language Knowledge Base

DOI10.1142/S021848852050018XMaRDI QIDQ5872486zbMATH OpenOpenAlexFDO

Authors Marie Duží, Aleš Horák

Publication date 30 January 2023

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

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

zbMATH Keywords

context recognitionhyperintensional logicknowledge-based systemnatural-language analysistransparent intensional logic

Mathematics Subject Classification ID

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

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.

Recommendations

• scientific article; zbMATH DE number 1786552
• scientific article; zbMATH DE number 53703
• Hyperintensions
• Transparent quantification into hyperintensional contexts

Cited in

(5)

• scientific article; zbMATH DE number 994056 (Why is no real title available?)
• scientific article; zbMATH DE number 53703 (Why is no real title available?)
• scientific article; zbMATH DE number 5208784 (Why is no real title available?)
• Substitution inconsistencies in transparent intensional logic
• Twin procedures, two kinds of variable binding, and two kinds of computation

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)