Top

KI - Künstliche Intelligenz

Published in:

29-06-2019 | Survey

Cognitive Reasoning: A Personal View

Authors: Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon, Frieder Stolzenburg

Published in: KI - Künstliche Intelligenz | Issue 3/2019

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

The adjective cognitive especially in conjunction with the word computing seems to be a trendy buzzword in the artificial intelligence community and beyond nowadays. However, the term is often used without explicit definition. Therefore we start with a brief review of the notion and define what we mean by cognitive reasoning. It shall refer to modeling the human ability to draw meaningful conclusions despite incomplete and inconsistent knowledge involving among others the representation of knowledge where all processes from the acquisition and update of knowledge to the derivation of conclusions must be implementable and executable on appropriate hardware. We briefly introduce relevant approaches and methods from cognitive modeling, commonsense reasoning, and subsymbolic approaches. Furthermore, challenges and important research questions are stated, e.g., developing a computational model that can compete with a (human) reasoner on problems that require common sense.

previous article Bridging the Prototype Gap: On the Evolution of Ugly Ducklings

next article Why Machines Don’t (yet) Reason Like People

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

KI - Künstliche Intelligenz

The Scientific journal "KI – Künstliche Intelligenz" is the official journal of the division for artificial intelligence within the "Gesellschaft für Informatik e.V." (GI) – the German Informatics Society - with constributions from troughout the field of artificial intelligence.

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

http://ics.ie.tum.de, accessed: 13-May-2019.

http://www.fernuni-hagen.de/wbs/dkbkik2019.html, accessed: 13-May-2019.

http://gepris.dfg.de, accessed: 13-May-2019.

http://www.ibm.com/blogs/nordic-msp/artificial-intelligence-machine-learning-cognitive-computing/, accessed: 13-May-2019.

http://en.wikipedia.org/wiki/Cognitive_computing, accessed: 13-May-2019.

http://www.cognitive-comp.org/, accessed: 13-May-2019.

http://en.wikipedia.org/wiki/Reason, accessed: 13-May-2019.

http://www.icaps-conference.org/index.php/Main/Competitions, accessed: 13-May-2019.

http://orca.informatik.uni-freiburg.de/orca_sylwebsite/orca/, accessed: 13-May-2019.

Álvez J, Lucio P, Rigau G (2012) Adimen-SUMO: reengineering an ontology for first-order reasoning. Int J Semant Web Inform Syst (IJSWIS) 8(4):80–116CrossRef

Anderson JR (2007) How can the human mind occur in the physical universe?. Oxford University Press, New YorkCrossRef

Anderson JR, Bothell D, Byrne MD, Douglass S, Lebiere C, Qin Y (2004) An integrated theory of the mind. Psychol Rev 111(4):1036–1060. https://doi.org/10.1037/033-295X.111.4.1036 CrossRef

Anshakov OM, Gergely T (2010) Cognitive reasoning—a formal approach. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68875-4 MATH

Apt K, van Emden M (1982) Contributions to the theory of logic programming. J ACM 29:841–862MathSciNetCrossRefMATH

Baars BJ (1997) In the theatre of consciousness. global workspace theory, a rigorous scientific theory of consciousness. J Conscious Stud 4(4):292–309

Bader S (2009) Neural-symbolic integration. Ph.D. thesis, Technische Universität Dresden, Faculty of Computer Science

Baker CF, Fillmore CJ, Lowe JB (1998) The berkeley framenet project. In: C. Boitet, P. Whitelock (eds) 36th annual meeting of the association for computational linguistics and 17th international conference on computational linguistics, COLING-ACL ’98, August 10-14, 1998, Université de Montréal, Montréal, Quebec, Canada. Proceedings of the Conference., pp. 86–90. Morgan Kaufmann Publishers / ACL. http://aclweb.org/anthology/P/P98/P98-1013.pdf

Baumgartner P, Furbach U, Niemelä I (1996) Hyper tableaux. In: European workshop on logics in artificial intelligence, Springer, pp 1–17

10.

Bender M, Pelzer B, Schon C (2013) System description: E-KRHyper 1.4. In: International conference on automated deduction, Springer Nature Switzerland AG, pp 126–134

11.

