Introduction of PROLEG (PROlog-based LEGal reasoning support system)
summary
PROLEG is a Prolog-based legal reasoning system that encodes the Japanese Presupposed Ultimate Fact theory and runs rule-based judgment and subsumption reasoning over case facts. It replaces negation-as-failure with explicit default rules and exceptions so lawyers read and write programs more easily, and it produces diagrammatic traces plus an interactive debugger. The implementation contains about 2500 rules, is tested against Japanese bar exam cases from 2009, and shows empirical correctness so far.
AI-written summary · about
chapters (10)
- 0:00PROLEG introduction
- 0:42Legal language design issues
- 2:08Litigation phases in PROLEG
- 3:33PROLEG and judgment phase
- 5:17Accessible to lawyers
- 6:40Correct legal reasoning
- 8:03PROLEG program syntax
- 11:13PROLEG case example
- 15:15PROLEG achievements
- 16:20Q&A
related talks
30mProof Logging for Constraint Programming
40mProduction Prolog
19mAutomated Verification of Fundamental Algebraic Laws
20mHyper Hoare Logic: (Dis-)Proving Program Hyperproperties
22mCan Logic Programming Be Liberated from Predicates and Backtracking? (Lightning talk)
34mA Taste of Prolog
49mCompile-time Logic Programming in Scala: what for?
47mLogic Programming à la Carte