using critical questions to disambiguate and formalize statutory provisions
This paper outlines a process model for disambiguating legal provisions in order to ease their formalization into logic. It centers around a reformulation of the provision driven by critical questioning and mandatory legal justifications.
knowledge engineering statutory reasoning legal theory