Options
Modelling Value-Oriented Legal Reasoning in LogiKEy
Benzmüller, Christoph; Fuenmayor, David; Lomfeld, Bertram (2024): Modelling Value-Oriented Legal Reasoning in LogiKEy, in: Logics, Basel, Switzerland: MDPI AG, Jg. 2, Nr. 1, S. 31–78, doi: 10.3390/logics2010003.
Faculty/Chair:
Title of the Journal:
Logics
ISSN:
2813-0405
Publisher Information:
Year of publication:
2024
Volume:
2
Issue:
1
Pages:
Language:
English
Abstract:
The logico-pluralist L OGI KE Y knowledge engineering methodology and framework is applied to the modelling of a theory of legal balancing, in which legal knowledge (cases and laws) is encoded by utilising context-dependent value preferences. The theory obtained is then used to formalise, automatically evaluate, and reconstruct illustrative property law cases (involving the appropriation of wild animals) within the Isabelle HOL proof assistant system, illustrating how L OGI KE Y can harness interactive and automated theorem-proving technology to provide a testbed for the development and formal verification of legal domain-specific languages and theories. Modelling value-oriented legal reasoning in that framework, we establish novel bridges between the latest research in knowledge representation and reasoning in non-classical logics, automated theorem proving, and applications in legal reasoning.
GND Keywords: ; ;
Automatisches Beweisverfahren
HOL
Isabelle <Programm>
Keywords: ; ; ; ;
legal balancing; value-oriented reasoning
automated theorem proving
logical pluralism
proof assistants
Isabelle/HOL
DDC Classification:
RVK Classification:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Article
Activation date:
March 15, 2024
Versioning
Question on publication
Permalink
https://fis.uni-bamberg.de/handle/uniba/94348