nach oben

Erschienen in:

2021 | OriginalPaper | Buchkapitel

Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence

verfasst von : Yoshihiro Maruyama

Erschienen in: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

There are two types of approaches to Artificial Intelligence, namely Symbolic AI and Statistical AI. The symbolic and statistical paradigms of cognition may be considered to be in conflict with each other; the recent debate between Chomsky and Norvig exemplifies a fundamental tension between the two paradigms (esp. on language), which is arguably in parallel with a conflict on interpretations of quantum theory as seen between Bohr and Einstein, one side arguing for the probabilist or empiricist view and the other for the universalist or rationalist view. In the present paper we explicate and articulate the fundamental discrepancy between them, and explore how a unifying theory could be developed to integrate them, and what sort of cognitive rôles Integrated AI could play in comparison with present-day AI. We give, inter alia, a classification of Integrated AI, and argue that Integrated AI serves the purpose of humanising AI in terms of making AI more verifiable, more explainable, more causally accountable, more ethical, and thus closer to general intelligence. We especially emphasise the ethical advantage of Integrated AI. We also briefly touch upon the Turing Test for Ethical AI, and the pluralistic nature of Turing-type Tests for Integrated AI. Overall, we believe that the integrated approach to cognition gives the key to the next generation paradigm for AI and Cognitive Science in general, and that Categorical Integrated AI or Categorical Integrative AI Robotics would be arguably the most promising approach to it.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

Vorheriges Kapitel Understanding Responses of Individuals with ASD in Syllogistic and Decision-Making Tasks: A Formal Study

Nächstes Kapitel An Interdisciplinary Model for Graphical Representation

Statistical AI in this paper is meant to include Connectionist AI. Note that the MIT AI Lab is an origin of Embodied AI, too (see Rodney Brooks’ seminal paper [10]).

Aerts, D., et al.: Quantum entanglement in physical and cognitive systems: a conceptual analysis and a general representation. Eur. Phys. J. Plus 134 (2019). Article number: 493. https://doi.org/10.1140/epjp/i2019-12987-0

Akametalu, A.K., Kaynama, S., Fisac, J.F., Zeilinger, M.N., Gillula, J.H., Tomlin, C.J.: Reachability-based safe learning with Gaussian processes. In: Proceedings of CDC, pp. 1424–1431 (2014)

Asai, M.: Classical planning in deep latent space: bridging the subsymbolic-symbolic boundary. In: Proceedings of AAAI, pp. 6094–6101 (2018)

Bansal, K., Loos, S.M., Rabe, M.N., Szegedy, C., Wilcox, S.: HOList: an environment for machine learning of higher order logic theorem proving. In: Proceedings of ICML, pp. 454–463 (2019)

Baroni, M., et al.: Frege in space: a program of compositional distributional semantics. Linguist. Issues Lang. Technol. 9, 5–110 (2014)

Bell, J.S.: Speakable and Unspeakable in Quantum Mechanics: Collected Papers on Quantum Philosophy. Cambridge University Press, Cambridge (2004)CrossRef

Besold, T.R., et al.: Neural-symbolic learning and reasoning: a survey and interpretation (2017). arXiv:1711.03902

Bohm, D., Hiley, B.: The Undivided Universe: An Ontological Interpretation of Quantum Theory. Routledge Chapman & Hall, Abingdon (1993)

Born, M.: The Born Einstein Letters. Walker and Company, New York (1971)

10.

Brooks, R.: Intelligence without representation. Artif. Intell. 47, 139–159 (1991)CrossRef

11.

Caliskan, A., et al.: Semantics derived automatically from language corpora contain human-like biases. Science 356, 183–186 (2017)CrossRef

12.

CDRS: Research and Development on the Fourth Generation of AI, Strategic Proposal, CRDS-FY2019-SP-08 (2019)

13.

Chomsky, N.: Keynote panel: the golden age - a look at the original roots of artificial intelligence. In: Cognitive Science, and Neuroscience. Minds, and Machines, MIT Symposium on Brains (2011)

14.

Coecke, B., et al.: Mathematical foundations for a compositional distributional model of meaning. Linguist. Anal. 36, 345–384 (2010)

15.

Davidson, D.: Truth and meaning. Synthese 17, 304–323 (1967)CrossRef

16.