Bentivogli L, Dagan I, Magnini B (2017) The recognizing textual entailment challenges: datasets and methodologies. In: Ide N, Pustejovsky J (eds) Handbook of linguistic annotation. Springer, Berlin

12.

Bergk T, Furbach U, Schon C (2019) Names are not just sound and smoke: word embeddings for axiom selection. In: Conference on automated deduction, CADE 27. Springer Nature Switzerland AG

13.

Besold TR, d’Avila Garcez AS, Bader S, Bowman H, Domingos PM, Hitzler P, Kühnberger KU, Lamb LC, Lowd D, Lima PMV, de Penning L, Pinkas G, Poon H, Zaverucha G (2017) Neural-symbolic learning and reasoning: a survey and interpretation. CoRR. arXiv:abs/1711.03902

14.

Braine MDS, O’Brien DP (1998) Mental logic. Erlbaum, MahwahCrossRef

15.

Byrne RM, Tasso A (1999) Deductive reasoning with factual, possible, and counterfactual conditionals. Mem Cognit 27(4):726–740CrossRef

16.

Curran JR, Clark S, Bos J (2007) Linguistically motivated large-scale NLP with C&C and Boxer. In: Proceedings of the ACL 2007 demo and poster sessions, Prague, Czech Republic. Association for Computational Linguistics, Stroudsburg PA, USA, pp. 33–36

17.

Dennett D (1993) Consciousness explained. Penguin books. Penguin Adult. https://books.google.de/books?id=d2P_QS6AwgoC. Accessed 27 June 2019

18.

Devlin J, Chang M, Lee K, Toutanova K (2018) BERT: pre-training of deep bidirectional transformers for language understanding. CoRR. arXiv:1810.04805

19.

Diederich J, Tickle AB, Geva S (2010) Quo vadis? Reliable and practical rule extraction from neural networks. In: Koronacki J, Ras ZW, Wierzchon ST, Kacprzyk J (eds) Advances in machine learning I: dedicated to the memory of professor Ryszard S. Michalski, studies in computational intelligence, vol 262. Springer, Berlin, pp 479–490. https://doi.org/10.1007/978-3-642-05177-7_24 CrossRef

20.

Dietz EA, Hölldobler S, Ragni M (2012) A computational logic approach to the suppression task. In: N Miyake, D Peebles, RP Cooper (eds) Proceedings of the 34th annual conference of the cognitive science society, Cognitive Science Society. Curran Associates Inc. proceedings.com, pp 1500–1505

21.

Dietz EA, Hölldobler S, Ragni M (2013) A computational logic approach to the abstract and the social case of the selection task. In: Proceedings eleventh international symposium on logical formalizations of commonsense reasoning. http://commonsensereasoning.org/2013/proceedings.html

22.

Dietz Saldanha EA, Hölldobler S, Kencana Ramli CDP, Palacios Medinacelli L (2018) A core method for the weak completion semantics with skeptical abduction. J Artif Intell Res 63:51–86MathSciNetCrossRefMATH

23.

Dietz Saldanha EA, Hölldobler S, Lourêdo Rocha I (1994) The weak completion semantics. In: C Schon, U Furbach (eds) Proceedings of the workshop on bridging the gap between human and automated reasoning—is logic and automated reasoning a foundation for human reasoning?, vol 1994, pp 18–30. CEUR-WS.org (2017). http://ceur-ws.org/Vol-1994/

24.

Dietz Saldanha EA, Hölldobler S, Mörbitz R (2018) The syllogistic reasoning task: reasoning principles and heuristic strategies in modeling human clusters. In: Seipel D, Hanus M, Abreu S (eds) Declarative programming and knowledge management, vol 10997. Lecture notes in artificial intelligence. Springer, Berlin, Heidelberg, pp 149–165CrossRef

25.

Eliasmith C (2013) How to build a brain: a neural architecture for biological cognition. Oxford University Press, OxfordCrossRef

26.

Evans JSB (2003) In two minds: dual-process accounts of reasoning. TRENDS Cogn Sci 7(10):459–459CrossRef

27.

Evans JSBT (2008) Dual-processing accounts of reasoning, judgment, and social cognition. Ann Rev Psychol 59:255–278CrossRef

