Towards Transparent Legal Formalization
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14220%2F21%3A00122349" target="_blank" >RIV/00216224:14220/21:00122349 - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/chapter/10.1007/978-3-030-82017-6_18#citeas" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-030-82017-6_18#citeas</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-82017-6_18" target="_blank" >10.1007/978-3-030-82017-6_18</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Towards Transparent Legal Formalization
Popis výsledku v původním jazyce
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ázev v anglickém jazyce
Towards Transparent Legal Formalization
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
50501 - Law
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2021
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Explainable and Transparent AI and Multi-Agent Systems. EXTRAAMAS 2021. Lecture Notes in Computer Science, vol 12688
ISBN
9783030820169
ISSN
0302-9743
e-ISSN
1611-3349
Počet stran výsledku
18
Strana od-do
296-313
Název nakladatele
Springer Nature
Místo vydání
Cham
Místo konání akce
Londýn, Velká Británie
Datum konání akce
3. 5. 2021
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000691781800018