Here’s a second operationalization of “know.” You’re allowed to train up using all the computerized help you want. But then, to prove your ability, you have to perfectly predict the output of the Go program on a set of randomly generated board positions, using only the power of your own brain.
I was thinking more of propositional knowledge (well, actually belief, but it doesn’t seem like this was a sticking point with anybody). A corollary of this is that you would be able to do this second operationalization, but possibly with the aid of a computer program that you wrote yourself that wasn’t just a copy of the original program. This constraint is slightly ambiguous but I think it shouldn’t be too problematic in practice.
Did you have a different operationalization in mind?
The actual thing I had in mind was “come up with a satisfactory operationalization”.
A corollary of this is that you would be able to do this second operationalization, but possibly with the aid of a computer program that you wrote yourself that wasn’t just a copy of the original program. This constraint is slightly ambiguous but I think it shouldn’t be too problematic in practice.
I’m going to assume it’s impossible for me, personally, to outplay the best Go AI I have access to. Given that, the requirement is for me to write a better Go AI than the one I currently have access to.
Of course, that would mean that my new self-written program is now the best Go AI. So then I would be back to square one.
I was thinking more of propositional knowledge (well, actually belief, but it doesn’t seem like this was a sticking point with anybody). A corollary of this is that you would be able to do this second operationalization, but possibly with the aid of a computer program that you wrote yourself that wasn’t just a copy of the original program. This constraint is slightly ambiguous but I think it shouldn’t be too problematic in practice.
The actual thing I had in mind was “come up with a satisfactory operationalization”.
I’m going to assume it’s impossible for me, personally, to outplay the best Go AI I have access to. Given that, the requirement is for me to write a better Go AI than the one I currently have access to.
Of course, that would mean that my new self-written program is now the best Go AI. So then I would be back to square one.