Yeah, “settles on” here meant however the agent selects beliefs. The epistemic constraint implies that the agent uses exhaustive search or some other procedure guaranteed to produce a fixed point, rather than Banach-style iteration.
Moving to a Banach-like setting will often make the fixed points unique, which takes away the whole idea of FixDT.
Moving to a setting where the agent isn’t guaranteed to converge would mean we have to re-write the epistemic constraint to be appropriate to that setting.
Yeah, “settles on” here meant however the agent selects beliefs. The epistemic constraint implies that the agent uses exhaustive search or some other procedure guaranteed to produce a fixed point, rather than Banach-style iteration.
Moving to a Banach-like setting will often make the fixed points unique, which takes away the whole idea of FixDT.
Moving to a setting where the agent isn’t guaranteed to converge would mean we have to re-write the epistemic constraint to be appropriate to that setting.