Recommended
Recommended
More Related Content
Featured
Featured (20)
Emerald hu v3_4
- 2. Tartalom Előzmények Az Emerald főbb jellemzői Az élő rendszer bemutatása 2
- 3. 3 Előzmények
- 4. Referencia projektek Miskolc Város Önkormányzata (Allex Gold) • GVOP-2004-4.3.1 (2005 – 2006) • Web alkalmazás a rendszeres szociális segélyre és időkorúak járadékára vonatkozó helyi rendeletek szakértői alapú modellezésével Estrella • IST-2004-027655 (2005 – 2008) • Nyílt szabványokra épülő, gyártó- és termék független jogi tudásmenedzsment platform Emerald • KMOP-2009-1.1.1 (2010 – 2012) • Integrált jogszabály / szabályzat modellező keretrendszer 4
- 5. Partnerek Leibniz Center for Law (Universiteit van Amsterdam) University of Liverpool Università di Bologna Fraunhofer FOKUS Budapesti Műszaki és Gazdaságtudományi Egyetem Budapesti Corvinus Egyetem Nemzeti Adó és Vámhivatal OTP Bank 5
- 6. 6 Az Emerald főbb jellemzői
- 7. Emerald rendszer célja Probléma • Jogszabályi / szabályozási környezetünk rendkívül összetett • Elvárt a jogszabályok / szabályozások betartása • Nagy terhet jelent a megalkotásuk és a bennük való eligazodás Emerald rendszer célja • szabályzatok alkotóit és alkalmazóit innovatív web-es informatikai eszközökkel támogassa a bonyolult jogszabályi / szabályozási környezetben való eligazodásban 7
- 9. 9 A modellezés folyamata Forrás- dokumentumok összegyűjtése Dokumentum szabványosítása Fogalmi modellezés Normatív szabály modellezés Tartalom • egységes szerkezet • hozzáfűzött információk Tartalom • fogalom leírások • fogalmi hierarchia • szinonimák Tartalom • normatív szabályok, összefüggések • dialógus alkalmazások Szolgáltatások • dokumentumtár • szemantikus keresés • verziókezelés Szolgáltatások • fogalomtár (ontológia) • újrafelhasználhatóság • rejtett összefüggések és ellentmondások felderítése Szolgáltatások • dialógus alapú tanácsadó alkalmazások • forrásszöveggel való kapcsolatok • fogalmakkal való kapcsolatok xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxxxx xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxx xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxx xxx xxxx xxx xxx xxx xxxx xx xxx xxxxx xx xxx xxx xxxx xxxx xx x xxx xxx xxxx xxxx xx x xxx HA xxx xxxx xxx xxxx xxx xxxx AKKOR xxx xxxx HA xxx xxxx xxx xxxx xxx xxxx AKKOR xxx xxxx HA xxx xxxx xxx xxxx xxx xxxx AKKOR xxx xxxx jármű kerékpár gépjármű motorkerékpár gépkocsi XML§ Szabályzattár Fogalomtár Tanácsadás Szolgáltatási szintek
- 10. A modellezés lépései Forrásdokumentumok szabványosítása (XML szabvány) • szabványos CEN MetaLex formátum Dokumentumok értelmezése (W3C rdf szabvány) • kiegészítés leíró adatokkal, hivatkozások, kommentárok készítése Fogalomtár építése (W3C OWL + SWRL szabványok) • fogalom kigyűjtés, fogalom-osztályozás, definíciók / fordítás készítése • Meglévő fogalomtár pl. EUROVOC (az EU 23 nyelvű tezaurusza) alkalmazása Szakértői döntéstámogatás • normatív szabályok, strukturált szabályok, formális szabályok, kommentárok és egyéb kapcsolatok 10
- 11. Feldolgozás folyamata 11 Törvények Határozatok Egyéb dokumentumok … Dokumentumok, Fogalmak, Szabályok Automatikus és manuális feldolgozás Struktúra leírások, fogalmak, minták Emerald
- 12. Alkalmazási területek (2/1) Szabályzat / követelmény specifikáció modellezése: • Fogalmi rendszer (ontológia) építése fogalmi rendszeren belüli következtetési mechanizmus • Normatív szabályok logikai szabály-alapú leírása fogalmi rendszer feletti következtetési mechanizmus Szabályzat / specifikáció alkotási folyamatok támogatása: • Dokumentum-változások követésének támogatása • Tudásmodell teljességének és ellentmondás-mentességének vizsgálata szinonimák, homonimák, magába foglalás, ellentmondások felderítése • Változások hatásvizsgálata fogalmak megváltoztatásának továbbgyűrűzése szabályok változtatásának szimulációja 12
- 13. Alkalmazási területek (2/2) Szabályzat / specifikáció alkalmazási folyamatok támogatása: • Dokumentumtárak készítése (annotációkkal, leíró adatokkal) • Fogalomtárak készítése (felhasználóknak és rendszereknek) • Szakértő rendszerek készítése Szakértői tudás kiváltása jól körülhatárolt területen Formális magyarázatadás – WHY (“Miért ez a kérdés?” /Kérdés magyarázat/) – WHAT-IF (“Mi lenne, ha ezt választanám?”) – HOW (“Hogyan jutottunk az eredményre?” /Eredmény magyarázat/) • Esetek interaktív és kötegelt kiértékelése 13
- 14. Tapasztalatunk Első szintű feldolgozottság (automatikus: fogalmak kiemelése) • NJT dokumentumok (256 leggyakrabban használt dokumentum) 3502 db • OTP szabályzatok 37 db Második szintű feldolgozottság (fél-automatikus: normatív szabályok leírása) • Illetéktörvény – Ajándékozási illeték • EVA törvény – A bejelentkezés feltételei / EVA kiszámítása • ÁFA törvény – ÁFA fizetési kötelezettség • Miskolci Önkormányzat – tájékoztatás az igénybe vehető szociális juttatásokról • OTP banki kockázatkezelési szabályzat – ügyféllimit kiszámítása • Nemzeti Adó és Vámhivatal – Energiaadó és kapcsolódó rendeletei 14
- 15. 15 Mintapélda bemutatása EVA bejelentkezés EVA mértéke
- 16. Mintapélda Jogszabály: • 2002. évi XLIII. törvény az egyszerűsített vállalkozói adóról (2011.01.01-től hatályos változat) Modellezett kérdések (célok): • Egy még nem EVÁ-s adózó jogosult-e bejelentkezni az EVA hatálya alá? • Mekkora az aktuális adóévben az EVA adóalany által fizetendő EVA mértéke? 16
- 17. EVA 2011 tudásbázis 17 Fogalmak Szabályok Mértéke • 21 szabály Bejelentkezés • 17 szabály
- 18. Cél: EVA mértékének kiszámítása Eva mértéke := az adóalap 30 százaléka, ha az adóalap > 0. 18 Eva alapja := az adóalany által az adóévben megszerzett összes bevétel + e törvényben meghatározott jogcímek szerinti módosítások. Strukturált szabály # 1 Strukturált szabály # 2 15 módosító tétel
- 19. 7. számú módosító tétel “8. § (1) A számvitelről szóló törvény hatálya alá nem tartozó jogi személyiség nélküli gazdasági társaság és korlátlan mögöttes felelősséggel működő egyéni cég adóalanyesetében az eva alapjának megállapításakor az összes bevételt csökkenti az adóévben megszerzett olyan bevétel, amelyet a) az adóévet megelőző bármely üzleti évre vonatkozóan a számvitelről szóló törvény rendelkezései szerint a mérlegben az aktív időbeli elhatárolások között mutatott ki;” 19 Jogszabályi szöveg Ilyen adóalany esetén (R9_v_1) Ilyen adóalany esetén (R9_v_2) Csökkentő tétel Módosító tétel
- 20. 7. számú módosító tétel (Rule_9) 7. sz. módosítás (csökkentő) := az adóévben megszerzett olyan bevétel, amelyet az adóévet megelőző bármely üzleti évre vonatkozóan a számvitelről szóló törvény rendelkezései szerint a mérlegben az aktív időbeli elhatárolások között mutatott ki, ha az adóalany jogi személyiség nélküli gazdasági társaság és az adóalany nem tartozik a számvitelről szóló törvény hatálya alá vagy az adóalany egyéni cég és az adóalany korlátlan mögöttes felelősséggel működik. 20 Strukturált szabály Ilyen adóalany esetén (R9_v_1) Ilyen adóalany esetén (R9_v_2)
- 21. 7. számú módosító tétel (Rule_9_v_1) 21 7. sz. módosítás (csökkentő) := az adóévben megszerzett olyan bevétel, amelyet az adóévet megelőző bármely üzleti évre vonatkozóan a számvitelről szóló törvény rendelkezései szerint a mérlegben az aktív időbeli elhatárolások között mutatott ki, ha az adóalany jogi személyiség nélküli gazdasági társaság és az adóalany nem tartozik a számvitelről szóló törvény hatálya alá vagy … Strukturált szabály evája(?adóalany, ?eva) and JogiSzemélyiségNélküliGazdaságiTársaság(?adóalany) and ?adóalany.számviteliTvHatályaAláTartozik = false and ?adóalany.bevételAktívIdőbeliElhatárolásokKözött = _összeg => ?eva.módosítóTétele07 = - _összeg Formális szabály egyedválasztás osztályba tartozás tulajdonság bekérendő adat értékadás
- 23. Katalógus 23
- 26. Fogalomtár 26
Editor's Notes
- Az Estrella project keretében a Multilogic – a résztvevő egyetemekkel és ipari partnerekkel közösen – egy nemzetközi nyílt szabványrendszert dolgozott ki a dokumentumok szemantikus kezelésére vonatkozóan. Azóta erre a szabványra számos alkalmazás született (holland és német jogszabályok is erre a szabványra épülve készülnek). A Multilogic által kifejlesztett Emerald rendszer is a kidolgozott szabványokra (pl. MetaLex) épül.
- Probléma: A szabályozások életünk valamennyi területére kihatnak. Befolyással vannak egyének, szervezetek és a társadalmak működésére is. Annak ellenére, hogy megfigyelhetők törekvések a szabályozások enyhítésére vonatkozóan is – melyek az egyénekre és szervezetekre nehezedő terheket igyekeznek redukálni –, a szabályozási környezetünk rendkívül összetett.
- A támogatás Emerald megközelítésben azt jelenti, hogy a megszokott természetes nyelven megfogalmazott joganyagok / szabályzatok és az azok informatikai eszközökkel feldolgozható megfogalmazása egy egységet alkotnak a közöttük lévő kapcsolatok segítségével. Az így kialakított kapcsolatrendszer nem csak fogalom magyarázatok, szakértői kommentárok hivatkozását teszi lehetővé, hanem támogatást nyújt a jogszabályok / szabályzatok pontosabb és mélyebb alkalmazói értelmezéséhez, valamint alkotói elemzéséhez. Az Emerald ezen felül lehetővé teszi – a jogszabályok informatikai eszközök általi értelmezésével – szakértői tanácsadó alkalmazások készítését. A szakértői alkalmazások előnye a hagyományos informatikai eszközökkel szemben, hogy csak azokat az adatokat kéri be a felhasználótól, amelyek a jogi kérdés eldöntéséhez elengedhetetlenek, ezen felül képes a megadott válasz pontos indokolására is (eredmény-magyarázat).
- A modellezés folyamata a következő lépésekből áll: 1 – Forrásdokumentumok összegyűjtése (korpusz): Tetszőleges formátumú szöveges dokumentum lehet (pl. Word, HTML, …) 2 – Forrásdokumentumok szabványos alakra hozása (é. MetaLex szabvány konform XML formátumú): Jelenleg Word és HTML formátumról történő konverziók támogatottak, de egyéb formátumokról történő konverzió is könnyedén megvalósítható. A szabványosított formátum előnyei: - egységes szerkezetű dokumentumok állnak elő (XML) - leíró adatok (meta adatok) fűzhetőek az egyes dokumentumokhoz (pl. kibocsátó, hatályosság, verzió, területi hatály, stb.) 3 – Fogalmi modellezés (Forrásdokumentumok kezelése nélkül is önállóan megálló funkcionalitás) lehetővé teszi, hogy az adott szervezetnél egy közös fogalomrendszert ki lehessen alakítani. A fogalomrendszer egyes fogalmai között számos kapcsolat fejezhető ki (SKOS szabvány szerint), mint például: tágabb / szűkebb fogalom, szinonima, mely szakterület fogalma. Ezen kívül definíciók is kapcsolhatók hozzájuk. (Mindez tetszőleges nyelven megtehető.) Amennyiben a dokumentum szolgáltatással együtt használt ez a szolgáltatás, akkor a dokumentumokban való előfordulásai is bejelölhetőek – így kialakítható a dokumentumban előforduló fogalmak magyarázata. Ezen kívül a fogalmak konzisztenciája és összefüggéseinek helyessége informatikai eszközökkel ellenőrizhető. 4 – Normatív szabály modellezés: A fogalmakra épülve a dokumentumban megfogalmazott utasítások / normatív szabályok matematikai eszközökkel (é. HA-AKKOR jellegű szabályok) történő modellezése támogatott ezzel a szinttel. Ez a szolgáltatás lehetővé teszi, hogy a jogszabályban lévő információk alapján a felhasználót segítse a döntéseiben bizonyos jól körülhatárolt kérdések mentén. (pl. Beléphetek-e az EVA hatálya alá? Mekkora a fizetendő SZJA-m?)
- CEN MetaLex szabványról: - szigorúbb struktúrát ad (melyekre ellenőrzési szabályok definiáltak és definiálhatók), ezáltal jobb minőségű dokumentum szerkesztés és keresés valósítható meg - szabványos leíró adatok (meta adatok: ki adta ki, mettől meddig hatályos, …) - a szabvány a minimális elvárást fogalmaz meg kötelezően, a többit ajánlásként ad meg. A szabvány tetszőlegesen tovább bővíthető. Németek, Hollandok ilyen formában hozzák a törvényeiket. Fogalomtárról: Meglévő fogalomtárak is használhatóak, illetve specifikusak is készíthetőek. Az elvárt szolgáltatási szinttől függ, hogy milyen fogalomtárra van szükség. (Minél inkább precízebb, annál több automatizmus alkalmazható: fogalomtárakon való következtetés kategóriákba sorolás, ellentmondás ellenőrzés), viszont ekkor nő a fogalomtár előállításának ráfordítási igénye is. A felépített fogalomtárak szervezeten belül és szervezetek között is publikálható ezáltal biztosítható a közös fogalomhasználat, az egyes fogalmak pontos definícióinak értelmezhetősége, különböző definíciók összevethetősége. A publikálás nem csak felhasználókra, hanem rendszerek számára is lehetséges: ezáltal a különböző szervezetek fogalomtárai összekapcsolhatókká válnak. Pl. szinonimák, magába foglalás stb. relációk definiálásával. Eurovoc-ról: Az Eurovoc az EU 22 nyelvű fogalomtára (tezaurusza). Több ezer fogalom számos kategóriában: politika, jog, tudomány, geográfia, pénzügy, kereskedelem. Ez a fogalomtár szabadon bővíthető. Az EU parlamentje használja az közös terminológiákhoz. Az EuroVocot a EU kiadóhivatala tartja fent. A Kiadóhivatal a W3C (Nemzetközi Web Konzorcium) ajánlásainak és a tezauruszszabványokkal kapcsolatos legújabb fejleményeknek megfelelően áttért az ontológián alapuló tezauruszkezelésre és a szemantikus web-technológiákra. SWRL (Semantic Web Rule Language) szabványról: A W3C által kiadott szabvány, amely a forrásszövegbeli normatív szabályok modellezésére alkalmazott.
- A dokumentumok feldolgozása a következőképpen történik: 1 – A forrásdokumentumokat a rendszer közös formátumra hozza automatikusan. Ez a közös formátumra hozás nem csak formai átalakítást jelent, hanem szövegbányászatot is magába foglal. (pl. hatályosság kiemelése, más dokumentumokra való hivatkozások felderítése). Ez az automatikus feldolgozás közös struktúra leírás alapján történik. Valamint ide tartozik az előre definiált fogalomtárak fogalmai alapján történő bejelölés: a dokumentumra vonatkozóan meghatározható, hogy mely fogalmakat jelölje be a dokumentumban. 2 – A forrásdokumentumok kézi bejelölése: Az automatikus bejelölés csak kb. 95%-os pontossággal végezhető el (pl. szinonimák, visszahivatkozások miatt), ezért kézi annotációval biztosítható az abszolút pontosság – ha erre szükség van. Ezzel a kézi annotációs funkció biztosítja a kommentárok szöveghez történő kapcsolását is.
- Az Emerald következtetések matematikai háttere Az Emerald mind a fogalmakon, mind a normatív szabályokon képes következtetéseket végezni. Ennek alapján az első rendű matematikai logika adja: - Fogalmi rendszer: leíró logika használata Szabály alapú leírás: Horn-logika használata Fogalmakon való következtetés Fogalmi rendszeren belüli következtetési mechanizmus: subszumálás (alárendelés osztályozási kategóriákba sorolás), ellentmondás felderítése (a besorolás szabályai között ellentmondás lép fel) Megjegyzések: - Szinonimák (rokon értelműség): egy fogalmat többféle szóval is kifejezhetünk (pl. bicikli, kerékpár) - Homonimák (azonos alakúság): írásképük azonos, de jelentésük más (pl. ár – folyóval kapcsolatban, pénzügyi dolgokkal kapcsolatban) Magába foglalás: “minden bogár rovar, de nem minden rovar bogár” Normatív szabályok való következtetés Fogalmi rendszer feletti szabályokon alapuló következtetési mechanizmus: levezeti a következményeket a szabályzaton alapulva a felhasználó válaszai alapján (felhasználóra szabva)
- Szakértő rendszerek készítése: szakértő tudásának kiváltása (szakértő tudását szabályokkal meg lehet fogalmazni ezt képes a számítógép) Egy ilyen szakértői rendszerben (más néven tudásalapú rendszerben) a beépített tudásbázison egy következtető gép segítségével oldunk meg problémákat. A felhasználó a szakértői rendszerrel való konzultációval, képes bizonyos kérdéseire választ kapni. Pl. Kell-e illetéket fizetnem? Beléphetek-e az EVA hatálya alá? Milyen szociális juttatást kaphatok? Az Emerald-beli tudásbázisban hosszú következtetési láncolatok leírására és azokon való következtetésekre lehetőség van.
- A mintapéldában az EVA törvényre vonatkozóan két gyakran felmerülő kérdés megválaszolását modelleztük le az Emerald eszköz segítségével. A modellezett kérdések (célok: melyekre a felhasználó választ szeretne kapni) megválaszolásához a rendszer egy dialógust indít a felhasználóval: a felhasználónak feltett kérdések alapján levezeti a jogszabályban megfogalmazott szabályok alapján a választ. Ezáltal nem kell a felhasználónak a jogszabályt értelmeznie, illetve nem is kell valamely szakértőt (pl. könyvelőt, jogászt) megkérdeznie.
- A dialógus alkalmazás kifejlesztéséhez az alábbi fogalmakat azonosítottuk a jogszabályban. Illetve a két modellezett cél meghatározásához 21, illetve 17 szabályt azonosítottunk a jogszabályban. Ezek felhasználásával lehet a tudásbázist felépíteni, amelyen a dialógus alkalmazás képes futni.