Abstract
This paper delves into AI development’s historical and philosophical dimensions while highlighting the symbiotic relationship between philosophy and AI from a technological perspective: philosophy furnishes foundational concepts, and AI supplies practical tools. The paper posits neurosymbolic AI as a solution to present challenges, sparking discussions encompassing both technical and philosophical considerations. Advocating a multidisciplinary approach calls for merging empirical AI insights with philosophy and cognition science to enrich our comprehension of intelligence and propel AI forward.
References
Altman, Sam. “Planning for AGI and Beyond.” Open AI (blog), February 24, 2023. https://openai.com/blog/planning-for-agi-and-beyond.
Baars, Bernard J., and Stan Franklin. “An Architectural Model of Conscious and Unconscious Brain Functions: Global Workspace Theory and IDA.” Neural Networks, Brain and Consciousness 20, no. 9 (2007): 955–61. https://doi.org/10.1016/j.neunet.2007.09.013">https://doi.org/10.1016/j.neunet.2007.09.013.
Bayle, A. J. “Frames: A Heuristic Critical Review.” In Eighth Annual International Phoenix Conference on Computers and Communications. 1989 Conference Proceedings, 624–28. Scottsdale, AZ: IEEE Computer Society Press, 1989. https://doi.org/10.1109/PCCC.1989.37457">https://doi.org/10.1109/PCCC.1989.37457.
Berners-Lee, Tim, James Hendler, and Ora Lassila. “The Semantic Web.” Scientific American 284, no. 5 (2001): 34–43. https://doi.org/10.1038/scientificamerican0501-34">https://doi.org/10.1038/scientificamerican0501-34.
Blazek, Paul J., and Milo M. Lin. “Explainable Neural Networks That Simulate Reasoning.” Nature Computational Science 1, no. 9 (2021): 607–18. https://doi.org/10.1038/s43588-021-00132-w">https://doi.org/10.1038/s43588-021-00132-w.
Bommasani, Rishi, and Liang Percy. “Reflections on Foundation Models.” Stanford HAI (website), October 18, 2021. https://hai.stanford.edu/news/reflections-foundation-models.
Buchanan, Bruce G. “Oral History Interview with Bruce G. Buchanan.” Interview by Arthur L. Norber, June 11–12, 1991, transcript. Pittsburgh, PA: Charles Babbage Institute. http://conservancy.umn.edu/handle/11299/107165.
Buchanan, Bruce G. “A (Very) Brief History of Artificial Intelligence.” AI Magazine 26, no. (2005): 53. https://doi.org/10.1609/aimag.v26i4.1848">https://doi.org/10.1609/aimag.v26i4.1848.
Buchanan, Bruce G., and Edward A. Feigenbaum. “Dendral and Meta-Dendral: Their Applications Dimension.” Artificial Intelligence 11, no. 1–2 (1978): 5–24. https://doi.org/10.1016/0004-3702(78)90010-3">https://doi.org/10.1016/0004-3702(78)90010-3.
Davis, Martin. “A Computer Program for Presburger’s Algorithm.” Symbolic Computation Automation of Reasoning 1 (1957): 41–48.
Davis, Martin, George Logemann, and Donald W. Loveland. “A Machine Program for Theorem-Proving.” Communications of the ACM 5, no. 7 (1962): 394–97. https://doi.org/10.1145/368273.368557">https://doi.org/10.1145/368273.368557.
Davis, Martin, and Hilary Putnam. “A Computing Procedure for Quantification Theory.” Journal of the ACM 7, no. (1960): 201–15. https://doi.org/10.1145/321033.321034">https://doi.org/10.1145/321033.321034.
Dreyfus, Hubert L. What Computers Can’t Do: The Limits of Artificial Intelligence. New York: Harper & Row, 1979. http://archive.org/details/whatcomputerscan00hube.
Dreyfus, Hubert L. Alchemy and Artificial Intelligence. Santa Monica, CA: RAND Corporation, 1965.
Dreyfus, Hubert L., and Stuart E. Dreyfus. “Making a Mind Versus Modelling the Brain: Artificial Intelligence Back at the Branchpoint.” In Understanding the Artificial: On the Future Shape of Artificial Intelligence, edited by Massimo Negrotti, 33–54. London: Springer, 1991. https://doi.org/10.1007/978-1-4471-1776-6_3">https://doi.org/10.1007/978-1-4471-1776-6_3.
Elkan, Charles, and Russell Greiner. “Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project: D. B. Lenat and R. V. Guha.” Artificial Intelligence 61, no. 1 (1993): 41–52. https://doi.org/10.1016/0004-3702(93)90092-P">https://doi.org/10.1016/0004-3702(93)90092-P.
Hay, John Cameron. Mark I Perceptron Operators’ Manual (Project PARA). Buffalo: Cornell Aeronautical Laboratory, 1960.
Hinton, Geoffrey E., and Ruslan R. Salakhutdinov. “Reducing the Dimensionality of Data with Neural Networks.” Science 313, no. 5786 (2006): 504–7. https://doi.org/10.1126/science.1127647">https://doi.org/10.1126/science.1127647.
Hitzler, Pascal, and Md Kamruzzaman Sarker. Neuro-Symbolic Artificial Intelligence: The State of the Art. Frontiers in Artificial Intelligence and Applications. Amsterdam: IOS Press, 2022.
Hitzler, Pascal. “Some Advances Regarding Ontologies and Neuro-Symbolic Artificial Intelligence.” In ECMLPKDD Workshop on Meta-Knowledge Transfer, edited by Pavel Brazdil, Jan N. van Rijn, Henry Gouk, and Felix Moh, 8–10. Proceedings of Machine Learning Research, 2022. https://proceedings.mlr.press/v191/hitzler22a.html.
Hitzler, Pascal, Aaron Eberhart, Monireh Ebrahimi, Md Kamruzzaman Sarker, and Lu Zhou. “Neuro-Symbolic Approaches in Artificial Intelligence.” National Science Review 9, no. 6 (2022): nwac035. https://doi.org/10.1093/nsr/nwac035">https://doi.org/10.1093/nsr/nwac035.
Hopfield, John J. “Neural Networks and Physical Systems with Emergent Collective Computational Abilities.” Proceedings of the National Academy of Sciences 79, no. 8 (1982): 2554–58. https://doi.org/10.1073/pnas.79.8.2554">https://doi.org/10.1073/pnas.79.8.2554.
Hopfield, John J. “Neurons with Graded Response Have Collective Computational Properties like Those of Two-State Neurons.” Proceedings of the National Academy of Sciences 81, no. 10 (1984): 3088–92. https://doi.org/10.1073/pnas.81.10.3088">https://doi.org/10.1073/pnas.81.10.3088.
Hopfield, John J., and David W. Tank. “‘Neural’ Computation of Decisions in Optimization Problems.” Biological Cybernetics 52, no. 3 (1985): 141–52. https://doi.org/10.1007/BF00339943">https://doi.org/10.1007/BF00339943.
Huang, Guang-Bin. “What Are Extreme Learning Machines? Filling the Gap Between Frank Rosenblatt’s Dream and John von Neumann’s Puzzle.” Cognitive Computation 7, no. 3 (2015): 263–78. https://doi.org/10.1007/s12559-015-9333-0">https://doi.org/10.1007/s12559-015-9333-0.
IEEE Xplore. “Paul J. Werbos – Author Profile.” Accessed May 7, 2023. https://ieeexplore.ieee.org/author/37344537300.
Jaeger, Herbert. “Deep Neural Reasoning.” Nature 538, no. 7626 (2016): 467–68. https://doi.org/10.1038/nature19477">https://doi.org/10.1038/nature19477.
Kemmerer, David. “Are We Ever Aware of Concepts? A Critical Question for the Global Neuronal Workspace, Integrated Information, and Attended Intermediate-Level Representation Theories of Consciousness.” Neuroscience of Consciousness 2015, no. 1 (2015): niv006. https://doi.org/10.1093/nc/niv006">https://doi.org/10.1093/nc/niv006.
Kleene, Stephen C. “Representation of Events in Nerve Nets and Finite Automata.” In Automata Studies (AM-34), edited by Claude E. Shannon and John McCarthy, 3–42. Princeton: Princeton University Press, 1956. https://doi.org/10.1515/9781400882618-002">https://doi.org/10.1515/9781400882618-002.
Latapie, Hugo, Ozkan Kilic, Kristinn R. Thórisson, Pei Wang, and Patrick Hammer. “Neurosymbolic Systems of Perception and Cognition: The Role of Attention.” Frontiers in Psychology 13 (2022). https://doi.org/10.3389/fpsyg.2022.806397">https://doi.org/10.3389/fpsyg.2022.806397.
Lebiere, Christian, and John R. Anderson. “A Connectionist Implementation of the ACT-R Production System.” In Proceedings of the Fifteenth Annual Conference of the Cognitive Science Society, 635–40. Boulder: University of Colorado, 1993. https://doi.org/10.1184/R1/6613085.v1">https://doi.org/10.1184/R1/6613085.v1.
Lederberg, Joshua. “How DENDRAL Was Conceived and Born.” In A History of Medical Informatics, edited by Bruce I. Blum, 14–44. New York, NY: Association for Computing Machinery, 1990. https://doi.org/10.1145/89482.8948">https://doi.org/10.1145/89482.89484.
Lederberg, Joshua, Georgia L. Sutherland, Bruce G. Buchanan, Edward A. Feigenbaum, Alexander V. Robertson, Alan M. Duffield, and Carl Djerassi. “Applications of Artificial Intelligence for Chemical Inference. I. Number of Possible Organic Compounds. Acyclic Structures Containing Carbon, Hydrogen, Oxygen, and Nitrogen.” Journal of the American Chemical Society 91, no. 11 (1969): 2973–76. https://doi.org/10.1021/ja01039a025">https://doi.org/10.1021/ja01039a025.
Lenharo, Mariana. “Decades-Long Bet on Consciousness Ends – and It’s Philosopher 1, Neuroscientist 0.” Nature 619, no. 7968 (2023): 14–15. https://doi.org/10.1038/d41586-023-02120-8">https://doi.org/10.1038/d41586-023-02120-8.
Li, Zenan, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, and Jian Lü. “Softened Symbol Grounding for Neuro-Symbolic Systems.” In Proceedings of the Eleventh International Conference on Learning Representations (ICLR 2023). Kigali, Rwanda, 2023. https://openreview.net/forum?id=HTJE5Krui0g.
Loveland, Donald W. “Automated Theorem Proving: Mapping Logic into AI.” In Proceedings of the ACM SIGART International Symposium on Methodologies for Intelligent Systems, edited by Zbigniew W. Ras and Maria Zemankova, 214–29. Knoxville, TN: ACM, 1986. https://doi.org/10.1145/12808.12833">https://doi.org/10.1145/12808.12833.
Macpherson, Tom, Anne Churchland, Terry Sejnowski, James DiCarlo, Yukiyasu Kamitani, Hidehiko Takahashi, and Takatoshi Hikida. “Natural and Artificial Intelligence: A Brief Introduction to the Interplay between AI and Neuroscience Research.” Neural Networks 144 (2021): 603–13. https://doi.org/10.1016/j.neunet.2021.09.018">https://doi.org/10.1016/j.neunet.2021.09.018.
Rumelhart, David E., James L. McClelland, and PDP Research Group. Parallel Distributed Processing. Volume 2. Cambridge, MA: MIT Press, 1986.
McCulloch, Warren S., and Walter Pitts. “A Logical Calculus of the Ideas Immanent in Nervous Activity.” The Bulletin of Mathematical Biophysics 5, no. 4 (1943): 115–33. https://doi.org/10.1007/BF02478259">https://doi.org/10.1007/BF02478259.
Melle, William van. “A Domain-Independent Production-Rule System for Consultation Programs.” In Proceedings of the 6th International Joint Conference on Artificial Intelligence – Volume 2, 923–25. San Francisco, CA: Morgan Kaufmann Publishers Inc., 1979.
Minsky, Marvin L. “Logical Versus Analogical or Symbolic Versus Connectionist or Neat Versus Scruffy.” AI Magazine 12, no. 2 (1991): 34. https://doi.org/10.1609/aimag.v12i2.894">https://doi.org/10.1609/aimag.v12i2.894.
Minsky, Marvin L., and Seymour A. Papert. Perceptrons: An Introduction to Computational Geometry. Cambridge, MA: MIT Press, 1969.
Newell, Allen, and Herbert A. Simon. “The Logic Theory Machine. A Complex Information Processing System.” Journal of Symbolic Logic 22, no. 3 (1957): 331–32. https://doi.org/10.2307/2963663">https://doi.org/10.2307/2963663.
Newell, Allen, and Herbert A. Simon. “Computer Science as Empirical Inquiry: Symbols and Search.” Communications of the ACM 19, no. 3 (1976): 113–26. https://doi.org/10.1145/360018.360022">https://doi.org/10.1145/360018.360022.
Odagiri, Hiroyuki, Yoshiaki Nakamura, and Minoru Shibuya. “Research Consortia as a Vehicle for Basic Research: The Case of a Fifth Generation Computer Project in Japan.” Research Policy 26, no. 2 (1997): 191–207. https://doi.org/10.1016/S0048-7333(97)00008-5">https://doi.org/10.1016/S0048-7333(97)00008-5.
Pastre, Dominique. “Automated Theorem Proving in Mathematics.” Annals of Mathematics and Artificial Intelligence 8, no. 3–4 (1993): 425–47. https://doi.org/10.1007/BF01530801">https://doi.org/10.1007/BF01530801.
Pellissier Tanon, Thomas, Denny Vrandečić, Sebastian Schaffert, Thomas Steiner, and Lydia Pintscher. “From Freebase to Wikidata: The Great Migration.” In Proceedings of the 25th International Conference on World Wide Web, 1419–28. Republic and Canton of Geneva: International World Wide Web Conferences Steering Committee, 2016. https://doi.org/10.1145/2872427.2874809">https://doi.org/10.1145/2872427.2874809.
Prawitz, Dag, Haå kan Prawitz, and Neri Voghera. “A Mechanical Proof Procedure and Its Realization in an Electronic Computer.” Journal of the ACM 7, no. 2 (1960): 102–28.
Press, Gil. “History Of AI In 33 Breakthroughs: The First Expert System.” Forbes (website), October 29, 2022. https://www.forbes.com/sites/gilpress/2022/10/29/history-of-ai-in-33-breakthroughs-the-first-expert-system/.
Rosenblatt, Frank. “The Perceptron: A Probabilistic Model for Information Storage and Organization in the Brain.” Psychological Review 65, no. 6 (1958): 386–408. https://doi.org/10.1037/h0042519">https://doi.org/10.1037/h0042519.
Rosenblatt, Frank. Principles of Neurodynamics: Perceptrons and the Theory of Brain Mechanisms. Washington, D.C.: Spartan Books, 1962.
Rosenbloom, Paul S., Allen Newell, and John E. Laird. Soar Papers: Research on Integrated Intelligence. Cambridge, MA: MIT Press, 1993.
Rumelhart, David E., Geoffrey E. Hinton, and Ronald J. Williams. “Learning Representations by Back-Propagating Errors.” Nature 323, no. 6088 (1986): 533–36. https://doi.org/10.1038/323533a0">https://doi.org/10.1038/323533a0.
Runte, Wolfgang. “Enhancing Business Process Management with a Constraint-Based Approach.” In New Trends in Software Methodologies, Tools and Techniques, edited by Hamido Fujita and Roberto Revetria, 215–37. Amsterdam: IOS Press, 2012.
Scarselli, Franco, Marco Gori, Ah Chung Tsoi, Markus Hagenbuchner, and Gabriele Monfardini. “The Graph Neural Network Model.” IEEE Transactions on Neural Networks 20, no. 1 (2009): 61–80. https://doi.org/10.1109/TNN.2008.2005605">https://doi.org/10.1109/TNN.2008.2005605.
Schank, Roger C., and Robert P. Abelson. “Scripts, Plans, and Knowledge.” In Proceedings of the 4th International Joint Conference on Artificial Intelligence – Volume 1, 151–57. San Francisco, CA: Morgan Kaufmann Publishers Inc., 1975. https://doi.org/10.5555/1624626.1624649">https://doi.org/10.5555/1624626.1624649.
Schmidhuber, Jürgen, and Sepp Hochreiter. “Long Short-Term Memory.” Neural Computation 9, no. 8 (1997): 1735–80. https://doi.org/10.1162/neco.1997.9.8.1735">https://doi.org/10.1162/neco.1997.9.8.1735.
Schuld, Maria, Ilya Sinayskiy, and Francesco Petruccione. “The Quest for a Quantum Neural Network.” Quantum Information Processing 13, no. 11 (2014): 2567–86. https://doi.org/10.1007/s11128-014-0809-8.
Sheth, Amit, Kaushik Roy, and Manas Gaur. “Neurosymbolic Artificial Intelligence (Why, What, and How).” IEEE Intelligent Systems 38, no. 3 (2023): 56–62. https://doi.org/10.1109/MIS.2023.3268724">https://doi.org/10.1109/MIS.2023.3268724.
Shortlife, Edward H. “The Computer as Clinical Consultant.” Archives of Internal Medicine 140, no. 3 (1980): 313–14. https://doi.org/10.1001/archinte.1980.00330150027008">https://doi.org/10.1001/archinte.1980.00330150027008.
Simard, Patrice, Léon Bottou, Patrick Haffner, and Yann LeCun. “Boxlets: A Fast Convolution Algorithm for Signal Processing and Neural Networks.” In Advances in Neural Information Processing Systems, volume 11, edited by M. Kearns, S. Solla, and D. Cohn. Cambridge, MA: MIT Press, 1998.
Sowa, John F. “Conceptual Graphs for a Data Base Interface.” IBM Journal of Research and Development 20, no. 4 (1976): 336–57. https://doi.org/10.1147/rd.204.0336">https://doi.org/10.1147/rd.204.0336.
Stanovich, Keith E., R. F. West, and R. Hertwig. “Individual Differences in Reasoning: Implications for the Rationality Debate? – Open Peer Commentary – the Questionable Utility of Cognitive Ability in Explaining Cognitive Illusions.” Behavioral and Brain Sciences 23, no. 5 (2000): 645–65.
Turing, Alan M. “Computing Machinery and Intelligence.” Mind LIX, no. 236 (1950): 433–60. https://doi.org/10.1093/mind/LIX.236.433">https://doi.org/10.1093/mind/LIX.236.433.
Turing, Alan M. “On Computable Numbers, with an Application to the Entscheidungsproblem.” Proceedings of the London Mathematical Society 2, no. 42 (1936/37): 230–65.
Waldrop, M. Mitchell. “Soar: A Unified Theory of Cognition?” Science 241, no. 4863 (1988): 296–98. https://doi.org/10.1126/science.3291119">https://doi.org/10.1126/science.3291119.
Wang, Hao. “Toward Mechanical Mathematics.” IBM Journal of Research and Development 4, no. 1 (1960): 2–22. https://doi.org/10.1147/rd.41.0002">https://doi.org/10.1147/rd.41.0002.
Welty, Christopher. “Ontology Research.” AI Magazine 24, no. 3 (2003): 11. https://doi.org/10.1609/aimag.v24i3.1714">https://doi.org/10.1609/aimag.v24i3.1714.
Werbos, Paul. “Beyond Regression: “New Tools for Prediction and Analysis in the Behavioral Sciences.” PhD diss., Harvard University, 1974.
Wille, Rudolf. “Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts.” In Ordered Sets, edited by Ivan Rival, 445–70. Dordrecht: Springer, 1982. https://doi.org/10.1007/978-94-009-7798-3_15">https://doi.org/10.1007/978-94-009-7798-3_15.
Youheng, Zhang. “A Historical Interaction between Artificial Intelligence and Philosophy.” Preprint, submitted July 23, 2022. https://arxiv.org/abs/2208.04148.
Youheng, Zhang. “A Historical Review and Philosophical Examination of the Two Paradigms in Artificial Intelligence Research.” European Journal of Artificial Intelligence and Machine Learning 2, no. 2 (2023): 24–32. https://doi.org/10.24018/ejai.2023.2.2.23">https://doi.org/10.24018/ejai.2023.2.2.23.
Since 2019, TEORIE VĚDY / THEORY OF SCIENCE journal provides open access to its content under the Creative Commons Attribution 4.0 International License (CC BY 4.0).
Authors who publish in this journal agree that:
- Authors retain copyright and publication rights without restrictions and guarantee the journal the right of first publishing. All published articles are licensed under the Creative Commons Attribution license, which allows others to share this work under condition that its author and first publishing in this journal was acknowledged.
- Authors may enter into other agreements for non-exclusive dissemination of work in the version in which it was published in the journal (for example, publishing it in a book), but they have to acknowledge its first publication in this journal.
- Authors are allowed and encouraged to make their work available online (for example, on their personal websites, social media accounts, and institutional repositories) as such a practice may lead to productive exchanges of views as well as earlier and higher citations of published work.
There are no author fees, no article processing charges, or submission charges.
The journal allows readers to read, download, copy, distribute, print, search, or link to the full texts of its articles and allows readers to use them for any other lawful purpose.
A summary of the open access policy is also available in the Sherpa Romeo database.