Erotetic Search Scenarios and Three-Valued Logic

Abstract

Our aim is to model the behaviour of a cognitive agent trying to solve a complex problem by dividing it into sub-problems, but failing to solve some of these sub-problems. We use the powerful framework of erotetic search scenarios (ESS) combined with Kleene's strong three-valued logic. ESS, defined on the grounds of Inferential Erotetic Logic, has appeared to be a useful logical tool for modelling cognitive goal-directed processes. Using the logical tools of ESS and the three-valued logic, we will show how an agent could solve the initial problem despite the fact that the sub-problems remain unsolved. Thus our model not only indicates missing information but also specifies the contexts in which the problem-solving process may end in success despite the lack of information. We will also show that this model of problem solving may find use in an analysis of natural language dialogues.

IEL-based Formal Dialogue System for Tutorials

“…After [9] I will introduce the formal language L ? K3 , which will be used further on in this paper.…”

“…{C, ¬C, ⊟C} is negative (then the answer to the initial question is also negative). We may say that the proposed e-scenario offers three cognitive situations (from most to least preferable)  for more detailed discussion see [9]:…”

“…Answers to these questions, build up to an answer to the initial one. As it is presented and discussed in [9,12] In the presented dialogue T wants to check if S knows/understands how to attach clips to the circuit 1. To check this, T uses set of premises concerning this problem, and then asks three auxiliary questions (which express certain tasks for S: 2-4).…”

Generalized Entailments

“…e.g. [30,Chapter 13] and [12]). However, it also occurred that e-scenarios are a powerful tool for modelling some aspects of dialogues (cf.…”

Epistemic Erotetic Search Scenarios

“…[20,19,23,15,16]). Erotetic search scenarios were also employed in the field of problem-solving (see [5] and Section 1 of this paper). What is more, the pragmatic account of the scenarios was used in the Turing test adequacy debate (see [6,7,10]).…”