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.

中文翻译：

---

基于自然语言知识库的超思维推理

自动推理技术在大型自然语言文本上的成功很大程度上依赖于对自然语言假设的细粒度分析。尽管人们普遍认为分析应该是超内涵的，但大多数自动推理系统充其量仍然基于内涵逻辑。在本文中，我们介绍了基于细粒度、高内涵分析的推理系统。为此，我们应用 Tichy 的透明内涵逻辑 (TIL) 及其过程语义。TIL 是偏函数的高阶、超内涵逻辑，特别适用于细粒度的自然语言分析。在 TIL 中，我们识别出三种语境，即外延语境、内涵语境和超内涵语境，其中可以出现特定的自然语言术语，或者更确切地说，它的含义。