Automating Defeasible Reasoning in Law - Assistance à la Certification d’Applications DIstribuées et Embarquées Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2022

Automating Defeasible Reasoning in Law

Résumé

The paper studies defeasible reasoning in rule-based systems, in particular about legal norms and contracts. We identify rule modifiers that specify how rules interact and how they can be overridden. We then define rule transformations that eliminate these modifiers, leading in the end to a translation of rules to formulas. For reasoning with and about rules, we contrast two approaches, one in a classical logic with SMT solvers as proof engines, one in a non-monotonic logic with Answer Set Programming solvers.

Dates et versions

hal-03679650 , version 1 (26-05-2022)

Identifiants

Citer

How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong. Automating Defeasible Reasoning in Law. 2022. ⟨hal-03679650⟩
32 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More