I still can’t see why the AI, when deciding “A or B”, is allowed to simply deduce consequences, while when deciding “Deduce or Guess” it is required to first deduce that the deducer is “useful”, then deduce consequences. The AI appears to be using two different decision procedures, and I don’t know how it chooses between them.
Can you define exactly when usefulness needs to be deduced? In either case, it seems that it can deduce consequences in either case without deducing usefulness.
Apologies if I’m being difficult; if you’re making progress as it is (as implied by your idea about “probably”s), we can drop this and I’ll try to follow along again next time you post.
I still can’t see why the AI, when deciding “A or B”, is allowed to simply deduce consequences, while when deciding “Deduce or Guess” it is required to first deduce that the deducer is “useful”, then deduce consequences. The AI appears to be using two different decision procedures, and I don’t know how it chooses between them.
Can you define exactly when usefulness needs to be deduced? In either case, it seems that it can deduce consequences in either case without deducing usefulness.
Apologies if I’m being difficult; if you’re making progress as it is (as implied by your idea about “probably”s), we can drop this and I’ll try to follow along again next time you post.