Towards Transparent Legal Formalization

D 2021

Towards Transparent Legal Formalization

LIBAL, Tomer a Tereza NOVOTNÁ

Základní údaje

Originální název

Towards Transparent Legal Formalization

Autoři

LIBAL, Tomer a Tereza NOVOTNÁ

Vydání

volume 12688. Cham, Explainable and Transparent AI and Multi-Agent Systems. EXTRAAMAS 2021. Lecture Notes in Computer Science, vol 12688, od s. 296-313, 18 s. 2021

Nakladatel

Springer Nature

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

50501 Law

Stát vydavatele

Švýcarsko

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

elektronická verze "online"

Odkazy

Open access sborníku

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14220/21:00122349

Organizační jednotka

Právnická fakulta

ISBN

978-3-030-82016-9

ISSN

DOI

https://doi.org/10.1007/978-3-030-82017-6_18

UT WoS

000691781800018

EID Scopus

2-s2.0-85113299419

Klíčová slova česky

Právní databáze znalostí; Anotační editor; Formální reprezentace právního textu

Klíčová slova anglicky

Legal knowledge base; Annotation editor; Formal representation

Štítky

rivok

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 18. 5. 2022 13:58, Mgr. Petra Georgala

Anotace

V originále

A key challenge in making a transparent formalization of a legal text is the dependency on two domain experts. While a legal expert is needed in order to interpret the legal text, a logician or a programmer is needed for encoding it into a program or a formula. Various existing methods are trying to solve this challenge by improving or automating the communication between the two experts. In this paper, we follow a different direction and attempt to eliminate the dependency on the target domain expert. This is achieved by inverting the translation back into the original text. By skipping over the logical translation, a legal expert can now both interpret and evaluate a translation.

Návaznosti

CZ.02.2.69/0.0/0.0/19_073/0016943, interní kód MU
(Kód CEP: EF19_073/0016943)

Název: Interní grantová agentura Masarykovy univerzity (Akronym: IGA MU)

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Interní grantová agentura Masarykovy univerzity, PO 2 Rozvoj vysokých škol a lidských zdrojů pro výzkum a vývoj

Přiložené soubory

extraamas2021_pdf.pdf

Citovat

LIBAL, Tomer a Tereza NOVOTNÁ. Towards Transparent Legal Formalization. Online. In Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling. Explainable and Transparent AI and Multi-Agent Systems. EXTRAAMAS 2021. Lecture Notes in Computer Science, vol 12688. volume 12688. Cham: Springer Nature, 2021, s. 296-313. ISBN 978-3-030-82016-9. Dostupné z: https://doi.org/10.1007/978-3-030-82017-6_18.

@inproceedings{1792162,
   author = {Libal, Tomer and Novotná, Tereza},
   address = {Cham},
   booktitle = {Explainable and Transparent AI and Multi-Agent Systems. EXTRAAMAS 2021. Lecture Notes in Computer Science, vol 12688},
   doi = {https://doi.org/10.1007/978-3-030-82017-6_18},
   edition = {volume 12688},
   editor = {Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling},
   keywords = {Legal knowledge base; Annotation editor; Formal representation},
   howpublished = {elektronická verze "online"},
   language = {eng},
   location = {Cham},
   isbn = {978-3-030-82016-9},
   pages = {296-313},
   publisher = {Springer Nature},
   title = {Towards Transparent Legal Formalization},
   url = {https://link.springer.com/chapter/10.1007/978-3-030-82017-6_18#citeas},
   year = {2021}
}

TY  - CONF
ID  - 1792162
AU  - Libal, Tomer - Novotná, Tereza
PY  - 2021
TI  - Towards Transparent Legal Formalization
PB  - Springer Nature
CY  - Cham
SN  - 9783030820169
KW  - Legal knowledge base
KW  - Annotation editor
KW  - Formal representation
UR  - https://link.springer.com/chapter/10.1007/978-3-030-82017-6_18#citeas
N2  - A key challenge in making a transparent formalization of a legal text is the dependency on two domain experts. While a legal expert is needed in order to interpret the legal text, a logician or a programmer is needed for encoding it into a program or a formula. Various existing methods are trying to solve this challenge by improving or automating the communication between the two experts. In this paper, we follow a different direction and attempt to eliminate the dependency on the target domain expert. This is achieved by inverting the translation back into the original text. By skipping over the logical translation, a legal expert can now both interpret and evaluate a translation.
ER  -

LIBAL, Tomer a Tereza NOVOTNÁ. Towards Transparent Legal Formalization. Online. In Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling. \textit{Explainable and Transparent AI and Multi-Agent Systems. EXTRAAMAS 2021. Lecture Notes in Computer Science, vol 12688}. volume 12688. Cham: Springer Nature, 2021, s.~296-313. ISBN~978-3-030-82016-9. Dostupné z: https://doi.org/10.1007/978-3-030-82017-6\_{}18.

Přehled o publikaci