28.

Ferrucci DA, Brown EW, Chu-Carroll J, Fan J, Gondek D, Kalyanpur A, Lally A, Murdock JW, Nyberg E, Prager JM, Schlaefer N, Welty CA (2010) Building watson: an overview of the DeepQA project. AI Mag 31(3):59–79CrossRef

29.

Furbach U, Schon C (2018) Reasoning and Consciousness. Teaching a Theorem Prover to let its Mind Wander. In: The third conference on artificial intelligence and theorem proving, AITP2018. http://aitp-conference.org/2018/aitp18-proceedings.pdf

30.

d’Avila Garcez A, Lamb L, Gabbay D (2009) Neural-symbolic cognitive reasoning. Springer, Berlin, HeidelbergMATH

31.

d’Avila Garcez A, Zaverucha G, de Carvalho L (1997) Logic programming and inductive learning in artificial neural networks. In: Herrmann C, Reine F, Strohmaier A (eds) Knowledge representation in neural networks. Logos Verlag, Berlin, pp 33–46

32.

d’Avila Garcez AS, Broda K, Gabbay DM (2001) Symbolic knowledge extraction from trained neural networks: a sound approach. Artif Intell 125(1–2):155–207. https://doi.org/10.1016/S0004-3702(00)00077-1 MathSciNetCrossRefMATH

33.

d’Avila Garcez AS, Zaverucha G (1999) The connectionist inductive learning and logic programming system. Appl Intell 11(1):59–77. https://doi.org/10.1023/A:1008328630915 CrossRef

34.

Gigerenzer G, Selten R (2002) Bounded rationality: the adaptive toolbox. MIT Press, Cambridge, MA, USA

35.

Gigerenzer G, Todd P (1999) Simple heuristics that make us smart. Oxford University Press, New York

36.

Goodfellow I, Bengio Y, Courville A (2016) Deep Learning. Adaptive Computation and Machine Learning. MIT Press, Cambridge, London. http://www.deeplearningbook.org

37.

Gordon AS (2016) Commonsense interpretation of triangle behavior. In: D Schuurmans, MP Wellman (eds) Proceedings of the thirtieth AAAI conference on artificial intelligence, February 12–17, 2016, Phoenix, Arizona, USA., pp 3719–3725. AAAI Press http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/11790

38.

Hammer B, Hitzler P (eds) (2007) Perspectives of neural-symbolic integration. Springer, Berlin, HeidelbergMATH

39.

Hochreiter S, Schmidhuber J (1997) Long short-term memory. Neural Comput 9(8):1735–1780. https://doi.org/10.1162/neco.1997.9.8.1735 CrossRef

40.

Hölldobler S (2018) Ethical decision making under the weak completion semantics. In: C Schon (ed) Proceedings of the workshop on bridging the gap between human and automated reasoning, vol 2261, pp 1–5. CEUR-WS.org. http://ceur-ws.org/Vol-2261/

41.

Hölldobler S, Kalinke Y (1994) Towards a new massively parallel computational model for logic programming. In: Proceedings of the ECAI94 workshop on combining symbolic and connectionist processing, ECCAI - European Association for Artificial Intelligence, pp. 68–77

42.

Hölldobler S, Kalinke Y, Störr H (1999) Approximating the semantics of logic programs by recurrent neural networks. Appl Intell 11(1):45–58. https://doi.org/10.1023/A:1008376514077 CrossRef

43.

Hölldobler S, Kencana Ramli CDP (2009) Logic programs under three-valued Łukasiewicz’s semantics. In: Hill PM, Warren DS (eds) LNCS, vol 5649. Springer-Verlag, Berlin Heidelberg, pp 464–478

44.

Holzinger A (2018) Explainable AI (ex-AI). Informatik Spektrum 41(2):138–143. https://doi.org/10.1007/s00287-018-1102-5 (Aktuelles Schlagwort, in German)CrossRef

45.

Indiveri G, Linares-Barranco B, Hamilton T, van Schaik A, Etienne-Cummings R, Delbruck T, Liu SC, Dudek P, Häfliger P, Renaud S, Schemmel J, Cauwenberghs G, Arthur J, Hynna K, Folowosele F, Saïghi S, Serrano-Gotarredona T, Wijekoon J, Wang Y, Boahen K (2011) Neuromorphic silicon neuron circuits. Front Neurosci 5:73. https://www.frontiersin.org/article/10.3389/fnins.2011.00073

