An intelligent question-answer system over natural-language texts

Abstract

The success of automated reasoning techniques over large natural-language texts heavily relies on a fine-grained formal analysis of these texts. While there is common agreement that the analysis should be hyperintensional, most automatic reasoning systems are still based on intensional logic. In this paper, we introduce a hyperintensional system of reasoning and answering. We apply Tichy’s Transparent Intensional Logic (TIL) which comes with a procedural (as opposed to truth-conditional) semantics. Our goal is to analyse empirical questions that come attached with a presupposition.