I find that I must retract my statement (in great great grandparent) that first-person epistemology (FPE) is not used in the writings in AI around here.
In particular, one of the most heavily referenced lines of AI research around here is AIXI, which is essentially a single equation, namely,
(along with a mathematical tome’s worth of exposition to explain the significance of the equation).
There are four kinds of “points” or bound variables in the equation: computer programs (represented by the bound variable q), rewards (r), actions (a) and observations (o).
If you examine the text surrounding the above equation, you find that the author gives “a camera image” as an example of an observation.
I haven’t read Hume, but given what you have said about FPE above, this AIXI formalism seems like an instance of FPE.
I realize that it is unlikely that you want to learn enough math to understand this AIXI formalism, but I felt I had to bring AIXI up to stop the propagation of the probably-false information I had introduced in great great grandparent. Note that I probably do not have time to learn anything new about philosophy or to explain how AIXI might relate to the philosophical traditions or lines you are interested in.
Isn’t that what I said? I don’t get what you’re trying to say here.
ETA: Oh, are you responding to “perhaps they all employ FPE like it’s nothing”? At first, I thought you were responding to “I’m not well-read in AI”.
Yes. Sorry for the unintended ambiguity.
I see. No problem.
By the way, do you have an opinion on whether it’s good or bad that nobody in the AI community seems to employ FPE?
I find that I must retract my statement (in great great grandparent) that first-person epistemology (FPE) is not used in the writings in AI around here.
In particular, one of the most heavily referenced lines of AI research around here is AIXI, which is essentially a single equation, namely,
http://www.hutter1.net/ai/aixi1linel.gif
(along with a mathematical tome’s worth of exposition to explain the significance of the equation).
There are four kinds of “points” or bound variables in the equation: computer programs (represented by the bound variable q), rewards (r), actions (a) and observations (o).
If you examine the text surrounding the above equation, you find that the author gives “a camera image” as an example of an observation.
I haven’t read Hume, but given what you have said about FPE above, this AIXI formalism seems like an instance of FPE.
I realize that it is unlikely that you want to learn enough math to understand this AIXI formalism, but I felt I had to bring AIXI up to stop the propagation of the probably-false information I had introduced in great great grandparent. Note that I probably do not have time to learn anything new about philosophy or to explain how AIXI might relate to the philosophical traditions or lines you are interested in.