“Software tools are already important in the legal world, especially for big cases like company mergers, where algorithms help people comb through vast piles of documents. But the application of artificial intelligence to the law promises to go beyond document mining. It aims to let automated systems handle arguments where the logic is not clear.”