I’d put it as TDT, UDT etc. being attempts to formalize rule consequentialism rigorously enough for an AI.
I’d put it as TDT, UDT etc. being attempts to formalize rule consequentialism rigorously enough for an AI.