The NAI Suite -- Drafting and Reasoning over Legal Texts
This work addresses the challenge of automating legal reasoning for practitioners, but it appears incremental as it builds on existing formalization and reasoning techniques.
The authors tackled the problem of automated reasoning over legal texts by presenting the NAI suite, a prototype that processes formalized logical representations and includes quality assurance procedures, with feasibility studied on a fragment of the Smoking Prohibition (Children in Motor Vehicles) (Scotland) Act 2016.
A prototype for automated reasoning over legal texts, called NAI, is presented. As an input, NAI accepts formalized logical representations of such legal texts that can be created and curated using an integrated annotation interface. The prototype supports automated reasoning over the given text representation and multiple quality assurance procedures. The pragmatics of the NAI suite as well its feasibility in practical applications is studied on a fragment of the Smoking Prohibition (Children in Motor Vehicles) (Scotland) Act 2016 of the Scottish Parliament.