Abstract
When IBM’s Deep Blue beat Kasparov in 1997, Bringsjord (Technol Rev 101(2):23–28, 1998) complained that despite the impressive engineering that made this victory possible, chess is simply too easy a challenge for AI, given the full range of what the rational side of the human mind can muster. However, arguably everything changed in 2011. For in that year, playing not a simple board game, but rather an open-ended game based in natural language, IBM’s Watson trounced the best human Jeopardy! players on the planet. And what does Watson’s prowess tell us about the philosophy, theory, and future of AI? We present and defend snyoptic answers to these questions, ones based upon Leibniz’s seminal writings on a universal logic, on a Leibnizian “three-ray” space of computational formal logics that, inspired by those writings, we have invented, and on a “scorecard” approach to assessing real AI systems based in turn on that three-ray space.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
The authors are profoundly grateful to IBM for a grant through which the landmark Watson system was provided to RPI, and for an additional gift enabling us to theorize about this system in the broader context of logic, mathematics, AI, and the history of this intertwined trio. Bringsjord is also deeply grateful for the opportunity to speak at PT-AI 2013 in Oxford; for the leadership, vision, and initiative of Vincent Müller; and for the spirited objections and comments received at PT-AI 2013, which served to hone his thinking about the nature and future of (Weak) AI. Thanks are do as well to certain researchers working in the cognitive-computing space for helpful interaction: viz., Dave Ferrucci, Chris Welty, Jim Hendler, Deb McGuiness, and John Licato.
- 2.
Note that we say: “rational side.” This is because in the present essay we focus exclusively upon what Leibniz aimed to systematize via his “art of infallibility.” Accordingly, in short, we target systematic human thought. (In modern terms, this sphere could be defined ostensively, by enumerating what is sometimes referred to as the formal sciences: logic and mathematics, formal philosophy, decision theory, game theory, much of modern analysis-based economics (to which Leibniz himself paved the way), much of high-end engineering, and mathematical physics). We aren’t concerned herein with such endeavors as poetry, music, drama, etc. Our focus shouldn’t be interpreted so as to rule out, or even minimize the value of, the modeling of, using formal logic, human cognition in these realms (indeed, e.g. see Bringsjord and Ferrucci 2000; Bringsjord and Arkoudas 2006); it’s simply that in the present essay we adopt Leibniz’s focus.
- 3.
Such as those nicely presented in Russell and Norvig (2009).
- 4.
From “Letter to Galois,” in the year 1677, included in Leibniz and Gerhardt (1890).
- 5.
In Leibniz’s words:
One is obliged to admit that perception and what depends upon it is inexplicable on mechanical principles, that is, by figures and motions. In imagining that there is a machine whose construction would enable it to think, to sense, and to have perception, one could conceive it enlarged while retaining the same proportions, so that one could enter into it, just like into a windmill. Supposing this, one should, when visiting within it, find only parts pushing one another, and never anything by which to explain a perception. Thus it is in the simple substance, and not in the composite or in the machine, that one must look for perception. (§17 of Monadology in Leibniz 1991)
- 6.
Leibniz came strikingly close to grasping universal or programmable computation. But nothing we say here requires that he directly anticipated Post and Turing. This is true for the simple reason that Leibniz fully understood de novo computation in the modern sense, and also was the first to see that a binary alphabet could be used to encode a good deal of knowledge; and the properties he saw as incompatible with consciousness are those inherent in de novo computation over a binary alphabet {0, 1}, and in modern Turing-level computation.
- 7.
Bringsjord (1992) is a book-length defense of Weak AI, and a refutation of Strong AI.
- 8.
With apologies in advance for the pontification, Bringsjord maintains that there is really only one right route for diving into Leibniz on formal logic: Start with the seminal (Lewis 1960), which provides a portal to the turning point in the history of logic that bears a fascinating connection to Leibniz (since Lewis took the first thoroughly systematic move to intensional logic, anticipated by Leibniz). From there, move into and through that which Lewis himself mined, viz. (Leibniz and Gerhardt 1890). At this point, move to contemporary overviews of Leibniz on logic, and into direct sources, now much more accessible in translated forms than in Lewis’s day.
- 9.
Lewis (1960) asserts that the universal language, if true to Leibniz, would be ideographic pure and simple. We disagree. Ideograms can be pictograms, and that possibility is, as we note here, welcome—but Leibniz also explicitly wanted to allow UL to allow for traditional symbolic constructions, built out of non-ideographic symbols. We know this because of Leibniz’s seminal work in connection with giving us (the differential and integral) calculus, which is after all routinely taught today using Leibniz’s symbolic notation (e.g., \(\frac{dx} {dy}\), where y = f(x)).
- 10.
Axiomatic treatments of arithmetic, e.g., make use of this rule of inference, and then need only add modus ponens for (first-order & finitary) proof-theoretic completeness.
- 11.
The systems of modal logic for which C.I. Lewis is rightly famous are given in the landmark (Lewis and Langford 1932).
- 12.
An interesting way to see the ultimate consequences, for formal logic, of Leibniz’s infinitary reasoning in connection with infinitesimals and calculus, is to consider in some detail, from the perspective of formal logic, the “vindication” of Leibniz’s infinitesimal-based provided by Robinson (1996). Space limitations make the taking of this way herein beyond scope.
- 13.
The distinction is not always perfect. E.g., {} for the empty set is both iconic and symbolic.
- 14.
Infinitary logics are “measured” in terms of length not only of formulae, but e.g. number of quantifiers permitted in formulae. In the present paper, we leave aside the specifics. But we do point out to the motivated reader that Fig. 12.1, on the infinitary “ray,” refers to the infinitary logic \(\mathcal{L}_{\omega _{1}\omega }\), which, in keeping with the standard notation, says that disjunctions/conjunctions can be of a countably infinite length, whereas the number of quantifiers allowed in given formulae must be finite.
- 15.
- 16.
The primogenitor of the case for this series of events is Good (1965). A modern defense of the this original case is provided by Chalmers (2010). A formal refutation of the original and modernized argument is supplied by Bringsjord (2012). An explanation of why belief in the Singularity is fideistic is provided by Bringsjord et al. (2013).
References
Arkoudas, K. (2000). Denotational Proof Languages. PhD thesis, MIT.
Arkoudas, K., & Bringsjord, S. (2009). Vivid: An AI framework for heterogeneous problem solving. Artificial Intelligence, 173(15), 1367–1405. http://kryten.mm.rpi.edu/vivid_030205.pdf, the url http://kryten.mm.rpi.edu/vivid/vivid.pdf provides a preprint of the penultimate draft only. If for some reason it is not working, please contact either author directly by email.
Baader, F., Calvanese, D., & McGuinness, D. (Eds.). (2007). The description logic handbook: Theory, implementation (2nd ed.). Cambridge: Cambridge University Press.
Baker, S., Ireland, A., & Smaill, A. (1992). On the use of the constructive omega-rule within automated deduction. In Logic Programming and Automated Reasoning (pp. 214–225). Berlin/New York: Springer.
Barwise, J. (1980). Infinitary logics. In E. Agazzi (Ed.), Modern logic: A survey (pp. 93–112). Dordrecht, Reidel.
Boolos, G. S., Burgess, J. P., & Jeffrey, R. C. (2007). Computability and logic (5th ed.). Cambridge: Cambridge University Press.
Bringsjord, S. (1992). What robots can and can’t be. Dordrecht: Kluwer.
Bringsjord, S. (1998). Chess is too easy. Technology Review, 101(2), 23–28. http://www.mm.rpi.edu/SELPAP/CHESSEASY/chessistooeasy.pdf
Bringsjord, S. (2008). Declarative/logic-based cognitive modeling. In R. Sun (Ed.), The handbook of computational psychology (pp. 127–169). Cambridge: Cambridge University Press. http://kryten.mm.rpi.edu/sb_lccm_ab-toc_031607.pdf.
Bringsjord, S. (2011). Psychometric artificial intelligence. Journal of Experimental and Theoretical Artificial Intelligence, 23(3), 271–277.
Bringsjord, S. (2012). Belief in the singularity is logically Brittle. Journal of Consciousness Studies, 19(7), 14–20. http://kryten.mm.rpi.edu/SB_singularity_math_final.pdf
Bringsjord, S., & Arkoudas, K. (2006). On the provability, veracity, and AI-relevance of the church-turing thesis. In A. Olszewski, J. Wolenski, & R. Janusz (Eds.), Church’s thesis after 70 years (pp. 66–118). Frankfurt: Ontos Verlag. http://kryten.mm.rpi.edu/ct_bringsjord_arkoudas_final.pdf, This book is in the series Mathematical Logic, edited by W. Pohlers, T. Scanlon, E. Schimmerling, R. Schindler, and H. Schwichtenberg.
Bringsjord, S., & Ferrucci, D. (2000). Artificial intelligence and literary creativity: Inside the mind of brutus, a storytelling machine. Mahwah: Lawrence Erlbaum.
Bringsjord, S., & Govindarajulu, N. S. (2012). Given the web, what is intelligence, really? Metaphilosophy, 43(4), 361–532. http://kryten.mm.rpi.edu/SB\NSG\Real\Intelligence\040912.pdf, This URL is to a preprint of the paper.
Bringsjord, S., & Govindarajulu, N. S. (2013). Toward a modern geography of minds, machines, and math. In V. C. Müller (Ed.), Philosophy and theory of artificial intelligence (Studies in applied philosophy, epistemology and rational ethics, Vol. 5, pp. 151–165). New York: Springer. doi:10.1007/978-3-642-31674-6_11, http://www.springerlink.com/content/hg712w4l23523xw5
Bringsjord, S., & Licato, J. (2012). Psychometric artificial general intelligence: The Piaget-MacGuyver room. In P. Wang & B. Goertzel (Eds.), Foundations of artificial general intelligence (pp. 25–47). Amsterdam: Atlantis Press. http://kryten.mm.rpi.edu/Bringsjord_Licato_PAGI_071512.pdf, This url is to a preprint only.
Bringsjord, S., & Schimanski, B. (2003). What is artificial intelligence? Psychometric AI as an answer. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI–03) (pp. 887–893). San Francisco: Morgan Kaufmann. http://kryten.mm.rpi.edu/scb.bs.pai.ijcai03.pdf
Bringsjord, S., Bringsjord, A., & Bello, P. (2013). Belief in the singularity is fideistic. In A. Eden, J. Moor, J. S øraker, & E. Steinhart (Eds.), The singularity hypothesis (pp. 395–408). New York: Springer.
Bringsjord, S., Govindarajulu, N., Ellis, S., McCarty, E., & Licato, J. (2014). Nuclear deterrence and the logic of deliberative mindreading. Cognitive Systems Research, 28, 20–43.
Chalmers, D. (2010). The singularity: A philosophical analysis. Journal of Consciousness Studies, 17, 7–65.
Chickering, D. M. (1996). Learning Bayesian networks is NP-complete. In D. Fisher & H.-J. Lenz (Eds.), Learning from data (Lecture Notes in Statistics, Vol. 112, pp. 121–130). Berlin: Springer.
Ferrucci, D. A., & Murdock, J. W. (Eds.). (2012). IBM Journal of Research and Development, 56. http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=6177717
Ferrucci, D., Brown, E., Chu-Carroll, J., Fan, J., Gondek, D., Kalyanpur, A., Lally, A., Murdock, W., Nyberg, E., Prager, J., Schlaefer, N., & Welty, C. (2010). Building Watson: An overview of the DeepQA project. AI Magazine, 31, 59–79. http://www.stanford.edu/class/cs124/AIMagzine-DeepQA.pdf
Goble, L. (Ed.). (2001). The Blackwell guide to philosophical logic. Oxford: Blackwell Publishing.
Gondek, D., Lally, A., Kalyanpur, A., Murdock, J. W., Dubou, P. A., Zhang, L., Pan, Y., Qiu, Z., & Welty, C. (2012). A framework for merging and ranking of answers in DeepQA. IBM Journal of Research and Development, 56(3.4), 14:1–14:12.
Good, I. J. (1965). Speculations concerning the first ultraintelligent machines. In F. Alt & M. Rubinoff (Eds.), Advances in computing (Vol. 6, pp. 31–38). New York: Academic.
Govindarajalulu, N., Bringsjord, S., & Taylor, J. (2014). Proof verification and proof discovery for relativity. Synthese, 1–18. doi:10.1007/s11229-014-0424-3, http://dx.doi.org/10.1007/s11229-014-0424-3
Govindarajulu, N. S., Bringsjord, S., & Licato, J. (2013). On deep computational formalization of natural language. In M. H. A. Abdel-Fattah & K. -U. Kühnberger (Ed.), Proceedings of the Workshop: “Formalizing Mechanisms for Artificial General Intelligence and Cognition” (Formal MAGiC) at Artificial General Intelligence 2013. http://cogsci.uni-osnabrueck.de/~formalmagic/FormalMAGiC-Proceedings.pdf
Halpern, J. (1990). An analysis of first-order logics of probability. Artificial Intelligence, 46(3), 311–350.
Hobbes, T. (1981). Computatio sive logica: logic De corpore, Part 1. Abaris, Norwalk, CT, This volume provides both an English and Latin version of Part 1 (Chaps. 1–6) of Hobbes’s book—as it’s known—De Corpore, which was first published in 1655. The editors are: I. Hungerland (Editor), G. Vick; translator: A. Martinich.
Hutter, M. (2005). Universal artificial intelligence: Sequential decisions based on algorithmic probability. New York: Springer.
Leibniz, G. W. (1991). Discourse on metaphysics • correspondence with Arnauld • monadology. Open court, LaSalle, IL, this is the twelfth printing. First published in 1902 (G. Montgomery, Trans.; translation modified by Albert Chandler).
Leibniz, G., & Gerhardt, C. (1890). Philosophischen Schriften von Leibniz (Vol. 7). Berlin: Weidmann. DE, gerhardt is the editor.
Lewis, C. I. (1960). A survey of symbolic logic: The classic algebra of logic. New York: Dover.
Lewis, C. I., & Langford, C. H. (1932). Symbolic logic. New York: Century Company.
Mueller, E. (2006). Commonsense reasoning. San Francisco: Morgan Kaufmann.
Naumowicz, A., & Kornilowicz, A. (2009). A brief overview of Mizar. DOI Retrieved on July 26, 2013. http://dx.doi.org/10.1007/978-3-642-03359-9_5
Richardson, M., & Domingos, P. (2006). Markov logic networks. Machine Learning, 62(1–2), 107–136.
Robinson, A. (1996). Non-standard analysis. Princeton: Princeton University Press. This is a reprint of the revised 1974 edition of the book. The original publication year of this seminal work was 1966.
Russell, S., & Norvig, P. (2009). Artificial intelligence: A modern approach (3rd ed.). Upper Saddle River: Prentice Hall.
Simpson, S. G. (2009). Subsystems of second order arithmetic (Vol. 1). Cambridge/New York: Cambridge University Press.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Bringsjord, S., Govindarajulu, N.S. (2016). Leibniz’s Art of Infallibility, Watson, and the Philosophy, Theory, and Future of AI. In: Müller, V.C. (eds) Fundamental Issues of Artificial Intelligence. Synthese Library, vol 376. Springer, Cham. https://doi.org/10.1007/978-3-319-26485-1_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-26485-1_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-26483-7
Online ISBN: 978-3-319-26485-1
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)