A bayesian-rational inquisition judge is in principle the ideal court system. The problem is to ensure that this judge remains conform to requirements (a problem very akin to the unresolved reflectively self-consistent proof of friendly self-modification in the Friendly AI field), and that it always has enough power to enforce decisions.
The ideal system is one where a superintelligence not only knows what happened, but can causally prove that it will not happen again, and thus safely proceed to letting everyone off (including the proven-guilty party) to go about their business.
A bayesian-rational inquisition judge is in principle the ideal court system. The problem is to ensure that this judge remains conform to requirements (a problem very akin to the unresolved reflectively self-consistent proof of friendly self-modification in the Friendly AI field), and that it always has enough power to enforce decisions.
The ideal system is one where a superintelligence not only knows what happened, but can causally prove that it will not happen again, and thus safely proceed to letting everyone off (including the proven-guilty party) to go about their business.