Successio: a törvényes öröklés modellezése

SuccessioSuccessioa törvényes öröklés modellezésea törvényes öröklés modellezése

Vikman LászlóVikman László

[email protected]@gov.veszprem.hu

A jogi informatika fejlődéseA jogi informatika fejlődése

Kezdetek: 1950-es évek, MI kutatásokKezdetek: 1950-es évek, MI kutatások

Általános céltól a speciális részterületek feléÁltalános céltól a speciális részterületek felé

Kialakult megoldások a jog területén:Kialakult megoldások a jog területén: Jogi adatbázisokJogi adatbázisok Jogi szakértői rendszerekJogi szakértői rendszerek

1978: PTE ÁJK - KTK1978: PTE ÁJK - KTK

Dr. Borgulya István, Dr. Korinek László, Dr. Dr. Borgulya István, Dr. Korinek László, Dr. Tamásfy József, Dr. Vargha László: Tamásfy József, Dr. Vargha László: Jogszabályok elemzése és jogesetek megoldása Jogszabályok elemzése és jogesetek megoldása táblázatok (modellek) segítségével – a büntető táblázatok (modellek) segítségével – a büntető tárgyalás előkészítésetárgyalás előkészítése

A Be. (1973.:I.tv.) 167-186. § (a tárgyalás A Be. (1973.:I.tv.) 167-186. § (a tárgyalás előkészítése) modellezése döntési táblázatokban, előkészítése) modellezése döntési táblázatokban, oktatási – demonstrációs céllaloktatási – demonstrációs céllal

SuccessioSuccessio

A hatályos Ptk-ban meghatározott törvényes A hatályos Ptk-ban meghatározott törvényes öröklés rendjét modellező, pragmatikus jogi öröklés rendjét modellező, pragmatikus jogi szakértői rendszerszakértői rendszer

Miért az öröklési jog?Miért az öröklési jog?

- stabil jogterület, jól formalizált szabályokkal- stabil jogterület, jól formalizált szabályokkal

- kevés mérlegelési pont, kevés visszautalás- kevés mérlegelési pont, kevés visszautalás

- viszonylag kis terjedelmű- viszonylag kis terjedelmű

Öröklési jog szabályozásaÖröklési jog szabályozása

1959. évi IV. törvény, Ptk. 598. - 622. §-ig 1959. évi IV. törvény, Ptk. 598. - 622. §-ig Fontosabb jogintézmények a modellezés Fontosabb jogintézmények a modellezés

szempontjából:szempontjából: törvényes öröklés rendje törvényes öröklés rendje

(leszármazói, házastársi, felmenői)(leszármazói, házastársi, felmenői) kiesés az öröklésbőlkiesés az öröklésből osztályra bocsátásosztályra bocsátás ági öröklésági öröklés özvegyi haszonélvezet megváltásaözvegyi haszonélvezet megváltása ami kimaradt: kötelesrész élők közötti adományozásnál, ági ami kimaradt: kötelesrész élők közötti adományozásnál, ági

vagyon haszonélvezetének megváltásavagyon haszonélvezetének megváltása

A projektcsapatA projektcsapat

Pannon Egyetem Műszaki Informatika Karának Pannon Egyetem Műszaki Informatika Karának hallgatóihallgatói Hegyháti MátéHegyháti Máté Tar Péter Tar Péter Király András Király András Szlama AdriánSzlama Adrián

1 fő jogász1 fő jogász

Alkalmazott szoftvertechnológiaAlkalmazott szoftvertechnológia

Programozási nyelv: Java, ennek előnye a Programozási nyelv: Java, ennek előnye a platformfüggetlenségplatformfüggetlenség

A megvalósítás objektumorientált alapokon A megvalósítás objektumorientált alapokon történt történt

Felhasználói felület: SWING widget készletFelhasználói felület: SWING widget készlet

Problémák a fejlesztés alattProblémák a fejlesztés alatt

tudáskigyűjtés (jogi terminológia értelmezése)tudáskigyűjtés (jogi terminológia értelmezése) feltételek, mérlegelési elemek, nehezen feltételek, mérlegelési elemek, nehezen

