Erotetic search scenarios and three-valued logic (Q302229)

Erotetic search scenarios have been introduced in [\textit{A. Wiśniewski}, Synthese 134, No. 3, 389--427 (2003; Zbl 1024.03009)]. Erotetic search scenarios show how an initial question can be answered on the basis of a given set of initial premises and by means of asking and answering auxiliary questions. In this paper, this framework is combined with an extended version of Kleene's strong three-valued logic. It is shown that an initial problem can be solved despite the fact that some of the sub-problems remain unsolved. The paper concludes with an example that illustrates that this model of problem solving may find use in an analysis of natural language dialogues.