46.

Johnson-Laird PN (2006) How we reason. Oxford University Press, New York

47.

Kahneman D (2011) Thinking, fast and slow. Macmillan Publishers, London

48.

Khemlani S, Johnson-Laird PN (2012) Theories of the syllogism: a meta-analysis. Psychol Bull 138(3):427–457CrossRef

49.

Kompridis N (2000) So we need something else for reason to mean. Int J Philos Stud 8:271–295CrossRef

50.

Lenat DB (1995) CYC: a large-scale investment in knowledge infrastructure. Commun ACM 38(11):33–38CrossRef

51.

Levesque HJ (2011) The winograd schema challenge. In: Logical formalizations of commonsense reasoning, papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011. AAAI. http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2502

52.

Liao Y, Li H (2017) Reservoir computing trend on software and hardware implementation. Global J Res Eng (F) 17(5). https://engineeringresearch.org/index.php/GJRE/article/download/1654/1585

53.

Łukasiewicz J (1920) O logice trójwartościowej. Ruch Filozoficzny 5:169–171. English translation: On Three-Valued Logic. In: Jan Łukasiewicz Selected Works. (L. Borkowski, ed.), North Holland, 87-88, 1990

54.

Marr D (1982) Vision: a computational investigation into the human representation and processing of visual information. W. H. Freeman and Company, New York

55.

McClelland J (2009) The place of modeling in cognitive science. Topics in cognitive science. Wiley Online Library, Hoboken

56.

Mead C (1990) Neuromorphic electronic systems. Proceedings of the IEEE 78(10):1629–1636. https://ieeexplore.ieee.org/document/58356

57.

Michael L (2019) Cognitive reasoning and learning mechanisms. In: Proceedings of the 2019 towards concious AI system symposium, vol. 2287. CEUR Workshop Proceedings

58.

Miller GA (1995) WordNet: a lexical database for english. Commun ACM 38(11):39–41CrossRef

59.

Mostafazadeh N, Roth M, Louis A, Chambers N, Allen J (2017) LSDSem 2017 shared task: The story cloze test. In: Proceedings of the 2nd workshop on linking models of lexical, sentential and discourse-level semantics. Association for Computational Linguistics, pp 46–51

60.

Mueller ET (2014) Commonsense reasoning, 2nd edn. Morgan Kaufmann, San Francisco

61.

Muggleton SH, Schmid U, Zeller C, Tamaddoni-Nezhad A, Besold T (2018) Ultra-strong machine learning: comprehensibility of programs learned with ilp. Mach Learn 107:1119–1140. https://doi.org/10.1007/s10994-018-5707-3 MathSciNetCrossRefMATH

62.

Nagel T (1974) What is it like to be a bat? Philos Rev 83(4):435–450. http://www.jstor.org/stable/2183914

63.

Newell A (1990) Unified theories of cognition. Harvard University Press, Cambridge

64.

Newell A, Simon HA (1972) Human problem solving. Prentice-Hall, Englewood Cliffs

65.

Oaksford M, Chater N (2007) Bayesian rationality: the probabilistic approach to human reasoning. Oxford University Press, Oxford Cognitive Science SeriesCrossRef

66.

Oliviera da Costa A, Dietz Saldanha EA, Hölldobler S, Ragni M (2017) A computational logic approach to human syllogistic reasoning. In: Gunzelmann G, Howes A, Tenbrink T, Davelaar EJ (eds) Proceedings of the 39th annual conference of the cognitive science society. Cognitive Science Society, Austin, pp 883–888888

67.

Ostermann S, Roth M, Modi A, Thater S, Pinkal M (2018) SemEval-2018 task 11: Machine comprehension using commonsense knowledge. In: Proceedings of the 12th international workshop on semantic evaluation. Association for Computational Linguistics, pp 747–757

68.

Ovchinnikova E (2012) Integration of world knowledge for natural language understanding, Atlantis thinking machines, vol 3. Atlantis Press, New York. https://doi.org/10.2991/978-94-91216-53-4 CrossRefMATH

