Yes, I think this change is much better. I’m still a bit unclear about how exactly the agent reasons about itself. That doesn’t seem to be well-defined.
Is it capable of distinctions between its models of the world? The reasoning in the article leads me to think not. The wording used is of the form “a proof exists of P” rather than “in hypothetical situation H in which I have world model M, my deductive rules could find a proof of P”.
This may lead it to equivocation errors, where the same symbols are used to refer to different things.
Yes, I think this change is much better. I’m still a bit unclear about how exactly the agent reasons about itself. That doesn’t seem to be well-defined.
Is it capable of distinctions between its models of the world? The reasoning in the article leads me to think not. The wording used is of the form “a proof exists of P” rather than “in hypothetical situation H in which I have world model M, my deductive rules could find a proof of P”.
This may lead it to equivocation errors, where the same symbols are used to refer to different things.