SG.hu·

Az algoritmusok átláthatóságáról dönt a spanyol Legfelsőbb Bíróság

Az algoritmusok átláthatóságáról dönt a spanyol Legfelsõbb Bíróság
A spanyol Legfelsőbb Bíróság előtti szóbeli meghallgatáson érvek hangzanak el arról, hogy nyilvánosságra kell-e hozni az automatizált döntések meghozatalának mechanizmusait, vagy átláthatatlanul kell-e tartani azokat.

Joguk van-e az állampolgároknak ahhoz, hogy megismerjék azt a matematikai képletet, amely alapján eldöntik, hogy jogosultak-e állami támogatásra? Ha az állam úgy dönt, hogy egy algoritmusra bízza a támogatások odaítélését, milyen információkat kell közölnie ennek a eszköznek a működéséről? Ezek azok a alapvető kérdések, amelyek a Bosco-ügy hátterében állnak, utalva arra az algoritmusra, amely kiválasztja azokat a profilokat, amelyek megfelelnek a szociális támogatásra, azaz a villanyszámla fizetéséhez nyújtott támogatásra való jogosultság feltételeinek.

"Egy demokráciában nem elfogadható a polgárok jogait szabályozó forráskód titkossága” – mondta Javier de la Cueva ügyvéd a Legfelsőbb Bíróság szóbeli tárgyalásán tartott nyitóbeszédében. De la Cueva a Civio átláthatóságot védő szervezetet képviseli, amely a Legfelsőbb Bírósághoz fellebbezést nyújtott be, hogy a kormány tegye nyilvánossá a Bosco forráskódját, miután az előző fokon elutasították a kérelmet.

A demokratikus jogállam egy írásos absztrakció. Jelentőségét az alkotmányok és törvények léte adja. Azonban az elmúlt 20-30 évben a jogrendszer felépítésének alapjául szolgáló természetes nyelv egy másik, nagyon eltérő nyelvvel él együtt, vagy éppen felváltja azt: az algoritmusokat alkotó kódsorokkal. Spanyolországban, mint más országokban is, automatizált módon hoznak döntéseket, amelyek hatással vannak a közpénzek elosztására.

A Civio 2018-ban végzett kutatása feltárta, hogy a rászoruló családoknak a villanyszámla fizetéséhez nyújtott állami támogatás - az úgynevezett szociális támogatás -, nem jutott el azokhoz, akik minden feltételnek megfeleltek (többek között alacsony jövedelem, nemi erőszak vagy terrorizmus áldozata). A Bosco algoritmus, amelynek feladata az adatok szűrése és a támogatás elosztása volt, hibásan működött. A közigazgatás elismerte hibáját, de nem volt hajlandó nyilvánosságra hozni az algoritmus forráskódját, vagyis a program belső működését. Az aktivisták a közigazgatási bírósághoz fordultak, de az úgy döntött, hogy a kód nyilvánosságra hozatala sértené a kormány által birtokolt algoritmus szellemi tulajdonjogát, és veszélyeztetné mind a közbiztonságot, mind a nemzetvédelmet. A Civio a Nemzeti Bírósághoz fordult, és miután ott is elutasították a keresetet, a Legfelsőbb Bírósághoz.

"Azt tapasztaljuk, hogy a szellemi tulajdonhoz fűződő jogot, amelyet mi semmilyen esetben sem vitattunk, arra használják, hogy eltitkolják előIünk, hogyan működik a közigazgatás” – mondta De la Cueva a tárgyaláson. Majd hozzátette: „Hogyan lehet jogbiztonságunk, ha nem tudjuk, hogyan működik az algoritmus? Hogyan tudják a vezetők ellenőrizni, hogy a közigazgatás helyesen jár-e el, ha ők sem tudják?” A Civio szerint a Legfelsőbb Bíróság döntése „meg fogja határozni, hogy vakon kell-e bízni a jelenlegi és jövőbeli „fekete dobozok” hatalmában a jogaik tekintetében, vagy lesz-e lehetőségük azok kivizsgálására és ellenőrzésére”.

