arXiv:2502.09204v1 法律案件类型：新 摘要：法律案件需要遵循法律进行细致的逻辑推理，而与非技术用户交互则必须使用自然语言。作为一种结合使用Prolog进行逻辑推理和使用大型语言模型（LLMs）进行自然语言处理的应用程序，本文介绍了一种新的方法和系统——LogicLease，用于自动化纽约州房东与租户法律案件的分析。LogicLease通过分析案件描述并引用所有相关法律来确定是否符合相关法律要求。它利用LLMs进行信息提取，并利用Prolog进行法律推理。通过将信息提取与法律推理分离，LogicLease实现了更高的透明度和对应用于每个案件的法律逻辑的控制。我们通过一系列测试评估了LogicLease的准确度、效率和鲁棒性，实现了100%的准确度，并且平均处理时间为2.57秒。与最新的基于LLM的法律分析系统相比，LogicLease的优势在于提供了清晰的、逐步的推理过程、引用具体的法律，并且通过避免LLMs常见的幻觉现象来脱颖而出。