An Evaluation of Methodologies for Legal Formalization

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14220%2F22%3A00126754" target="_blank" >RIV/00216224:14220/22:00126754 - isvavai.cz</a>

Výsledek na webu

<a href="https://link.springer.com/chapter/10.1007/978-3-031-15565-9_12" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-031-15565-9_12</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-031-15565-9_12" target="_blank" >10.1007/978-3-031-15565-9_12</a>

Jazyk výsledku

angličtina

Název v původním jazyce

An Evaluation of Methodologies for Legal Formalization

Popis výsledku v původním jazyce

Legal formalization is a necessary step for automated legal reasoning because it aims to capture the meaning of legal texts in a machine-readable form. Therefore, there are many attempts to create better legal formalization methods and to make legal reasoning techniques more efficient. However, these methods are rarely evaluated and thus, it is difficult to recognize the“good” legal formalization method. In this article, the authors provide a categorization of necessary properties of a “good” formalization that is based on a literature review of recent state-of-the-art methods. They conclude in favour of the legal experts’ evaluation method as the most suitable one for assessing the quality of legal formalization.

Název v anglickém jazyce

An Evaluation of Methodologies for Legal Formalization

Popis výsledku anglicky

Legal formalization is a necessary step for automated legal reasoning because it aims to capture the meaning of legal texts in a machine-readable form. Therefore, there are many attempts to create better legal formalization methods and to make legal reasoning techniques more efficient. However, these methods are rarely evaluated and thus, it is difficult to recognize the“good” legal formalization method. In this article, the authors provide a categorization of necessary properties of a “good” formalization that is based on a literature review of recent state-of-the-art methods. They conclude in favour of the legal experts’ evaluation method as the most suitable one for assessing the quality of legal formalization.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

50501 - Law

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2022

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

EXTRAAMAS 2022: Explainable and Transparent AI and Multi-Agent Systems

ISBN

9783031155642

ISSN

0302-9743

e-ISSN

1611-3349

Počet stran výsledku

15

Strana od-do

189-203

Název nakladatele

Springer, Cham

Místo vydání

Neuveden

Místo konání akce

Auckland, Nový Zéland

Datum konání akce

9. 5. 2022

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000870042100012