modellezhető jogintézmények (pl.): modellezhető jogintézmények (pl.): 602. § (2) – érdemtelenség megbocsátása602. § (2) – érdemtelenség megbocsátása 601. § - házastársi életközösség601. § - házastársi életközösség 614. § (2) - ági vagyon kiadása célszerűtlen?614. § (2) - ági vagyon kiadása célszerűtlen? 616. § - házastársi haszonélvezet korlátozása616. § - házastársi haszonélvezet korlátozása 620. § (2) – osztályrabocsátott vagyon értékének 620. § (2) – osztályrabocsátott vagyon értékének

megállapításamegállapítása

TanulságokTanulságok

Gyakorlatban szükséges a projektnek határt szabni Gyakorlatban szükséges a projektnek határt szabni (ági öröklés modellezésére csak nagyszülőkig (ági öröklés modellezésére csak nagyszülőkig visszamenően van lehetőség – nincs csonka parentéla)visszamenően van lehetőség – nincs csonka parentéla)

Kevés mérlegelést tartalmazó jogszabály esetén jól Kevés mérlegelést tartalmazó jogszabály esetén jól alkalmazható, jobban felhasználható hierarchikus alkalmazható, jobban felhasználható hierarchikus szabályrendszerek esetén, magánjogi viszonyokban szabályrendszerek esetén, magánjogi viszonyokban inkább döntéstámogató, optimalizáló szerep szánható inkább döntéstámogató, optimalizáló szerep szánható nekineki

Már nincs szükség speciális informatikai tudásra, kis Már nincs szükség speciális informatikai tudásra, kis tapasztalattal bármely feladat feldolgozható tapasztalattal bármely feladat feldolgozható

Hasznos módszer lehet a jogalkotás optimalizálására, Hasznos módszer lehet a jogalkotás optimalizálására, „minőségbiztosítására”„minőségbiztosítására”

További feldolgozható területekTovábbi feldolgozható területek Már létező megoldások:Már létező megoldások:

közbeszerzési jog: nyomtatványkitöltő közbeszerzési jog: nyomtatványkitöltő (http://www.kozbesz-segitunk.hu/)(http://www.kozbesz-segitunk.hu/)

pénzügyi jog: Abev-rendszerpénzügyi jog: Abev-rendszer

Potenciális közjogi területek:Potenciális közjogi területek: közigazgatás: hatósági ügyintézés (pl. iratok és adatok közigazgatás: hatósági ügyintézés (pl. iratok és adatok

hiánypótlása), szakhatósági eljárások (paramétereknek hiánypótlása), szakhatósági eljárások (paramétereknek megfelelés)megfelelés)

cégjog: alapító-okirat szerkesztés (e-cégeljárás!)cégjog: alapító-okirat szerkesztés (e-cégeljárás!)

Potenciális magánjogi alkalmazások:Potenciális magánjogi alkalmazások: automatizált piackutatás beszerzéseknélautomatizált piackutatás beszerzéseknél szerződés-szerkesztő alkalmazásokszerződés-szerkesztő alkalmazások

DemóDemó

3 példa:3 példa:

Leszármazói öröklés kiesési okokkal, osztályra Leszármazói öröklés kiesési okokkal, osztályra bocsátással, házastárs haszonélvezetének a bocsátással, házastárs haszonélvezetének a megváltásávalmegváltásával

Házastársi öröklés ági vagyonnalHázastársi öröklés ági vagyonnal

Felmenői öröklésFelmenői öröklés

IsmertetőIsmertető

1. Caius Julius Caesar1. Caius Julius Caesar

Házastárs adataiHázastárs adatai

LeszármazókLeszármazók





Kiszámított örökrészekKiszámított örökrészek

Örökrészek az özvegyi haszonélvezet Örökrészek az özvegyi haszonélvezet megváltása utánmegváltása után

2. Habsburg Rudolf2. Habsburg Rudolf

FelmenőkFelmenők

FelmenőkFelmenők

Ági vagyonrészekÁgi vagyonrészek

Házastárs örökrészeHázastárs örökrésze

3. Az utolsó mohikán3. Az utolsó mohikán

Anyai felmenőkAnyai felmenők

Apai felmenőkApai felmenők

Ági vagyontárgyakÁgi vagyontárgyak

Felmenők adataiFelmenők adatai




Öröklés rendjeÖröklés rendje

Education

Successio: a törvényes öröklés modellezése