人工智能司法应用的方法论难题及其破解