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 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. (shrink)

My aim in this paper is to use a formal approach to the Turing test. This approach is based on a tool developed within Inferential Erotetic Logic, so called erotetic search scenarios. First, I reconstruct the setting of the Turing test proposed by A.M. Turing. On this basis, I build a model of the test using erotetic search scenarios framework. I use the model to investigate one of the most interesting issues of the TT setting – the interrogator’s perspective and (...) role in the test. (shrink)

The aim of this paper is to introduce erotetic search scenarios known from Inferential Erotetic Logic by using the framework of epistemic erotetic logic. The key notions used in this system are those of askability and epistemic erotetic implication. Scenarios are supposed to represent all rational strategies of an agent solving the problem posed by the initial question where the interaction with an external information source is seen as a series of updates of the agent’s knowledge.

The issue of adequacy of the Turing Test (TT) is addressed. The concept of Turing Interrogative Game (TIG) is introduced. We show that if some conditions hold, then each machine, even a thinking one, loses a certain TIG and thus an instance of TT. If, however, the conditions do not hold, the success of a machine need not constitute a convincing argument for the claim that the machine thinks.

The aim of this paper is to present and discuss the issue of the adequacy of the Minimum Intelligent Signal Test (MIST) as an alternative to the Turing Test. MIST has been proposed by Chris McKinstry as a better alternative to Turing’s original idea. Two of the main claims about MIST are that (1) MIST questions exploit commonsense knowledge and as a result are expected to be easy to answer for human beings and difficult for computer programs; and that (2) (...) the MIST design aims at eliminating the problem of the role of judges in the test. To discuss these design assumptions we will present Peter D. Turney’s PMI-IR algorithm which allows for MIST-type questions to be answered. We will also present and discuss the results of our own study aimed at the judge problem for MIST. (shrink)

The aim of this paper is to present a certain kind of argumentation against the idea of the Turing test and to discuss the issue of its first formulation. Ned Block, with his idea of “Aunt Bubbles” argument, is thought of as a founding father of CCSC, but we present the results of our bibliographical researches which clearly show that the first formulation of CCSC should be ascribed to Polish writer and philosopher Stanisław Lem.

The aim of this paper is to present the idea which served as a prototype and probably a test field for the idea of the well-known Turing test. This idea is the ‘paper machine’ (an algorithm) for playing chess and the proposal to test its abil-ities in confrontation with a human chess player. I will describe the details of this proposal and discuss it in the light of the Turing test setting.

This volume contains papers presented at the Poznań Reasoning Week multi-conference held in Poznań in September 11-15, 2018. PRW aims at bringing together experts whose research offers a broad range of perspectives on systematic analyses of reasoning processes and their formal modelling. The 2018 edition consisted of three conferences, which addressed the following topics: (i) games in reasoning research, (ii) the interplay of logic and cognition, and (iii) refutation systems. The papers collected in this volume address all these topics.

In September 2018, the ArgDiaP association, along with colleagues from Germany and the UK, organised one of the longest and most interdisciplinary series of events ever dedicated to argumentation - Warsaw Argumentation Week, WAW 2018. The eleven-day ‘week’ featured a five day graduate school on computational and linguistic perspectives on argumentation (3rd SSA school); five workshops: on systems and algorithms for formal argumentation (2nd SAFA), argumentation in relation to society (1st ArgSoc), philosophical approaches to argumentation (1st ArgPhil), legal argumentation (2ndMET-ARG) (...) and argumentation in rhetoric (1st MET-RhET); and two conferences: on computational models of argumentation (7th COMMA conference) and on argumentation and corpus linguistics (16th ArgDiaP conference). WAW hosted twelve tutorials and eight invited talks as well as welcoming over 130 participants. All the conferences and workshops publish pre- or post-proceedings in the top journals and book series in the field. (shrink)