„A Bosco csak egy eszköz, amellyel gyorsan és névtelenül igazolható a polgárok követelményeinek teljesítése” – mondta sorra kerülve az állami ügyvéd, aki az Ökológiai Átmenet és Demográfiai Kihívás Minisztérium (Ministerio de Transición Ecológica y el Reto Demográfico) érdekeit védi. Az ügyvéd hangsúlyozta, hogy a forráskód megnyitása veszélybe sodorhatja az érintettek személyes adatait. "Nem tartjuk szükségesnek, hogy hozzáférést biztosítsunk a forráskódhoz, hogy az adminisztrációt esetleges felelősségre vonhassuk” – tette hozzá. Bevezetőjét a következő kulcsfontosságú kérdéssel zárta: "A Bosco forráskódjához való hozzáférés biztosítása azt jelenti, hogy más, az adminisztráció által használt programokat is meg kell nyitni, mint például a Minerva (amely az összeférhetetlenség kockázatát elemzi) vagy a LexNET (a igazságszolgáltatás által használt kommunikációs rendszer)?”

Ez az első alkalom, hogy egy algoritmikus átláthatósággal kapcsolatos ügy a spanyol Legfelsőbb Bíróság elé került. A meghozott ítélet jelentősége mások számára is meghatározó lehet. "Az ítéletnek nemcsak nemzeti hatásai lesznek, hanem referenciaként szolgál majd a Nyugat dilemmájával való szembenézéshez, hogy miként értékeljük a számítógépes nyelvet a jogrendszerben” - mondta De la Cueva.

A felek előadásait követően a bírák az államügyészség erős érvelésére voltak kíváncsiak: a forráskód megnyitása veszélyt jelenthet a biztonságra. Ha a minisztérium hangsúlyozza a Bosco instrumentális jellegét, és azt mondja, hogy nem ő hozza meg a végső döntést a támogatás odaítélésében, akkor hogyan érinti a megnyitás a biztonságot? "A Bosco az adóhivatalba és más hivatalokba kapcsolódik, hogy ellenőrizze az érzékeny adatokat, amelyek veszélybe kerülhetnek” - válaszolta az ügyvéd. "Ez olyan lenne, mintha beengednénk valakit egy épületbe, és megmondanánk neki, hogy melyik zárak vannak feltörve, és melyek működnek. "A spanyol adatvédelmi ügynökség nem ezt mondja” - válaszolta De la Cueva. „A Bosco-forráskód csak a támogatás nyújtásához meghatározott súlyokról és feltételekről beszél; ahhoz, hogy hozzájusson ezekhez a személyes adatokhoz, az érintett ügynökségektől kell kérni azokat.”

"Most sokkal optimistább vagyok, mint a tárgyalás kezdete előtt, mert úgy gondolom, hogy a bírák tisztában vannak azzal, hogy ez az ügy túlmutat a Boscón, az összes olyan számítógépes programra kiterjed, amely minket érintő döntéseket hoz” - mondta el Eva Belmonte, a Civio társigazgatója. "Nagyon meglepett, hogy az állami ügyvéd hazudott: azt mondta, hogy nem a Bosco hozza meg a végső döntést, holott az AEPD akkreditációja szerint igen”. A döntés várhatóan augusztus táján válik ismertté.

Kapcsolódó cikkek és linkek

Hozzászólások

Jelentkezz be a hozzászóláshoz.

© codaco2025. 07. 14.. 14:38||#9
"Az viszont hogy valamire alkotnak egy szoftvert és annak nyilvánoságra hozatala viszont már szerzői jogi kérdés is". Mivel a program közpénzből készült, okafogyottnak gondolom a szerzői jogot.
© t_robert2025. 07. 14.. 12:35||#8
A konkrét algorítmust mégis csak a kód tartalmazza azért. Amiről te beszélsz az csak annyit tartalmaz, hogy mondjuk valakinek van két gyereke, akkor kap 15 ezer segélyt, Ha egyedül neveli a kétgyereket, akkor kap 20 ezret.... ha az egyik gyerek sérült akkor 25 ezret stb. ezek szabályok, amiket többnyire amúgy is megadnak a részletes leírásban a mondjuk segély feltételeinél. Ennek magában nem egy informatikai fórumban merül fel és kerül bíróságra mint nyilvánoságra hozandó algorítmus.... itt arról van szó, hogy valosul meg a szabály átültetése a gyakorlatba vagyis milyen kód alapján számolodik ki. Az, hogy ki milyen szabályok alapján jogosult segélyre az magában nem informatika. Lehet szabályokat alkotni papiron vezetni és kézzel számolni. A szabályok nyilvánoságra hozása nem informatikai téma volna. Főleg szabályok nyilvánoságra hozása nem ütközik szerzői jogba. Az viszont hogy valamire alkotnak egy szoftvert és annak nyilvánoságra hozatala viszont már szerzői jogi kérdés is.... vagyis itt kód nyilvánossá tételéről dönt a bíróság az átláthatóság jegyében.
© felemelõ2025. 07. 13.. 00:32||#7
"már pedig ez azért mégis csak a kód alapján lehet eldönteni."

