Position Paper: LLD is All You Need
summary
A declarative language for legal discourse from 1989 called LLD is laid out with concrete encodings: parts implemented in Prolog, a Prolog DCG of ~700 rules produces a quasi-logical form (QLF), and higher-order lambda terms and deontic/epistemic modalities model permissions, obligations and beliefs. Experiments use Collins’ 1999 parser on court opinions with good sentence-class results but UCC statute parsing performs poorly, requiring manual QLF fixes; goal is a full Article 3 encoding plus hybrid ML–logic methods (probability/geometry/logic).
AI-written summary · about