69.

Pagel P, Portmann E, Vey K (2018) Cognitive computing. Informatik Spektrum 41(1–2) (Edited special issues)

70.

Pereira LM, Dietz EA, Hölldobler S (2014) An abductive reasoning approach to the belief-bias effect. In: Baral C, Giacomo GD, Eiter T (eds) Principles of knowledge representation and reasoning: proceedings of the 14th international conference. AAAI Press, Cambridge, pp 653–656656

71.

Perlis D, Brody J (2019) Operationalizing consciousness. In: Proceedings of the 2019 towards conscious AI system symposium, vol 2287

72.

Radford A, Narasimhan K, Salimans T, Sutskever I (2018) Improving language understanding by generative pre-training. https://openai.com/blog/language-unsupervised/. Accessed: 13 May 2019

73.

Ragni M, Dietz EA, Kola I, Hölldobler S (2016) Two-valued logic is not sufficient to model human reasoning, but three-valued logic is: a formal analysis. In: U Furbach, C Schon (eds) Bridging 2016—bridging the gap between human and automated reasoning, CEUR Workshop Proceedings, vol 1651, pp 61–73. CEUR-WS.org. http://ceur-ws.org/Vol-1651/

74.

Ragni M, Khemlani S, Johnson-Laird PN (2013) The evaluation of the consistency of quantified assertions. Mem Cognit 42(1):53–66CrossRef

75.

Ragni M, Knauff M (2013) A theory and a computational model of spatial reasoning with preferred mental models. Psychol Rev 120(3):561–588CrossRef

76.

Rips LJ (1994) The psychology of proof: deductive reasoning in human thinking. The MIT Press, CambridgeMATH

77.

Roemmele M, Bejan CA, Gordon AS (2011) 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, March 21-23, 2011. AAAI. http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2418

78.

Roemmele M, Bejan CA, Gordon AS (2011) Choice of plausible alternatives: an evaluation of commonsense causal reasoning. In: AAAI spring symposium: logical formalizations of commonsense reasoning, pp 90–95

79.

Rouse M, Wigmore I (2019) Definition explainable AI (XAI) (2018). https://whatis.techtarget.com/definition/explainable-AI-XAI. Accessed: 13 May 2019

80.

Simon H, Wallach D (1999) Cognitive modeling in perspective. Kognitionswissenschaft 8:1–4CrossRef

81.

Speer R, Chin J, Havasi C (2017) ConceptNet 5.5: an open multilingual graph of general knowledge. In: AAAI conference on artificial intelligence, pp 4444–4451 http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14972

82.

Stenning K, van Lambalgen M (2005) Semantic interpretation as computation in nonmonotonic logic: the real meaning of the suppression task. Cogn Sci 29:919–960CrossRef

83.

Stenning K, van Lambalgen M (2008) Human reasoning and cognitive science. MIT Press, CambridgeCrossRef

84.

Sutcliffe G (2017) The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0. J Autom Reason 59(4):483–502MathSciNetCrossRefMATH

85.

Sutcliffe G (2018) The 9th IJCAR automated theorem proving system competition—CASC-J9. AI Commun 31(6):495–507. https://doi.org/10.3233/AIC-180773 MathSciNetCrossRef

Title: Cognitive Reasoning: A Personal View
Authors: Ulrich Furbach
Steffen Hölldobler
Marco Ragni
Claudia Schon
Frieder Stolzenburg
Publication date: 29-06-2019
Publisher: Springer Berlin Heidelberg
Published in: KI - Künstliche Intelligenz / Issue 3/2019
Print ISSN: 0933-1875
Electronic ISSN: 1610-1987
DOI: https://doi.org/10.1007/s13218-019-00603-3

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

KI - Künstliche Intelligenz

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Other articles of this Issue 3/2019

Why Machines Don’t (yet) Reason Like People

Interview with Professor Hector Levesque, University of Toronto

Semantics of Analogies from a Logical Perspective

The CoRg Project: Cognitive Reasoning

Bridging the Prototype Gap: On the Evolution of Ugly Ducklings

Cognitive Argumentation for Human Syllogistic Reasoning

Premium Partner