Régen rossz, ha egy programozó kódja tartalmazza az algoritmust, nem egy jogszabály vagy szabályozó irat.
A program megvalósít egy elvárást.... jobb helyeken.
Az elvárást meg valakik meghatározzák.

Azt hogy a kód a megkövetelt algoritmust valósítja-e meg, azt nagyon nem a tömegeknek kellene észrevenni :)
© felemelõ2025. 07. 13.. 00:28||#6
"nyilvánosságra kell-e hozni az automatizált döntések meghozatalának mechanizmusait"

Aztán meg majd mindenféle MI-ket építenek a rendszerbe, amiket senki sem képes átlátni és két egymást követő futtatás sem garantált hogy azonos eredményt hoz.
© t_robert2025. 07. 11.. 12:26||#5
egy döntési algoritmus vagyis ki kaphat meg mondjuk egy szociális segélyt, mióta tartozik bele szerzőjogi és egyéb kérdésekbe? Itt nyilván magának a programok átláthatóságáról van szó a nyilvánoságnak. Vagyis adott esetben kódokról. Ha már eleve egy informatikai fórumban merül fel a téma. Egyébként nem informatikában tárgyalnák, hanem valami szociális fórumon szerintem. itt nyilván szoftver algoritmusokról van szó nem döntési szabályokról. ha már informatika
© t_robert2025. 07. 11.. 12:19||#4
Igen csak itt algoritmusokról és matematikai képletekről van szó.
Hogyan lehet jogbiztonságunk, ha nem tudjuk, hogyan működik az algoritmus?
már pedig ez azért mégis csak a kód alapján lehet eldönteni. Persze logikusan egy sima leirás alogikus, amiben leirják a szabályokat. na meg szerzői tulajdon védelméről van szó. Nyilván egy ügyfélre max annyi tartozik, hogy le van irva, hogy ban két 18 éven aluli gyereked akkor ennyit kapsz, ha van egy sérült gyereked akkor többet kapsz, ha egyedül neveled akkor ennyit stb. ahogy minden esetben meg is szokás tenni a támogatások esetében. a szerzői jogok merülnek fel meg algoritmusok... az már nem tartozik külső felekre.
© codaco2025. 07. 11.. 11:38||#3
Az államigazgatási döntési algoritmusoknak ugyanúgy nyilvánosnak kellene lenni, mint a törvényszövegeknek.
© Cat2025. 07. 11.. 11:35||#2
Ennek a hozzászólásnak mi értelme volt? Mert te is érzed, hogy borzasztóan erősen ferdítesz. Nem a kód a lényeg, és nem a számlában kell benne lennie, de igenis számít, hogy milyen szabályok alapján dönt a hatóság.
© t_robert2025. 07. 11.. 11:29||#1
Ja most azért elképzelem, hogy mellékelnének a villany számla mellé valami ilyesmit(csak sokkal hosszabbat).... Vajon Ádám bá Bivalybasznádon mennyit értene meg? :)
using System;
class Program
{
static void Main(string[] args)
{
int limit = 1_000_000;
int primeCount = 0;

for (int i = 2; i <= limit; i++)
{
if (IsPrime(i))
{
primeCount++;
}
}

Console.WriteLine($"Prímszámok száma 1 és {limit} között: {primeCount}");
}

static bool IsPrime(int number)
{
if (number < 2) return false;
if (number == 2) return true;
if (number % 2 == 0) return false;

int boundary = (int)Math.Sqrt(number);

for (int i = 3; i <= boundary; i += 2)
{
if (number % i == 0) return false;
}

return true;
}
}
na ja ez prim számokat számol meg.... de valahogy így nézne ki Ádám bá villanyszámla melléklete... :)