Therefore it can evaluate any number of “coulds”, figuring out and caching the “woulds” before choosing its action, without causing any logical quandaries.
In practice, it can; but formalizing this process requires formalizing logical uncertainty / impossible possible worlds, which is an unsolved problem.
In practice, it can; but formalizing this process requires formalizing logical uncertainty / impossible possible worlds, which is an unsolved problem.