Domingos, P., Kok, S., Lowd, D., Poon, H., Richardson, M., Singla, P.: Markov logic. In: De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S. (eds.) Probabilistic Inductive Logic Programming. LNCS (LNAI), vol. 4911, pp. 92–117. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-78652-8_4CrossRefMATH

17.

Domingos, P., Lowd, D.: Unifying logical and statistical AI with Markov logic. Commun. ACM 62, 74–83 (2019)CrossRef

18.

Dummett, M.: The Interpretation of Frege’s Philosophy. Duckworth, London (1981)

19.

Frege, G.: Compound thoughts. Mind 72, 1–17 (1963). Originally 1923CrossRef

20.

Galison, P.: Image & Logic: A Material Culture of Microphysics. The University of Chicago Press, Chicago (1997)

21.

Garcez, A., Gori, M., Lamb, L., Serafini, L., Spranger, M., Tran, S.: Neural-symbolic computing: an effective methodology for principled integration of machine learning and reasoning. arXiv:1905.06088

22.

Gold, K.: Norvig vs. Chomsky and the Fight for the Future of AI. Tor.com, 21 June 2011

23.

Grefenstette, E., et al.: Experimental support for a categorical compositional distributional model of meaning. In: Proceedings of EMNLP 2011, pp. 1394–1404 (2011)

24.

Janssen, T.: Frege, contextuality and compositionality. J. Log. Lang. Inform. 10, 87–114 (2001). https://doi.org/10.1023/A:1026542332224MathSciNetCrossRefMATH

25.

Katz, Y.: Noam Chomsky on Where Artificial Intelligence Went Wrong. The Atlantic, 1 November 2012

26.

Lederman, G., Rabe, M.N., Lee, E.A., Seshia, S.A.: Learning heuristics for automated reasoning through deep reinforcement learning. arXiv:1807.08058

27.

Maruyama, Y.: Fundamental results for pointfree convex geometry. Ann. Pure Appl. Log. 161, 1486–1501 (2010)MathSciNetCrossRef

28.

Maruyama, Y.: Natural duality, modality, and coalgebra. J. Pure Appl. Algebra 216, 565–580 (2012)MathSciNetCrossRef

29.

Maruyama, Y.: From operational chu duality to coalgebraic quantum symmetry. In: Heckel, R., Milius, S. (eds.) CALCO 2013. LNCS, vol. 8089, pp. 220–235. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40206-7_17CrossRef

30.

Maruyama, Y.: Full lambek hyperdoctrine: categorical semantics for first-order substructural logics. In: Libkin, L., Kohlenbach, U., de Queiroz, R. (eds.) WoLLIC 2013. LNCS, vol. 8071, pp. 211–225. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-39992-3_19CrossRef

31.

Maruyama, Y.: Categorical duality theory: with applications to domains, convexity, and the distribution monad. In: International Proceedings in Informatics, vol. 23, pp. 500–520. Leibniz (2013)

32.

Maruyama, Y.: AI, quantum information, and external semantic realism: searle’s observer-relativity and Chinese room, revisited. In: Müller, V.C. (ed.) Fundamental Issues of Artificial Intelligence. SL, vol. 376, pp. 115–126. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-26485-1_8CrossRef

33.

Maruyama, Y.: Prior’s tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism. Synthese 193, 3483–3495 (2016). https://doi.org/10.1007/s11229-015-0932-9MathSciNetCrossRefMATH

34.

Maruyama, Y.: Categorical harmony and paradoxes in proof-theoretic semantics. In: Piecha, T., Schroeder-Heister, P. (eds.) Advances in Proof-Theoretic Semantics. TL, vol. 43, pp. 95–114. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-22686-6_6CrossRef

35.

Maruyama, Y.: Meaning and duality: from categorical logic to quantum physics. D.Phil. thesis, University of Oxford (2017)

36.

Maruyama, Y.: The dynamics of duality: a fresh look at the philosophy of duality. In: RIMS Kokyuroku (Proceedings of RIMS, Kyoto Univesity), vol. 2050, pp. 77–99 (2017)

37.

Maruyama, Y.: The frame problem, Gödelian incompleteness, and the Lucas-Penrose argument: a structural analysis of arguments about limits of AI, and its physical and metaphysical consequences. In: Müller, V.C. (ed.) PT-AI 2017. SAPERE, vol. 44, pp. 194–206. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-96448-5_19CrossRef

