Automated Reasoning in the Wild

  • Ulrich FurbachEmail author
  • Björn Pelzer
  • Claudia Schon
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9195)


This paper discusses the use of first order automated reasoning in question answering and cognitive computing. For this the natural language question answering project LogAnswer is briefly depicted and the challenges faced therein are addressed. This includes a treatment of query relaxation, web-services, large knowledge bases and co-operative answering. In a second part a bridge to human reasoning as it is investigated in cognitive psychology is constructed by using standard deontic logic.


Automate Reasoning Predicate Symbol Question Answering Deontic Logic Ground Instance 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Baumgartner, P., Furbach, U., Groß-Hardt, M., Sinner, A.: Living book - deduction, slicing, and interaction. J. Autom. Reasoning 32(3), 259–286 (2004)CrossRefGoogle Scholar
  2. 2.
    Baumgartner, P., Furbach, U., Pelzer, B.: Hyper tableaux with equality. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 492–507. Springer, Heidelberg (2007) CrossRefGoogle Scholar
  3. 3.
    Beckert, B., Hähnle, R.: Reasoning and verification: state of the art and current trends. IEEE Intell. Syst. 29(1), 20–29 (2014)CrossRefGoogle Scholar
  4. 4.
    Byrne, R.M.J.: Suppressing valid inferences with conditionals. Cognition 31(1), 61–83 (1989)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Ferrucci, D., Levas, A., Bagchi, S., Gondek, D., Mueller, E.T.: Watson: beyond jeopardy!. Artif. Intell. 199–200, 93–105 (2013)CrossRefGoogle Scholar
  6. 6.
    Furbach, U., Glöckner, I., Pelzer, B.: An application of automated reasoning in natural language question answering. AI Commun. 23(2–3), 241–265 (2010)MathSciNetzbMATHGoogle Scholar
  7. 7.
    Furbach, U., Schon, C.: Deontic logic for human reasoning. In: Eiter, T., Strass, H., Truszczyński, M., Woltran, S. (eds.) Advances in Knowledge Representation. LNCS, vol. 9060, pp. 63–80. Springer, Heidelberg (2015) Google Scholar
  8. 8.
    Furbach, U., Schon, C., Stolzenburg, F., Weis, K.-H., Wirth, C.-P.: The RatioLog Project - Rational Extensions of Logical Reasoning. ArXiv e-prints, March 2015Google Scholar
  9. 9.
    Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.): Handbook of Deontic Logic and Normative Systems. College Publications, London (2013)zbMATHGoogle Scholar
  10. 10.
    Heider, F., Simmel, M.: An experimental study of apparent behavior. Am. J. Psychol. 57(2), 243–259 (1944)CrossRefGoogle Scholar
  11. 11.
    Hoder, K., Voronkov, A.: Sine qua non for large theory reasoning. In: Bjørner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS, vol. 6803, pp. 299–314. Springer, Heidelberg (2011) CrossRefGoogle Scholar
  12. 12.
    Hölldobler, S., Philipp, T., Wernhard, C.: An abductive model for human reasoning. In: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)Google Scholar
  13. 13.
    Kaliszyk, C., Urban, J.: Learning-assisted automated reasoning with Flyspeck. J. Autom. Reasoning 53(2), 173–213 (2014)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Kowalski, R.: Computational Logic and Human Thinking: How to be Artificially Intelligent. Cambridge University Press, Cambridge (2011)CrossRefGoogle Scholar
  15. 15.
    Levesque, H.J.: The winograd schema challenge. In: LogicalFormalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, 21–23 March 2011. AAAI (2011)Google Scholar
  16. 16.
    Maslan, N., Roemmele, M., Gordon, A.S.: One hundred challenge problems for logical formalizations of commonsense psychology. In: Twelfth International Symposium on Logical Formalizations of Commonsense Reasoning, Stanford, CA (2015)Google Scholar
  17. 17.
    McCune, W.: OTTER 3.3 Reference Manual. Argonne National Laboratory, Argonne, Illinois (2003)Google Scholar
  18. 18.
    Pelzer, B.: Automated Reasoning Embedded in Question Answering. Ph.D. thesis, University of Koblenz (2013)Google Scholar
  19. 19.
    Pelzer, B.: Automated theorem proving with web services. In: Timm, I.J., Thimm, M. (eds.) KI 2013. LNCS, vol. 8077, pp. 152–163. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  20. 20.
    Roemmele, M., Bejan, C.A., Gordon, A.S.: Choice of plausible alternatives: an evaluation of commonsense causal reasoning. In: Logical Formalizations of Commonsense Reasoning,Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, 21–23 March 2011. AAAI (2011)Google Scholar
  21. 21.
    Shankar, N.: Automated reasoning, fast and slow. In: Bonacina, M.P. (ed.) CADE 2013. LNCS, vol. 7898, pp. 145–161. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  22. 22.
    Stenning, K., Van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2008)zbMATHGoogle Scholar
  23. 23.
    Suda, M., Sutcliffe, G., Wischnewski, P., Lamotte-Schubert, M., de Melo, G.: External sources of axioms in automated theorem proving. In: Mertsching, B., Hund, M., Aziz, Z. (eds.) KI 2009. LNCS, vol. 5803, pp. 281–288. Springer, Heidelberg (2009) CrossRefGoogle Scholar
  24. 24.
    Sutcliffe, G.: The TPTP problem library and associated infrastructure: the FOF and CNF parts, v3.5.0. J. Autom. Reasoning 43(4), 337–362 (2009)CrossRefzbMATHGoogle Scholar
  25. 25.
    Urban, J., Sutcliffe, G., Pudlák, P., Vyskočil, J.: Malarea SG1 - machine learner for automated reasoning with semantic guidance. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 441–456. Springer, Heidelberg (2008) CrossRefGoogle Scholar
  26. 26.
    von Kutschera, F.: Einführung in die Logik der Normen. Werte und Entscheidungen, Alber (1973)Google Scholar
  27. 27.
    Wason, P.C.: Reasoning about a rule. Q. J. Exp. Psychol. 20(3), 273–281 (1968)CrossRefGoogle Scholar
  28. 28.
    Weidenbach, C., Schmidt, R.A., Hillenbrand, T., Rusev, R., Topic, D.: System sescription: spass version 3.0. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 514–520. Springer, Heidelberg (2007) CrossRefGoogle Scholar
  29. 29.
    Wos, L., Overbeek, R., Lusk, E., Boyle, J.: Automated Reasoning: Introduction and Applications. Prentice-Hall, Englewood Cliffs (1984)zbMATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Universität Koblenz-LandauKoblenzGermany

Personalised recommendations