The ruling was a setback for the artificial intelligence start-up in its battle with the Defense Department over the use of A.I. in warfare.