Artificial intelligence and the evidentiary process: The challenges of formalism and computation