Abstract
We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement \(\phi \) if and only if that AGI would include \(\phi \) in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Perhaps the best example being in the Theaetetus [18].
- 2.
By a sentence, we mean a formula with no free variables. Thus, \(x^2>0\) is not a sentence, but \(\forall x (x^2>0)\) is.
- 3.
Often phrased more like “cannot know its own code”, with knowledge-of-own-truthfulness taken for granted.
- 4.
We should note that, with the AGI research field being so young, there is little consensus even on basic things. Some researchers would consider some things to be AGI which have no communication ability (applying the term to entities who have certain adaptation abilities or pattern-matching abilities, for example, even if those entities have no means of communicating), however, we believe that to be a minority opinion.
- 5.
We assume the AGI explicitly follows commands (that it is “under explicit control”, to use Yampolskiy’s terminology [24]).
- 6.
This is reminiscent of Williamson’s contextualism [23].
- 7.
This is reminiscent of Elton’s proposal that instead of trying to interpret an AI’s outputs by focusing on specific low-level details of a neural network, we should instead let the AI explain itself [12].
- 8.
Which is incorrect—see [16].
- 9.
This is reminiscent of a recent argument [17] that humans maintain superiority over the AIs they create, as, for example, today’s latest and greatest chess-playing AI is better at tactically playing individual games of chess, but is incapable of designing its own replacement (tomorrow’s latest and greatest chess-playing AI), which will instead be designed by humans (making humans still better at chess in a higher-level sense).
- 10.
We assume Peano arithmetic is true.
- 11.
It can be shown that \(W_e\) is definable in the language of Peano arithmetic, therefore we can use expressions like “\(x\in W_e\)” in EA-formulas as shorthand.
- 12.
A universal closure of a formula \(\phi \) is a sentence \(\forall x_1\cdots \forall x_k\phi \), and the universal closure of a schema of formulas is the schema of universal closures of those formulas.
- 13.
We have pointed out elsewhere [3] that (i) Reinhardt implicitly assumes that the knower knows its own truthfulness; and (ii) it is possible for a knowing machine to know its own code if it is allowed to be ignorant of its own truthfulness, despite still being truthful. See [1] and [2] for some additional discussion.
- 14.
Or rather, its own code and its own truthfulness—we have pointed out [3] that Reinhardt implicitly assumes the knower knows its own truthfulness.
References
Aldini, A., Fano, V., Graziani, P.: Do the self-knowing machines dream of knowing their factivity? In: AIC, pp. 125–132 (2015)
Aldini, A., Fano, V., Graziani, P.: Theory of knowing machines: revisiting Gödel and the mechanistic thesis. In: Gadducci, F., Tavosanis, M. (eds.) HaPoC 2015. IAICT, vol. 487, pp. 57–70. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47286-7_4
Alexander, S.A.: A machine that knows its own code. Stud. Logica. 102(3), 567–576 (2014)
Alexander, S.A.: Fast-collapsing theories. Stud. Logica. 103(1), 53–73 (2015)
Alexander, S.A.: Measuring the intelligence of an idealized mechanical knowing agent. In: CIFMA (2019)
Alexander, S.A.: AGI and the Knight-Darwin law: why idealized AGI reproduction requires collaboration. In: Goertzel, B., Panov, A.I., Potapov, A., Yampolskiy, R. (eds.) AGI 2020. LNCS (LNAI), vol. 12177, pp. 1–11. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-52152-3_1
Aliman, N.-M., et al.: Error-correction for AI safety. In: Goertzel, B., Panov, A.I., Potapov, A., Yampolskiy, R. (eds.) AGI 2020. LNCS (LNAI), vol. 12177, pp. 12–22. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-52152-3_2
Aristotle: Posterior analytics. In: Barnes, J., et al. (eds.) The Complete Works of Aristotle. Princeton University Press (1984)
Carlson, T.J.: Ordinal arithmetic and \(\Sigma _1\)-elementarity. Arch. Math. Logic 38(7), 449–460 (1999)
Carlson, T.J.: Knowledge, machines, and the consistency of Reinhardt’s strong mechanistic thesis. Ann. Pure Appl. Logic 105(1–3), 51–82 (2000)
Cerone, A., Fazli, S., Malone, K., Pietarinen, A.V.: Interdisciplinary aspects of cognition. In: CIFMA (2019)
Elton, D.: Self-explaining AI as an alternative to interpretable AI. In: International Conference on Artificial General Intelligence (2020)
Goertzel, B.: Artificial general intelligence: concept, state of the art, and future prospects. J. Artif. General Intell. 5, 1–48 (2014)
Hodges, W.: Tarski’s truth definitions. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, fall 2018 edn. (2018)
Ichikawa, J.J., Steup, M.: The analysis of knowledge. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, summer 2018 edn. (2018)
Knuth, D.E.: Two notes on notation. Am. Math. Monthly 99(5), 403–422 (1992)
Maguire, P., Moser, P., Maguire, R.: Are people smarter than machines? Croatian J. Philosop. 20(1), 103–123 (2020)
Plato: Theaetetus. In: Cooper, J.M., Hutchinson, D.S., et al. (eds.) Plato: complete works. Hackett Publishing (1997)
Reinhardt, W.N.: Absolute versions of incompleteness theorems. Nous 19, 317–346 (1985)
Reinhardt, W.N.: Epistemic theories and the interpretation of Gödel’s incompleteness theorems. J. Philosoph. Logic 15(4), 427–474 (1986)
Shapiro, S.: Epistemic and intuitionistic arithmetic. In: Studies in Logic and the Foundations of Mathematics, vol. 113, pp. 11–46. Elsevier (1985)
Wellmer, A.: Skepticism in interpretation. In: Conant, J.F., Kern, A. (eds.) Varieties of Skepticism: Essays after Kant, Wittgenstein, and Cavell. Walter de Gruyter (2014)
Williamson, T.: Knowledge, context, and the agent’s point of view. In: Preyer, G., Peter, G. (eds.) Contextualism in Philosophy: Knowledge, Meaning, and Truth, pp. 91–114. Oxford University Press (2005)
Yampolskiy, R.: On controllability of artificial intelligence. Technical report (2020)
Acknowledgments
We gratefully acknowledge Alessandro Aldini, Phil Maguire, Brendon Miller-Boldt, Philippe Moser, and the reviewers for comments and feedback.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Alexander, S.A. (2021). Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence. In: Cleophas, L., Massink, M. (eds) Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops. SEFM 2020. Lecture Notes in Computer Science(), vol 12524. Springer, Cham. https://doi.org/10.1007/978-3-030-67220-1_16
Download citation
DOI: https://doi.org/10.1007/978-3-030-67220-1_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-67219-5
Online ISBN: 978-3-030-67220-1
eBook Packages: Computer ScienceComputer Science (R0)