Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York

TL;DR

LogicLease combines Prolog and LLMs to automate landlord-tenant case analysis in New York, ensuring legal compliance with transparent reasoning and high accuracy, addressing hallucination issues common in LLMs.

Contribution

This paper introduces LogicLease, a novel system that integrates Prolog and LLMs for transparent, accurate legal reasoning in rental law compliance analysis.

Findings

Achieved 100% accuracy in legal case analysis.

Processed cases in an average of 2.57 seconds.

Provided clear, step-by-step legal reasoning with law citations.

Abstract

Legal cases require careful logical reasoning following the laws, whereas interactions with non-technical users must be in natural language. As an application combining logical reasoning using Prolog and natural language processing using large language models (LLMs), this paper presents a novel approach and system, LogicLease, to automate the analysis of landlord-tenant legal cases in the state of New York. LogicLease determines compliance with relevant legal requirements by analyzing case descriptions and citing all relevant laws. It leverages LLMs for information extraction and Prolog for legal reasoning. By separating information extraction from legal reasoning, LogicLease achieves greater transparency and control over the legal logic applied to each case. We evaluate the accuracy, efficiency, and robustness of LogicLease through a series of tests, achieving 100% accuracy and an average processing time of 2.57 seconds. LogicLease presents advantages over state-of-the-art LLM-based legal analysis systems by providing clear, step-by-step reasoning, citing specific laws, and distinguishing itself by its ability to avoid hallucinations -- a common issue in LLMs.