Modeling of abductive reasoning

The aim of the project is to develop an integrated formal model of abductive reasoning, based on empirical evidence, and to provide its computer implementation.

On the basis on existing research in Dynamic Epistemic Logic, we develop logical systems which will account for pragmatic factors in abductive reasoning (like: epistemic aims and goals of the reasoning agent, costs of obtaining certain information, etc.). Results of empirical research on abductive reasoning, serve as an anchor for prescriptive feasibility of the models being developed. As abduction usually involves processing of massive amounts of data, computer implementation is the most effective way of verification of its models. To this end, we employ both symbolic and connectionist tools, drawing on recent developments in connectionist logic.

The project is funded by National Science Centre (Sonata-Bis grant, DEC-2013/10/E/HS1/00172).

People: Mariusz Urbański, Andrzej Gajda, Mikołaj Michta, Dorota Żelechowska, Natalia Żyluk

Former collaborators: Katarzyna Paluszkiewicz, Agata Gołaś, Honorata Helon, Adam Kupś

Papers:

  • Natalia Żyluk, Karolina Karpe, Mikołaj Michta, Weronika Potok, Katarzyna Paluszkiewicz, Mariusz Urbański (2016). Assessing levels of epistemological understanding: Standardized Epistemological Understanding Assessment (SEUA). Topoi, DOI: 10.1007/s11245-016-9381-4 [additional materials].
  • Mariusz Urbański, Natalia Żyluk, Katarzyna Paluszkiewicz, Joanna Urbańska (2016). A formal model of erotetic reasoning in solving somewhat ill-defined problems. In: D. Mohammed and M. Lewinski (eds.) Argumentation and Reasoned Action. London: College Publications, p. 973–983.
  • Małgorzata Kisielewska, Mariusz Urbański, Katarzyna Paluszkiewicz (2016). Abduction in one intelligence test. Types of reasoning involved in solving Raven’s Advanced Progressive Matrices. In: L. Magnani and C. Casadio (eds), Model-Based Reasoning in Science and Technology, Studies in Applied Philosophy, Epistemology and Rational Ethics 27, Springer, p. 419–435, DOI: 10.1007/978-3-319-38983-7_23.
  • Andrzej Gajda, Adam Kups, Mariusz Urbański (2016). A connectionist approach to abductive problems: employing a learning algorithm. In: M. Ganzha, L. Maciaszek, M. Paprzycki (eds), Annals of Computer Science and Information Systems, vol. 8: Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, p. 353–362, DOI: 10.15439/2016F484.
  • Szymon Chlebowski, Andrzej Gajda (2017). Abductive Question-Answer System (AQAS) for Classical Propositional Logic. In: Henning Christiansen, Hélène Jaudoin, Panagiotis Chountas, Troels Andreasen, Henrik Legind Larsen (eds), Lecture Notes in Computer Science, vol. 10333: Proceedings of Flexible Query Answering Systems—12th International Conference, p. 3–14, DOI: 10.1007/978-3-319-59692-1.

Research reports:

