I haven’t heard of these do-operators, but aren’t you missing some modal operators? For example, just because you are assuming that you will take the null action, you shouldn’t get that O2 knows this. Perhaps do-operators in the end serve a similar purpose? Can you give a variant of the following agent that would reject all deals?
I haven’t heard of these do-operators, but aren’t you missing some modal operators? For example, just because you are assuming that you will take the null action, you shouldn’t get that O2 knows this. Perhaps do-operators in the end serve a similar purpose? Can you give a variant of the following agent that would reject all deals?
UDT:=argmaxamaxu□(UDT=a⟹utility≥u)