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
Tags: Adam Wyner, Automatic markup of regulations in LegalRuleML, Automatic markup of regulations in RuleML, Automatic translation of legal rules to Defeasible Logic, Automatic translation of regulations to Defeasible Logic, Automatic translation of regulations to Defeasible Logic representation, Automatic translation of statutes to Defeasible Logic, Defeasible logic, Defeasible logic and law, Guido Governatori, International Web Rule Symposium, Legal defeasible reasoning, Legal natural language processing, LegalRuleML, Legislative information systems, Modeling legal defeasible reasoning, Modeling legal rules, Modeling regulations, Natural language processing and law, Regulatory information systems, RuleML, RuleML 2013