Enabling reasoning with LegalRuleML
From MaRDI portal
Abstract: In order to automate verification process, regulatory rules written in natural language need to be translated into a format that machines can understand. However, none of the existing formalisms can fully represent the elements that appear in legal norms. For instance, most of these formalisms do not provide features to capture the behavior of deontic effects, which is an important aspect in automated compliance checking. This paper presents an approach for transforming legal norms represented using LegalRuleML to a variant of Modal Defeasible Logic (and vice versa) such that a legal statement represented using LegalRuleML can be transformed into a machine-readable format that can be understood and reasoned about depending upon the client's preferences.
Recommendations
- Automated translation of contract texts into defeasible deontic logic
- MathLang Translation to Isabelle Syntax
- Automated inference of rules with exception from past legal cases using ASP
- To drive or not to drive: a logical and computational analysis of European transport regulations
- scientific article; zbMATH DE number 2088344
Cites work
- scientific article; zbMATH DE number 1964822 (Why is no real title available?)
- A general account of argumentation with preferences
- Argumentation Semantics for Defeasible Logic
- Deontic Logic in Computer Science
- Handbook of philosophical logic. Vol. 8
- Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations
- Methods and Applications of Artificial Intelligence
- Propositional defeasible logic has linear complexity
- Representation results for defeasible logic
- What Are the Necessity Rules in Defeasible Reasoning?
Cited in
(4)
This page was built for publication: Enabling reasoning with LegalRuleML
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5197743)