Conferences:

  • Mariusz Urbański, Katarzyna Paluszkiewicz, Joanna Urbańska, Erotetic Reasoning: Formal Modeling of Real Deductive Problem-Solving, 12th ArgDiaP: From Real Data to Argument Mining, Warsaw, May 23–24, 2014.
  • Mariusz Urbański, Katarzyna Paluszkiewicz, Małgorzata Kisielewska, Modelowanie rozwiązywania zadań dedukcyjnych za pomocą Inferencyjnej Logiki Pytań [Modeling deductive problem solving by Inferential Erotetic Logic], X Zjazd Polskiego Towarzystwa Kognitywistycznego, Szczecin, September 25–27, 2014.
  • Mariusz Urbański, Do diversify, panel discussion Force of Legal Arguments: Contemporary Perspectives and Methods, 1st International Workshop for Methodologies for Research on Legal Argumentation, Kraków, December 10, 2014.
  • Mariusz Urbański, Katarzyna Paluszkiewicz, Joanna Urbańska, Erotetic problem-solving and learning: from real data to formal models, RACT 2015: Reasoning, Argumentation and Critical Thinking Instruction, Lund, February 25–27, 2015.
  • Mariusz Urbański, Natalia Maryniaczyk, Katarzyna Paluszkiewicz, Joanna Urbańska, A Formal Model of Erotetic Reasoning in Collaborative Problem Solving, 1st European Conference on Argumentation: Argumentation and Reasoned Action, Lisbon, June 9–12, 2015.
  • Mariusz Urbański, Małgorzata Kisielewska, Katarzyna Paluszkiewicz, Abduction in one intelligence test: Types of reasoning involved in solving Raven’s Advanced Progressive Matrices, Model-Based Reasoning in Science and Technology, Sestri Levante, June 25–27, 2015.
  • Mariusz Urbański, Sylogistyczny model rozumowań abdukcyjnych [Syllogistic model of abductive reasoning], X Polski Zjazd Filozoficzny, Poznań, September 15–19, 2015.
  • Szymon Chlebowski, Andrzej Gajda, Abdukcyjny System Pytanie-Odpowiedź dla normalnych logik modalnych, X Polski Zjazd Filozoficzny, Poznań, September 15–19, 2015.
  • Paweł Łupkowski, Mariusz Urbański, Katarzyna Paluszkiewicz, Oliwia Ignaszak, Natalia Maryniaczyk, Joanna Urbańska, ERC — korpus rozumowań erotetycznych [ERC — Erotetic Reasoning Corpus], 13 ArgDiaP. Siła argumentu: racja, przekonanie, konsensus, Wrocław, November 20–21, 2015.
  • Andrzej Gajda, Szymon Chlebowski, Mariusz Urbański, Emilia Soroko, Subject’s understanding of conditional sentences. Analysis of Socratic dialogues during solving various versions of Wason selection task, VIII Dubrovnik Conference on Cognitive Science, Dubrovnik,  April 28–May 1, 2016.
  • Szymon Chlebowski, Andrzej Gajda, Haskell implementation of Abductive Question-Answer System (AQAS), Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, May 9–13, 2016.
  • Andrzej Gajda, Adam Kups, Abductive problems in a connectionist environment. Computational approach, 2nd Logic and Cognition, Poznań, September 5–6, 2016.
  • Natalia Żyluk, Mikołaj Michta, Deductive Flexibility Test, 2nd Logic and Cognition, Poznań, September 5–6, 2016.
  • Andrzej Gajda, Szymon Chlebowski, Mariusz Urbański, Emilia Soroko, Subject’s understanding of conditional sentences. Analysis of Socratic dialogues during solving various versions of Wason selection task, 2nd Logic and Cognition, Poznań, September 5–6, 2016.
  • Kinga Antonik-Jonczyk, Dajana Bieganowska, Agnieszka Dubowska, Dominika Koch, Iga Kropa, Maciej Małkowski, Dawid Ratajczyk, Anita Steć, Natalia Żyluk, Difficult deductions and fluid intelligence: Deductive Flexibility Test vs Raven’s Advanced Progressive Matrices, 2nd Logic and Cognition, Poznań, September 5–6, 2016.
  • Mariusz Urbański, Abduction: some conceptual issues, 2nd Logic and Cognition, Poznań, September 5–6, 2016.
  • Szymon Chlebowski, Andrzej Gajda, Abductive Question-Answer System for Classical Propositional Logic and some Non-Classical Logics, QuestPro, Poznań, September 9–10, 2016.
  • Andrzej Gajda, Adam Kups, Mariusz Urbański, A connectionist approach to abductive problems: employing a learning algorithm, FedCSIS, Gdańsk, September 11–14, 2016.
  • Szymon Chlebowski, Andrzej Gajda, Implementacja w języku Haskell Abdukcyjnego Systemu Pytanie-Odpowiedź (AQAS) dla klasycznego rachunku zdań, XI Zjazd Polskiego Towarzystwa Kognitywistycznego, Białystok, September 22–24, 2016.
  • Mariusz Urbański, Natalia Żyluk, Semantyka sytuacyjna i logika pytań w analizie rozwiązań zadań abdukcyjnych, XI Zjazd Polskiego Towarzystwa Kognitywistycznego, Białystok, September 22–24, 2016.
  • Szymon Chlebowski, Andrzej Gajda, Haskell implementation of Abductive Question-Answer System (AQAS) for classical propositional logic, Applications of Algebra in Logic and Computer Science XXI, Zakopane, March 20–26, 2017.
  • Mariusz Urbański, Natalia Żyluk, Sets of situations, topics, and question relevance, Reasoning and Analytic Methods, Bratislava, April 27–28, 2017.
  • Szymon Chlebowski, Andrzej Gajda, Mariusz Urbański, Abductive Question-Answer System for minimal logic of formal inconsistency mbC, Reasoning and Analytic Methods, Bratislava, April 27–28, 2017.
  • Andrzej Gajda, An Extension of Fixpoint Characterisation for Grounded Definite and Grounded Acceptable General Logic Programs, 22nd Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, May 8–12, 2017.
  • Mariusz Urbański, Dorota Żelechowska, Natalia Żyluk, Catching abduction. On two instruments for research on abductive reasoning, Ampliative Reasoning in the Sciences, Ghent, May 18–19, 2017.
  • Szymon Chlebowski, Andrzej Gajda, Mariusz Urbański, Logic of questions, abduction, and paraconsistency, Ampliative Reasoning in the Sciences, Ghent, May 18–19, 2017.
  • Mariusz Urbański, Natalia Żyluk, Sets of situations, topics, and question relevance, 2nd European Conference on Argumentation, Fribourg, June 20–23, 2017.
  • Szymon Chlebowski, Andrzej Gajda, Abductive Question-Answer System (AQAS) for Classical Propositional Logic, Flexible Query Answering Systems—12th International Conference, London, June 21–22, 2017.