38.

Maruyama, Y.: Compositionality and contextuality: the symbolic and statistical theories of meaning. In: Bella, G., Bouquet, P. (eds.) CONTEXT 2019. LNCS (LNAI), vol. 11939, pp. 161–174. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-34974-5_14CrossRef

39.

Maruyama, Y.: Contextuality across the sciences: bell-type theorems in physics and cognitive science. In: Bella, G., Bouquet, P. (eds.) CONTEXT 2019. LNCS (LNAI), vol. 11939, pp. 147–160. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-34974-5_13CrossRef

40.

Maruyama, Y.: Foundations of mathematics: from Hilbert and Wittgenstein to the categorical unity of science. In: Wuppuluri, S., da Costa, N. (eds.) WITTGENSTEINIAN (adj.). TFC, pp. 245–274. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-27569-3_15CrossRef

41.

Maruyama, Y.: Rationality, cognitive bias, and artificial intelligence: a structural perspective on quantum cognitive science. In: Harris, D., Li, W.-C. (eds.) HCII 2020. LNCS (LNAI), vol. 12187, pp. 172–188. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-49183-3_14CrossRef

42.

Maruyama, Y.: The conditions of artificial general intelligence: logic, autonomy, resilience, integrity, morality, emotion, embodiment, and embeddedness. In: Goertzel, B., Panov, A.I., Potapov, A., Yampolskiy, R. (eds.) AGI 2020. LNCS (LNAI), vol. 12177, pp. 242–251. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-52152-3_25CrossRef

43.

Maruyama, Y.: Topological duality via maximal spectrum functor. Commun. Algebra 48, 2616–2623 (2020)MathSciNetCrossRef

44.

Maruyama, Y.: Higher-order categorical substructural logic: expanding the horizon of tripos theory. In: Fahrenberg, U., Jipsen, P., Winter, M. (eds.) RAMiCS 2020. LNCS, vol. 12062, pp. 187–203. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-43520-2_12CrossRef

45.

Maruyama, Y.: Universal stone duality via the concept of topological dualizability and its applications to many-valued logic. In: Proceedings of FUZZ-IEEE. IEEE Computer Society (2020)

46.

Maxwell, J.C.: The Scientific Letters and Papers of James Clerk Maxwell: 1846–1862. Cambridge University Press, Cambridge (1990)MATH

47.

McLear, C., Kant: philosophy of mind. In: Internet Encyclopedia of Philosophy. Accessed 2 Feb 2020

48.

Minsky, M.L.: Logical versus analogical or symbolic versus connectionist or neat versus scruffy. AI Mag. 12, 34–51 (1991)

49.

Montague, R.: Universal grammar. Theoria 36, 373–398 (1970)MathSciNetCrossRef

50.

Norvig, P.: On Chomsky and the two cultures of statistical learning. Berechenbarkeit der Welt?, pp. 61–83. Springer, Wiesbaden (2017). https://doi.org/10.1007/978-3-658-12153-2_3CrossRef

51.

Paliwal, A., Loos, S.M., Rabe, M.N., Bansal, K., Szegedy, C.: Graph representations for higher-order logic and theorem proving. In: Proceedings of AAAI, pp. 2967–2974 (2020)

52.

Pelletier, F.J.: Did Frege believe Frege’s principle? J. Logic Lang. Inform. 10, 87–114 (2001). https://doi.org/10.1023/A:1026594023292MathSciNetCrossRefMATH

53.

Thompson, N.C., et al.: The computational limits of deep learning (2020). arXiv:2007.05558

54.

Turney, P., Pantel, P.: From frequency to meaning: vector space models of semantics. J. Artif. Intell. Res. 37, 141–188 (2010)MathSciNetCrossRef

55.

Zhou, W., Li, W.: Safety-aware apprenticeship learning. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018. LNCS, vol. 10981, pp. 662–680. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-96145-3_38CrossRef

Titel: Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence
verfasst von: Yoshihiro Maruyama
Verlag: Springer International Publishing
Buch: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
Print ISBN: 978-3-030-67219-5

Electronic ISBN: 978-3-030-67220-1

Copyright-Jahr: 2021
DOI: https://doi.org/10.1007/978-3-030-67220-1_11

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner