Abductive Question-Answer System (\(\mathsf {AQAS}\)) for Classical Propositional Logic

  • Szymon Chlebowski
  • Andrzej Gajda
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10333)


We propose a new approach to modelling abductive reasoning by means of an abductive question-answer system. We introduce the concept of an abductive question which is the starting point of abductive reasoning. The result of applying the question processing procedure is a question, which is simpler than the initial one. \(\mathsf {AQAS}\) generates abductive hypotheses that fulfil certain criteria in one step, i.e. processes of generation and evaluation of abductive hypotheses are integrated.


Logic of questions Inferential Erotetic Logic Erotetic calculi Abduction 



This work has been supported by the Polish National Science Center, grant no. 2012/04/A/HS1/00715 (first author) and DEC-2013/10/E/HS1/00172 (second author).


  1. 1.
    Aliseda, A.: Abductive Reasoning. Logical Investigations into Discovery and Explanation. Springer, Dordrecht (2006). doi: 10.1007/1-4020-3907-7 MATHGoogle Scholar
  2. 2.
    Chlebowski, S., Leszczyńska-Jasion, D.: Dual erotetic calculi and the minimal LFI. Studia Logica 103(6), 1245–1278 (2015). doi: 10.1007/s11225-015-9617-0 MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Ciardelli, I., Roelofsen, F.: Inquisitive logic. J. Philos. Log. 40, 55–94 (2011). doi: 10.1007/s10992-010-9142-6 MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Ciardelli, I., Groenendijk, J., Roelofsen, F.: On the semantics and logic of declaratives and interrogatives. Synthese (2013). doi: 10.1007/s11229-s013-0352-7
  5. 5.
    Denecker, M., Kakas, A.: Abduction in logic programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS, vol. 2407, pp. 402–436. Springer, Heidelberg (2002). doi: 10.1007/3-540-45628-7_16 CrossRefGoogle Scholar
  6. 6.
    Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, New York (1996). doi: 10.1007/978-1-4612-2360-3 CrossRefMATHGoogle Scholar
  7. 7.
    Hintikka, J.: What is abduction? The fundamental problem of contemporary epistemology. In: Inquiry as Inquiry: A Logic of Scientific Discovery, pp. 91–113. Springer, Dordrecht (1999). doi: 10.1007/978-94-015-9313-7_4
  8. 8.
    Hintikka, J.: Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning. Cambridge University Press, Cambridge (2007). ISBN: 9780521616515CrossRefGoogle Scholar
  9. 9.
    Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. J. Log. Comput. 2(6), 719–770 (1992)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Komosiński, M., Kupś, A., Leszczyńska-Jasion, D., Urbański, M.: Identifying efficient abductive hypotheses using multi-criteria dominance relation. ACM Trans. Comput. Log. (TOCL) 15(4), 28:1–28:20 (2014). doi: 10.1145/2629669 MATHGoogle Scholar
  11. 11.
    Leszczyńska-Jasion, D.: Socratic proofs for some normal modal propositional logics. Logique et Analyse 47(185–188), 259–285 (2004)MathSciNetMATHGoogle Scholar
  12. 12.
    Magnani, L.: Abductive Cognition. The Epistemological and Eco-cognitive Dimensions of Hypothetical Reasoning. Springer, Dordrecht (2009). doi: 10.1007/s10838-011-9146-0 MATHGoogle Scholar
  13. 13.
    Mayer, M.C., Pirri, F.: Propositional abduction in modal logic. Log. J. IGPL 3(6), 907–919 (1995). doi: 10.1093/jigpal/3.6.907 MathSciNetCrossRefMATHGoogle Scholar
  14. 14.
    Meheus, J., Batens, D.: A formal logic of abductive reasoning. Log. J. IGPL 14(2), 221–236 (2006). doi: 10.1093/jigpal/jzk015 MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Peirce, C.S.: Collected Works. Harvard University Press, Cambridge (1931). Republished in 1958Google Scholar
  16. 16.
    Sintonen, M.: Reasoning to hypotheses: where do questions come? Found. Sci. 9(3), 249–266 (2004). doi: 10.1023/B:FODA.0000042842.55251.c1 CrossRefGoogle Scholar
  17. 17.
    Smullyan, R.M.: First-Order Logic. Springer, Heidelberg (1968)CrossRefMATHGoogle Scholar
  18. 18.
    Thagard, P.: Abductive inference: from philosophical analysis to neural mechanisms. In: Feeney, A., Heit, E. (eds.) Inductive Reasoning: Cognitive, Mathematical, and Neuroscientific Approaches, pp. 226–247. Cambridge University Press, Cambridge (2007). doi: 10.1017/CBO9780511619304.010 CrossRefGoogle Scholar
  19. 19.
    Urbański, M.: Rozumowania abdukcyjne. Wydawnictwo Naukowe UAM, Poznań (2009)Google Scholar
  20. 20.
    Urbański, M., Wiśniewski, A.: On search for law-like statements as abductive hypotheses by socratic transformations. In: Baskent, C. (ed.) Perspectives on Interrogative Models of Inquiry. Developments in Inquiry and Questions, vol. 8, pp. 111–127. Springer, Cham (2016). doi: 10.1007/978-3-319-20762-9_7 CrossRefGoogle Scholar
  21. 21.
    Wiśniewski, A.: Socratic proofs. J. Philos. Log. 33(3), 299–326 (2004). doi: 10.1023/B:LOGI.0000031374.60945.6e MathSciNetCrossRefMATHGoogle Scholar
  22. 22.
    Wiśniewski, A.: Questions, Inferences, and Scenarios. Studies in Logic, vol. 46. College Publications, London (2013)MATHGoogle Scholar
  23. 23.
    Wiśniewski, A.: The Posing of Questions: Logical Foundations of Erotetic Inferences. Kluwer, Dordrecht (1995)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Department of Logic and Cognitive Science, Institute of PsychologyAdam Mickiewicz University in PoznańPoznańPoland

Personalised recommendations