You're correct that hard AI would be necessary for the blockchain to perform autonomous arbitration in cases where human discretion is necessary. In practice,

You're correct that hard AI would be necessary for the blockchain to perform autonomous arbitration in cases where human discretion is necessary. In practice, this is solved by giving the contract the capability to query an external system (referred to as an oracle), which provides the results of the independent arbitration as an input to the contract.