Brief

Researchers have developed a system that uses Large Language Models (LLMs) to formalize insurance policy clauses into Defeasible Deontic Logic (DDL). This approach combines rule-based reasoning with exceptions to accurately represent legal norms and automate claim evaluations. The system preprocesses policy text into DDL rules, which are then applied to claim facts to generate a coverage decision with an auditable reasoning trace, aiming for direct deployability on capable LLMs. AI