Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
summary
Presents s(LAW), a framework built on the goal-directed ASP system s(CASP) to model legal rules that include ambiguity and administrative discretion (e.g., force majeure). It shows how s(LAW) encodes such non-deterministic provisions, produces human-readable justifications for inferred conclusions, and demonstrates expressiveness by translating the Madrid ESO school placement procedure using pattern-based translations.
AI-written summary · about