Dr. Adam Wyner of the University of Aberdeen and Dr. Guido Governatori of NICTA have posted A Study on Translating Regulatory Rules from Natural Language to Defeasible Logic, a paper presented in the special track on Human-Rules at RuleML 2013: The 7th International Web Rule Symposium, held 11-13 July 2013, in Seattle, Washington, USA.
Here is the abstract:
Legally binding regulations are expressed in natural language. Yet, we cannot formally or automatically reason with regulations in that form. Defeasible Logic has been used to formally represent the semantic interpretation of regulations; such representations may provide the abstract specification for a machine-readable and processable representation as in LegalRuleML. However, manual translation is prohibitively costly in terms of time, labour, and knowledge. The paper discusses work in progress using the state-of-the-art in automatic translation of a sample of regulatory clauses to a machine readable formal representation and a comparison to correlated Defeasible Logic representations. It outlines some key problems and proposes tasks to address the problems.
HT Adam Wyner