Hyperintensional Reasoning based on Natural Language Knowledge Base
| Autoři | |
|---|---|
| Rok publikování | 2020 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | DOI |
| Doi | http://dx.doi.org/10.1142/S021848852050018X |
| Klíčová slova | transparent intensional logic; hyperintensional logic; natural language analysis; context recognition; knowledge based system |
| Popis | 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. |
| Související projekty: |