Authors
Samuel Allen Alexander
Ohio State University (PhD)
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 φ if and only if that AGI would include φ 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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

AGI and the Knight-Darwin Law: Why Idealized AGI Reproduction Requires Collaboration.Samuel Alexander - forthcoming - In International Conference on Artificial General Intelligence. Springer.
Tarski's Truth Definitions.Wilfrid Hodges - forthcoming - Stanford Encyclopedia of Philosophy.

View all 12 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

What's There to Know? A Fictionalist Approach to Mathematical Knowledge.Mary Leng - 2007 - In Mary Leng, Alexander Paseau & Michael Potter (eds.), Mathematical Knowledge. Oxford: Oxford University Press.
Implicit Knowledge as Automatic, Latent Knowledge.John R. Vokey & Philip A. Higham - 1999 - Behavioral and Brain Sciences 22 (5):787-788.
Managing Informal Mathematical Knowledge: Techniques From Informal Logic.Andrew Aberdein - 2006 - Lecture Notes in Artificial Intelligence 4108:208--221.
Justification in Memory Knowledge.Andrew Naylor - 1983 - Synthese 55 (2):269 - 286.

Analytics

Added to PP index
2020-11-11

Total views
236 ( #47,187 of 2,507,664 )

Recent downloads (6 months)
20 ( #43,597 of 2,507,664 )

How can I increase my downloads?

Downloads

My notes