A formal framework for combining legal reasoning methods
License
Access Rights
Cadmus Permanent Link
Full-text via DOI
ISBN
ISSN
Issue Date
Type of Publication
Keyword(s)
LC Subject Heading
Other Topic(s)
EUI Research Cluster(s)
Initial version
Published version
Succeeding version
Preceding version
Published version part
Earlier different version
Initial format
Author(s)
Citation
ICAIL '23 : proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, New York : Association for Computing Machinery (ACM), 2023, pp. 227-236
Cite
PRAKKEN, Henry, SARTOR, Giovanni, A formal framework for combining legal reasoning methods, in ICAIL ’23 : proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, New York : Association for Computing Machinery (ACM), 2023, pp. 227-236 - https://hdl.handle.net/1814/76336
Abstract
This paper proposes a novel argumentation-based approach to combine legal-reasoning methods that each solve a subproblem of an overall legal problem. The methods can be of any nature (for instance, logical, case-based or probabilistic), as long as their input-output behaviour can be described at the metalevel with deductive or defeasible rules. The model is formulated in the ASPIC+ framework, to profit from its metatheory and explanation methods, and to allow for disagreement about how to solve a subproblem. The model is not meant to be directly implementable but to serve as a semantics for architectures and implementations.
Table of Contents
Additional Information
Published: 07 September 2023