Not to replace courts but to understand legal agreements better. If you could express it as an algorithm, perhaps, you could rewrite in simpler english or answer questions about it?
You'd still run into the halting problem. And you'd have lawyers wanting to write legal agreements that run into that, so that nobody can determine what they really mean, so that nobody can prove what a scam they are.
