A kondicionálisok problémája jogszabályszövegekben



Hasonló dokumentumok
LOGIKA ÉS ÉRVELÉSTECHNIKA

LOGIKA ÉS ÉRVELÉSTECHNIKA

Elliptikus listák jogszabályszövegekben

LOGIKA ÉS ÉRVELÉSTECHNIKA

Ítéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus

Irományrna. : ivfuj n

Kijelentéslogika I szeptember 24.

Sass Bálint MTA Nyelvtudományi Intézet, Nyelvtechnológiai Osztály PPKE, Információs Technológiai Kar, MMT Doktori Iskola

Mit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? 4/14/2014. propozicionális logikát

Az alapvető jogok biztosának Jelentése Az AJB-4304/2014. számú ügyben

Útmutató a tagállamok számára Irányítási ellenőrzések

Emberi jogok és szociális munka modul

LOGIKA ÉS ÉRVELÉSTECHNIKA

Általános Szerződési Feltételek

Az alapvető jogok biztosának Jelentése az AJB 1940/2014. számú ügyben

Ítéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus

A készletezés Készlet: készletezés Indok Készlettípusok az igény teljesítés viszony szerint

Bírálat Petrik Péter "Spektroellipszometria a mikroelektronikai rétegminősítésben" című MTA doktori értekezéséről.

Magyar nyelv. 5. évfolyam

A kármegosztás és a munkáltató kárfelelősség alóli mentesülésének szabályai az új Munka Törvénykönyvében tekintettel a bírói gyakorlatra

Terület- és településrendezési ismeretek

Knoch László: Információelmélet LOGIKA

Javaslat A TANÁCS RENDELETE. a forgalomba hozatalra szánt euróérmék címleteiről és műszaki előírásairól. (átdolgozás)

Matematikai logika Arisztotelész Organon logika feladata Leibniz Boole De Morgan Frege dedukció indukció kijelentésnek

FELHASZNÁLÓI LEÍRÁS a DIMSQL Integrált Számviteli Rendszer Készlet moduljának használatához

Tárgyalástechnika. kommunikáció konfliktus kompromisszum. HÍD Dunaújváros és Környéke Egyesület 2007

FAVIS Group ÁLTALÁNOS SZERZŐDÉSI FELTÉTELEK

Az üzletrész-átruházási szerződésről

Predikátumkalkulus. 1. Bevezet. 2. Predikátumkalkulus, formalizálás. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák.

A SunCity Tattoo & Piercing Szalon Szeged Adatvédelmi,- És Adatkezelési Szabályzata TARTALOMJEGYZÉK

Matematikai logika. 3. fejezet. Logikai m veletek, kvantorok 3-1

PEDAGÓGIAI PROGRAM ÉS HELYI TANTERV MÓDOSÍTÁSA

TUDOMÁNYOS MÓDSZERTAN ÉS ÉRVELÉSTECHNIKA

A teljesítményértékelés és minősítés a közigazgatási szervek vezetésében

Hivatkozás hagyományos és elektronikus forrásokra

Az alapvető jogok biztosának Jelentése az AJB-7657/2013. számú ügyben

Papp Gábor Előadás, október 19. Bűnözés és vándorlás

LOGIKA ÉS ÉRVELÉSTECHNIKA

Általános Szerződési Feltételek

Általános statisztika II. Kriszt, Éva Varga, Edit Kenyeres, Erika Korpás, Attiláné Csernyák, László

Az alapvető jogok biztosának Jelentése az AJB-2217/2016. számú ügyben

Általános szerződési feltételek

Általános Szerződési Feltételek

IV. Szakmai szolgáltatások funkcionális tervezése

BMEEOUVAI01 segédlet a BME Építőmérnöki Kar hallgatói részére. Az építész- és az építőmérnök képzés szerkezeti és tartalmi fejlesztése

A számviteli törvény évi változásai, 2012-es üzleti év zárása (3x45 perc)

Aronic Főkönyv kettős könyvviteli programrendszer

ÁLTALÁNOS SZERZŐDÉSI FELTÉTELEK

Penta Unió Zrt. Az Áfa tükrében a zárt illetve nyílt végű lízing. Név:Palkó Ildikó Szak: forgalmi adó szakirámy Konzulens: Bartha Katalin

Az EDIMART Tolmács-és Fordításszolgáltató általános szerződési feltételei (a továbbiakban: ÁSZF)

PANNON EGYETEM. Nyelvtudományi és Neveléstudományi Doktori Iskola

A szolgáltató székhelye: 1165 Budapest, Perjés utca 45/2.

AZ ELSŐ ÉS MÁSODIK DEMOGRÁFIAI ÁTMENET MAGYARORSZÁGON ÉS KÖZÉP-KELET-EURÓPÁBAN

PENTA-UNIÓ Zrt. Ingatlanok értékesítésének adójogi kezelése az Irányelv és a tagállami szabályozások tükrében

OKTATÁSI ÉS KULTURÁLIS MINISZTER /2006.

ERserver. iseries. Szolgáltatási minőség

A BIZOTTSÁG KÖZLEMÉNYE AZ EURÓPAI PARLAMENTNEK, A TANÁCSNAK, AZ EURÓPAI GAZDASÁGI ÉS SZOCIÁLIS BIZOTTSÁGNAK ÉS A RÉGIÓK BIZOTTSÁGÁNAK

Függvények határértéke, folytonossága

ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)

A logikai következmény

A.26. Hagyományos és korszerű tervezési eljárások

Mit gondolnak a vállalatvezetők az üzleti kapcsolatok értékéről?

Pécsi Tudományegyetem Állam- és Jogtudományi Kar Doktori Iskola Bőnügyi Tudományok. Hautzinger Zoltán. PhD értekezés tézisei

Békéscsaba és Térsége Többcélú Önkormányzati Kistérségi Társulás ÖNKÖLTSÉGSZÁMÍTÁSI SZABÁLYZAT

MAGYAR NYELV ÉS IRODALOM

A MEDIAREY HUNGARY SERVICES KFT. ELŐFIZETÉSI ÁLTALÁNOS SZERZŐDÉSI FELTÉTELEK 1. SZÁMÚ MELLÉKLETE

Egyetemi doktori (PhD) értekezés tézisei A FELELŐSSÉG KÉRDÉSEI AZ UTAZÁSI SZERZŐDÉSEK ÉS UTASJOGOK KÖRÉBEN. Dr. Zoványi Nikolett

Az alapvető jogok biztosának Jelentése Az AJB-574/2016. számú ügyben (Előzményi ügy: AJB-4424/2015. )

Logikai ágensek. Mesterséges intelligencia március 21.

Dr. Saxné Dr. Andor Ágnes Márta. Immateriális javak a számviteli gyakorlatban

Szakmai beszámoló és elemzés a békéltető testületek évi tevékenységéről

A matematika nyelvér l bevezetés

CSALÁDI GAZDASÁGOK VERSENYKÉPESSÉGE BÉKÉSBEN. BARANYAI ZSOLT TAKÁCS ISTVÁN dr.

Helyi tanterv. Szakiskolát végzettek középiskolája. Közismeret

Böcskei Elvira* AZ ÚJRAKODIFIKÁLT SZÁMVITELI TÖRVÉNY, - KÜLÖNÖS TEKINTETTEL A MÉRLEGKIMUTATÁSRA

Techno-Tel Kft. a. tagja. Egységes szerkezetbe foglalt

Negáció igazságtáblája. Propozicionális logika -- levezetések. Diszjunkció igazságtáblája. Konjunkció igazságtáblája. Kondicionális igazságtáblája

Általános Szerződési Feltételek és adatkezelési szabályzat

OTDK-DOLGOZAT

A Formális nyelvek vizsga teljesítése. a) Normál A vizsgán 60 pont szerezhet, amely két 30 pontos részb l áll össze az alábbi módon:

Techno-Tel Kft. a. tagja. Módosított, egységes szerkezetbe foglalt

Speciális ingatlanok értékelése

BÉRSZÁMFEJTÉS 1 S Z O F T V E R E N G E D É L Y E Z É S I S Z E R ZŐDÉS

Tóth I. János: Kutatók és oktatók Az oktatók hátrányáról

Módszertani útmutató városi közösségi közlekedési projektek költség-haszon elemzéséhez. Nemzeti Fejlesztési Ügynökség

Az alapvető jogok biztosának és a jövő nemzedékek érdekeinek védelmét ellátó helyettesének Közös jelentése az AJB-383/2016.

A HUMÁNERŐFORRÁS-GAZDÁLKODÁS KÉRDÉSEINEK VIZSGÁLATA A NEMZETBIZTONSÁGI SZOLGÁLATOKNÁL

9. A FORGÁCSOLÁSTECHNOLÓGIAI TERVEZŐ-RENDSZER FUNKCIONÁLIS STRUKTÚRÁJA

VIZUÁLIS KULTÚRA. 4 évf. gimnázium reál orientáció

A vállalkozások tevékenységének komplex elemzése

LOGIKA ÉS ÉRVELÉSTECHNIKA

Magyar Közgazdasági Társaság Baranya Megyei Szervezete: Pénzügy-politikai elıadássorozat Pécs, április 20. A KÖZPÉNZÜGYEK SZABÁLYOZÁSA

Predikátumkalkulus. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. Vizsgáljuk meg a következ két kijelentést.

TARTALOM AZ INFORMATIKA FOGALMA A fogalom kialakítása Az informatika tárgyköre és fogalma Az informatika kapcsolata egyéb

21. szám 124. évfolyam július 3. TARTALOM. Utasítások 48/2009. (VII. 3. MÁV Ért. 21.) VIG számú

Költségvetés és árképzés az építőiparban TERC Kft., Budapest, 2013.

Szakdolgozati szabályzat

Budapest április

h a t á r o z a t o t.

Levélcím: Telefon: Fax: Ügyszám: Vj/068/2012. Iktatószám: INFORM MÉDIA Lapkiadó, Információs és Kulturális Kft. POP Print Online és Piac Kft.

Átírás:

Szeged, 2014. január 16 17. 295 A kondicionálisok problémája jogszabályszövegekben Markovich Réka 1, Hamp Gábor 2, Syi 2 1 ELTE Filozófiatudományi Doktori Iskola, Logika Tanszék 1088 Budapest, Múzeum körút 4/I, markovich@phil.elte.hu 2 BME Szociológia és Kommunikáció Tanszék 1111 Budapest, Egry József u. 1. hampg@eik.bme.hu,i@syi.hu Kivonat: A jogszabályszövegek gépi feldolgozása során érdemes figyelembe venni a jogszabályok nyelvtechnológiai szempontból egyedi vonásait (a jogszabályok deontikus jellegét és kontextusérzéketlenségét, a szövegen belüli definíciók és a listás felsorolások gyakori jelenlétét), és ezek ismeretében kell felkészíteni a nyelvtanokat a gépi elemzés számára. A jogszabályokban kiemelt jelent sége van a kondicionalitás jelenségének, mert a jogszabályok alkalmazásának szükséges és elégséges feltételeit lehet velük kifejezni. Jelen tanulmányunkban ezért a kondicionális és retrokondicionális mondatok felismerésére alkalmas nyelvtant mutatjuk be. Kutatásunk során a jogszabályszövegek gépi elemzésének lehet ségeit vizsgáljuk. Ehhez olyan tudáskomponenseket kezdtünk el építeni, amelyek egy jól m köd mondatelemz vel együtt képesek lehetnek a gépi elemzések támogatására. Bár érdemi eredményeket csak hatékony mondatelemz birtokában lehet várni, úgy véljük, hogy amíg ez nem áll rendelkezésre, addig is lehet értelme az el készít munkáknak. Ezért olyan komponenseket definiáltunk, amelyek jogalkotási, logikai, valamint nyelvtechnológiai tudásokat egybegy jtve a kés bbiek során hasznosíthatóak lehetnek. A természetes nyelvi mondatok gépi elemzése, az ehhez szükséges formális szemantika kidolgozása során számos nehézséggel szembesülhetünk. Els ként kell kiemelnünk azt a problémát, hogy a logikai formalizálás következtében jópár általában a pragmatika keretében kezelt tartalmi összefüggés nem ragadható meg igazán. A természetesnyelv-használati praxisok körében valószín leg a jogszabályszövegek világa az, ahol a legkevesebb teret szeretnénk hagyni a pragmatikai jelenségeknek. Nagyon furcsállanánk, ha egy bírósági döntésben arra hivatkoznának, hogy egy adott kitétel ugyan nem szerepelt a jogszabályban, de a kontextus sugallta azt (vagyis a társalgási implikatúra keretében jelen volt). A jog világában nincs irónia, nincsenek metaforák. Csak szószerinti jelentés van, aminek egyértelm jele, hogy a legfontosabb fogalmak jelentését a jogszabályok értelmez rendelkezéseiben rögzítik (a jogszabály-szerkesztést l szóló IRM rendelet [3] 2. -a ki is mondja a jogszabályok ellentmondásmentességére vonatkozó elvárást). Ezért szokás úgy hivatkozni a jogszabályszövegekre, hogy azok szárazak. Viszont épp ezért gondolhatjuk, hogy ha valamely természetesnyelv-használati közeg alkalmas a gépi elemzésre, akkor a jogszabályok szövege az.

296 X. Magyar Számítógépes Nyelvészeti Konferencia A jogszabályszövegek sajátosságai A jogszabályszövegeknek van néhány érdekes vonása, amiket nyelvtechnológiai szempontból feltétlenül figyelembe kell vennünk. Egyrészt a szabatosságra törekvés nagyon gyakran eredményez többszörösen összetett mondatot, és ez a tény pontos és hatékony szintaktikai elemz nélkül megnehezíti az adekvát tagmondat-beazonosítást. Másrészt tipikus a paragrafusokon, illetve bekezdéseken belüli pontokba rendezés, mely gyakran lista típusú felsorolásokat takar. Ezek a felületes szemlél számára tördelési megfontolások eredményének t nhetnek, valójában strukturális rendezések, amelyeknek kihatása lehet a tagmondatok közti logikai kapcsolatokra is. A szövegszer összekapcsolás a mondatokat lineárisan köti össze a konkatenáció m veletével, ami annyit jelent, hogy a mondatok egymáshoz f zése az olvasás irányával egyezik meg (mondhatjuk azt, hogy vízszintes). Ezzel szemben a listás összekapcsolás esetében jelentkezik egy másik viszonyítási dimenzió: amikor a szöveg olvasási irányához képest ortogonálisnak (függ legesnek) tekinthet irányban is kapcsolat van a tagmondatok között. Ezt a jelenséget a torontói kommunikációelméleti iskola tárta fel el ször. Az írásbeliség sajátosságait keresve az iskola egyik képvisel je, Jack Goody [4.] az írott szöveg jellegzetességeként említette a grafonyelvi technikákat, amelyek olyan lehet ségeket kínálnak az írás befogadója számára, amire a szóbeliség nem (nem is lehet) képes. Ilyen grafonyelvi technika a lista, de ide tartozik a táblázat, a keresztrejtvény vagy a mátrix is (ezek azonban számunkra most kevéssé érdekesek). El fordulhat, hogy a jogszabályokban megjelen listák csak tördelési szempontból t nnek másnak a normál mondatokhoz képest, bár a listaelemeket jelz (és egymástól elválasztó) felsorolásjelek (bet k, számok, grafikai jelek, zárójelek) szövegbe ágyazása már önmagában is megtöri a mondatszerkesztés jólformáltságát. Sok más esetben azonban akkor sem kapunk jólformált mondatokat, ha eltekintünk a felsorolásjelekt l. A jogszabályokon belüli listák gyakori felbukkanása azért fontos, mert felismerésük egyfel l újszer feladatot jelent a mondatelemzés számára, másfel l fel kell készülni arra is, hogy a listák összetev it ugyanúgy többféle módon kapcsolhatjuk össze egymással, ahogy ez az egyszer, szövegszer en összetett mondatoknál is megfigyelhet. A jogszabályok logikai elemzésének további sajátossága abból fakad, hogy a norma nem leír, hanem el ír. Az el írásoknak azonban nem állítások az eszközei, márpedig a klasszikus logika elvileg csak állításokon m ködik: az állítások igazságátörökít jellege adja egy levezetés logikai érvényességét, igazsága pedig csak állításoknak van, el írásoknak nincs. Ezt a sajátosságot hivatott kezelni a deontikus logika. Ám ha a jogszabályban szerepl mondatok felszínét nézzük, akkor kijelent mondatokat, vagyis állításokat találunk, amelyek nulladrendben deontikus logikai eszközök nélkül is elemezhet ek. A logikai kapcsolók A jogszabályszövegek mondatépítkezése gyakorta komplex szerkezeteket hoz létre. Az összetett mondatokat logikailag úgy ragadhatjuk meg, hogy egyszer mondatokat

Szeged, 2014. január 16 17. 297 kapcsolunk össze logikai konnektívumok (logikai kapcsolók) segítségével. Elvileg tizenhat bináris logikai kapcsoló lehetséges. Ebben nincs benne a logikai tagadás, mivel az nem bináris m velet. A logikai tankönyvekben ritkán mutatják be mind a tizenhat bináris logikai m veletet, ezért érdemes itt felsorolni mindegyiküket. A m veleteket igazságtábla segítségével jellemezhetjük. Ha két propozíciót (A-t és B-t) összekapcsolunk a logikai konnektívumainkkal, akkor az összekapcsolások igazságértékei az alábbi módon alakulnak. 1. táblázat A i i h h B i h i h 1 ellentmondás h h h h 2 konnegáció h h h i 3 retroszubtrakció h h i h 4 kontraprojekció h h i i 5 szubtrakció h i h h 6 kontra-retroprojekció h i h i 7 biszubtrakció h i i h 8 exklúzió h i i i 9 konjunkció i h h h 10 bikondicionális i h h i 11 retroprojekció i h i h 12 kondicionális i h i i 13 projekció i i h h 14 retrokondicionális i i h i 15 diszjunkció i i i h 16 tautológia i i i i Ezek közül néhányat sosem használunk a természetes nyelvben, így a fenti tizenhat kapcsoló közül kivehetjük az ellentmondást (1) és a tautológiát (16), valamint a négyféle projekció m veletét (4, 6, 11, 13) mint gyakorlatilag érdektelen eseteket. Marad tíz lehetséges kapcsoló, ám ezek közel sem azonos gyakorisággal fordulnak el a tényleges nyelvhasználatban. Nem véletlen, hogy a logikai nyelvek praxisában, oktatásában öt-hat m veletr l beszélnek a maradék tíz helyett. A leggyakrabban használt kapcsolók a kondicionális (12), a diszjunkció (15), a konjunkció (9) és a bikondicionális (10), a többi m velet ezekhez képest ritkábban bukkan fel. M szaki szövegekben fontos szerepe van az olyan ritkábban használt konnektívumoknak, mint a szubtrakció (5) és retroszubtrakció (3), a biszubtrakció (7), a konnegáció (2) és exklúzió (8). Ritkán el forduló jelenségnek szokás tartani, ám épp a jogi szövegekben fontos szerepet kap a retrokondicionális m velete (14). Kutatásunkban els körben a logikai konnektívumok közül a kondicionális megjelenéseit, beazonosíthatóságát vizsgáljuk. A ha-akkor -os szerkezetként emlegetett konnektívum a leggyakoribb következtetési eljárás, a modus ponens-szel való kapcsolata miatt kiemelt jelent séggel bír a logikában. Ráadásul vizsgálata akár az els körös intuícióinkkal szembemen eredményt is hozhat (sok logikával ismerked számára nehezen elfogadható, hogy a kondicionális el tagja hamissága esetén is igaz), így érdemi kimenet remélhet a logikai elemzést l. Az intuícióellenességgel

298 X. Magyar Számítógépes Nyelvészeti Konferencia kapcsolatban érdemes megjegyeznünk, hogy mégha vitatható is, hogy a kondicionálisnak megfelel-e a természetes nyelvi ha-akkor szerkezet, abban azért egyet szokás érteni, hogy ez utóbbit logikailag a kondicionálissal ragadhatjuk meg leginkább. Kutatásunk azonban épp arról szól, hogy mit mondhatunk err l a megfeleltetésr l. Igaz-e egyrészr l, hogy a jogszabályokban a ha-akkor -os szerkezetek logikailag kondicionálist rejtenek, másrészr l találni-e olyan kondicionálist, amelynek nem ez a felszíni szerkezete, lehet-e a kondicionális más köt szóval összekapcsolt tagmondatok együttese, esetleg kifejezhetjük-e egyszer mondattal is. Szintén kérdés, hogy a kondicionalitás, ami magyarul feltételességet jelent, hogyan viszonyul a tagmondatok sorrendjéhez. A logikában ismert tétel [5], hogy a klasszikus kondicionálissal elégséges, míg a retrokondicionálissal (vagy konverz kondicionálissal) szükséges feltételt állapítunk meg. Ha ezt elfogadjuk, a nyelvi vizsgálat során azt kell megvizsgálnunk, hogy ez a köt szó-megfordítás a nyelvi szerkezet szintjén is általános-e: valóban minden akkor-ha -s szerkezet retrokondicionálist rejt-e logikailag, illetve milyen más nyelvi megjelenési módozatai vannak a retrokondicionálisnak. A fenti kérdések megválaszolása után következik az a feladat, ami az egész projektet nyelvtechnológiailag relevánssá teszi: milyen input adható (adandó) ahhoz, hogy az ember által megtalált szabályosságok gép által felismerhet vé (s ezáltal kés bb automatikusan elemezhet vé) váljanak, s mindez milyen biztonsággal adható meg. Ez természetesen függ a rendelkezésre álló nyelvelemz szoftverek (esetünkben a NooJ) lehet ségeit l és korlátaitól, és függ a jogszabály-szerkesztési gyakorlat szabályosságától, következetességét l. A kutatás eredménye egyúttal rámutathat olyan speciális sajátosságokra, amelyek a vizsgált szöveg m fajából fakadnak (kimutatva ezzel esetleg bizonyos strukturális összefüggéseket a jogszabályszöveg mint m faj és a logikai konnektívumok között). A kondicionális és a retrokondicionális gép általi megkülönböztethet sége pedig gyakorlati haszonnal kecsegtet eredmény: a jogalkalmazás során hasznos ismeret, hogy az adott jogszabály bizonyos tényállásokhoz, értékelésekhez elégséges vagy szükséges feltételeket állapít meg. Az elemz nyelvtan felépítéséhez a gazdasági reklámtörvényt (Grtv.) [2] használtuk tanulókorpusznak. A törvény valamennyi mondatát annotáltuk, és azokban kerestük a kondicionálisok és retrokondicionálisok nyelvi megjelenési módozatait. A következ kben bemutatott példáink ezért mind a Grtv-b l származnak. A kondicionalitás mintázatai A kondicionális mondatok természetesen a ha-akkor szerkezet mellett másféle felszíni formában is kifejezhet ek. Nyilvánvaló példaként hivatkozhatunk az amennyiben, akkor, mikor, akkor nyelvi szerkezetekre. A felismerés szempontjából fontos tény, hogy a jogszabályokban többször hagyják el az akkor tagot, mint ahányszor megjelenítik, ami azt is jelenti egyben, hogy a kapcsoló ha tagja van kulcsszerepben. Kevésbé kézenfekv az a tény, hogy egyszer mondattal is kifejezhet logikai kondicionális. Erre az esetén névutó használata a legjobb példa: 6. (4) Megtiltás esetén az érintett személy részére reklám közvetlen üzletszerzés útján a továbbiakban nem küldhet. (Értsd: Ha megtiltották, akkor nem küldhet reklám. )

Szeged, 2014. január 16 17. 299 Szintén kevésbé várt megoldás az, amikor nem egy, hanem két egymást követ (önmagában is összetett) mondat fed le egy logikai kondicionálist. A köt szó a második mondat elején szerepl ebben az esetben : 6. (3) Az (1) bekezdés szerinti hozzájáruló nyilatkozat bármikor korlátozás és indokolás nélkül, ingyenesen visszavonható. Ebben az esetben a nyilatkozó nevét és minden egyéb személyes adatát az (5) bekezdésben meghatározott nyilvántartásból haladéktalanul törölni kell, és részére reklám az (1) bekezdésben meghatározott módon a továbbiakban nem közölhet. (Értsd: Ha visszavonták a nyilatkozatot, az adatokat törölni kell és reklám a továbbiakban nem küldhet. ) A retrokondicionális az akkor-ha alapeseten kívül szintén el fordulhat akkor tag nélkül is. Ebben az esetben az segít a beazonosításban, hogy a ha elem a második tagmondatban van. Jócskán megnehezíti a gépi felismerés számára adott instrukciót a többszörösen összetett mondat: 19. (3) Nem min sül dohánytermék reklámjának az olyan áru reklámozása, amelynek elnevezése, megjelölése vagy árujelz je valamely dohánytermékével megegyezik, ha az áru elnevezése, megjelölése vagy árujelz je egyértelm en elkülöníthet a dohánytermékét l. A megadandó nyelvtanban számolnunk kell a retrokondicionális kontraponáltjának el fordulásával is: 5. (2) Ilyen nyilatkozat hiányában a reklám nem tehet közzé (Értsd: Ha nincs nyilatkozat, nem tehet közzé a reklám, vagyis abból, hogy jogszer en közzétették a reklámot, következtethetünk arra, hogy el tte nyilatkoztak. ) Komoly nehézséget jelentenek különösen a gépi feldolgozás szempontjából azok az esetek, ahol beágyazott kondicionálisokat találunk. El fordul azonban, hogy a köt szó árulkodó annyira, hogy nagy bizonyossággal megadhatjuk a teljes beágyazott szerkezetet. Az alábbi mondatban a kivéve ha kapcsoló felfedi azt a küls kondicionálist is, amelynek egyébként nincs felszíni jele: (3) A (2) bekezdést l eltér en, a kereskedelmi kommunikáció megjelenítési módjával összefügg okból ered jogsértésért az is felel, aki a kereskedelmi kommunikációt az arra alkalmas eszközök segítségével megismerhet vé teszi, valamint aki önálló gazdasági tevékenysége körében a kereskedelmi kommunikációt megalkotja vagy ezzel összefüggésben egyéb szolgáltatást nyújt, kivéve, ha a jogsértés az (1) bekezdés szerinti vállalkozás utasításának végrehajtásából ered. (Értsd: Ha a megjelenítési módból adódóan jogsért a reklám, akkor csak akkor nem felel a közzétev, ha a reklámozó utasította. Ennek a logikai szerkezete tehát: A (~B C).) Érdekes és nehézséget jelent, hogy a retrokondicionális nyelvi megjelenítésének prototípusa, az akkor-ha az is -sel kiegészülve megfordítja a logikai kapcsolatot, hiszen az derül ki bel le, hogy az utótagban megjelölt feltétel nem szükséges, hanem elégséges. Így épphogy nem a retrokondicionális, hanem a kondicionális köt szavaként kell számolnunk az akkor is, ha köt szóval: 9. (2) Az (1) bekezdés szerinti vállalkozás felel akkor is, ha a kereskedelmi gyakorlatot szerz dés alapján más személy valósítja meg a vállalkozás érdekében vagy javárára A kondicionálison és a retrokondicionálison túl a bikondicionális is el fordulhat a jogszabályszövegekben. Az ezt jellemz akkor és csak akkor szerkezettel ugyan nem találkoztunk, olyan esetekkel viszont igen, amikor egy-egy kondicionális vagy retrokondicionális formáját ölt mondat valójában bikondicionálist takart. Csakhogy ezt óvatosan kell kezelnünk, mert a bikondicionalitás felismerése a lexikalitáson túlmutató háttértudást feltételez, jellemz en a jog fogalmából, eszközeinek struktúrájából tudható. Példa erre a Ha a külön törvény eltér en nem rendelkezik, az ilyen

300 X. Magyar Számítógépes Nyelvészeti Konferencia szabályok megsértésére e törvény rendelkezéseit megfelel en alkalmazni kell mondat. Ennek olvasásakor nem derül ki számunkra, hogy a feltétel visszafelé is áll: abból, hogy az adott passzust alkalmazni kell, tudjuk, hogy arról a kérdésr l nem rendelkezett eltér en külön törvény. Ez egy kondicionálisnál nem lenne igaz. Ez a tudás azonban nem a jogszabály szövegéb l nyerhet ki, hanem a jogalkotási mechanizmus ismeretéb l. Így ezeket a mondatokat nem jelöltük külön, a felszíni szerkezet szerint soroltuk be ket, s ennek megfelel en a bikondicionális kategóriájával ebben a cikkben nem foglalkozunk. A nyelvtanok és az eredmények Az elemzéshez a NooJ nyelvelemz környezetet használtuk [6], aminek segítségével számos magyar nyelv elemzés született, amelyekkel az MSzNy korábbi konferenciaköteteiben találkozhattunk. A mi célunk az volt, hogy a kondicionális típusú (kondicionális, retrokondicionális) konnektívumokat tartalmazó mondatokat megtaláljuk, illetve azonosítsuk bennük a logikai kapcsolatban álló tagmondatokat. Az elemzéshez a Grtv. szövegét úgy készítettük el, hogy a NooJ-keresés szövegegységei mondatok legyenek, tehát a jogszabályi szövegek bizonyos elemeit (hatályosságra vonatkozó megjegyzéseket, korábbi változatoktól való eltérésekre utalások jegyzeteit), valamint a jogszabályok fontos részét képez tagolóelemeket (fejezetelés, jogszabályi bels azonosítókat stb.) elhagytuk. További része volt a szövegel készítésnek a felsorolások feloldása. A feloldás kifejezést azért lehet használni, mert a listák egyfajta rövidítésként foghatók fel, amelyek részben a könnyebb áttekinthet séget, részben a tipográfiai redundanciák elkerülését szolgálják. A feloldás azonban nem magától értet d, mivel a listák id nként más funkciójúak. A feloldások tipográfiai következménnyekkel jártak; például a felsorolások szerkezetéb l fakadóan a listában szerepl elemeket, amelyek a lista elején álló egység (tagmondat vagy éppen mondatok) kiegészítései, a listaszer felsorolás vessz vel, illetve más kapcsoló elemekkel ( továbbá, valamint stb.) választja el. Ezeket az átköt elemeket a szövegel készítésben mondatzáró központozással helyettesítettük. A helyettesítéseknél törekedtünk arra, hogy a kodifikációs szokások tipográfiai transzformálása ne eredményezzen jelentésmódosítást. Mivel a listák viszonylag tipikus és jól formált elemek a jogszabályi szövegekben, ezért formálisan is jól leírhatók, a feloldásuk automatizálható. Találtunk azonban olyan esetet, amely módosítást idézett el a logikai szerkezetben: egy látszólag retrokondicionális szerkezettel rendelkez felsorolást a felsorolás ténye éppen visszahelyezett a kondicionális státuszba, mivel az egyes megjelölt feltételek nem lehetnek szükségesek, ha a felsorolás bármely elemének önálló teljesülése elegend az els tagmondatbeli min sítéshez. A listafeloldás azonban külön mondatokat csinál bel lük, így egyenként mind retrokondicionálisként értékelhet. A keresések ideális kivitelezése az lenne, hogy az el készített szöveget szintaktikai elemz segítségével tagmondatokra, és azokon belül frázisokra bontjuk, majd az így felcímkézett szövegben a szövegegységeken belül megkeressük a logikai kapcsoló elemeket (a hatókörük kijelölésével együtt). A mondattani elemz modul híján azonban csak arra volt módunk, hogy felszíni illesztéseket keres nyelvtanokat építsünk. Ezek gráfjait mutatjuk be az 1. és 2. ábrán.

Szeged, 2014. január 16 17. 301 1. ábra: kondicionálist tartalmazó mondatokat azonosító nyelvtan Az 1. ábrán látható nyelvtan a kondicionálisokat tartalmazó mondatok azonosítását és felcímkézését végzi el. A tanulókorpuszban talált minták alapján a kondicionálisok négy alaptípusát különítettük el. A ha akkor szerkezetek adták az els típust. Ennél az el tag tartományát kijelöl ha vagy szinonimája kötelez elem, az akkor tag opcionális. A második típus a jogszabályi szövegekben gyakran szerepl visszautaló fordulat, amely a kondicionális utótagját jelöli ki ( ebben az esetben, a bekezdésben felsorolt esetekben stb.). Ez a szerkezet id nként több mondatot is tartalmazhat. A harmadik típus az el bbinek névutós szerkezettel kifejezett nominalizációja. Ebben az esetben a korábban már bemutatott példán a kondicionális el - és utótagja nem két tagmondatban jelenik meg. A negyedik típus pedig az intuíciónkkal szembefeszül szerkezet: akkor is, ha. A nyelvtanunk a fenti szerkezeteket tartalmazó mondatokat a <+kond> címkével látja el. Az ábrán szerepl nyelvtan tartalmaz egy beépül gráfot (a tartalomelemek nev t), amely a reguláris NooJ-kifejezésekkel szóel fordulásokat, számokat és központozásokat keres (<WF>, <D>, <P>) a nyelvtanban feltüntetett logikai elemek és konkrét kifejezések tartományában, illetve környezetében. Mivel a tartalomelemek nev gráf elemezetlenül megtalálja ezeket, a dátumok, jogszabályi hivatkozások külön azonosítására nincsen szükség; azonban világos, hogy mind az el tag- és utótagtartományok, mind a dátum és egyéb referenciák azonosítására szükség lesz egy olyan elemzésben, ahol nem pusztán a kondicionális egységek megjelölése a cél, hanem a találatok tartalomelemeinek a kezelése is. A gráfban láthatók három vessz t tartalmazó csomópontok. A szövegel készítés folyamán a keresés egyszer sítése érdekében a tagmondathatárokat jelöl központozási jeleket (rendszerint vessz ket) három vessz re cseréltük megkülönböztetve ezeket a felsorolásokban szerepl központozási jelekt l (vessz kt l).

302 X. Magyar Számítógépes Nyelvészeti Konferencia 2. ábra: Retrokondicionálist tartalmazó mondatokat azonosító nyelvtan A retrokondicionális nyelvtan az el bbi gráfhoz hasonlóan használja a tartalomelemek azonosításához szükséges beépül nyelvtant, és két típust különít el. Az egyik az akkor-ha szerkezetet azonosítja, amelyben a második tagmondat hatókörét kijelöl köt szó, illetve az elhagyható akkor a fontos keres elem. A második típus a hiányában névutós frázis, amely kontraponált retrokondicionálist jelöl. A nyelvtanokat a fogyasztókkal szembeni tisztességtelen kereskedelmi gyakorlat tilalmáról (Fttv.) [1] szövegén teszteltük. Az el készített szöveg 120 mondatból állt, az annotálás számait, valamint a két nyelvtannal lefuttatott elemzés eredményeit mutatja az alábbi táblázat. 2. táblázat kondicionális nyelvtan retrokondicionális nyelvtan esetek száma jól felismerte nem ismerte fel rosszul ismerte fel jól felismerte nem ismerte fel rosszul ismerte fel kondic. 14 14 retrokond. 13 1 13 1 egyéb 93 A tanulmány a 83887. sz. OTKA kutatás keretén belül készült. A cikk szerz i megköszönik Váradi Tamásnak a Nooj kezeléséhez nyújtott segítségét. * Hivatkozások 1. 2008. évi XLVII. törvény a fogyasztókkal szembeni tisztességtelen kereskedelmi gyakorlat tilalmáról (Fttv) 2. 2008. évi XLVIII. törvény a gazdasági reklámtevékenység alapvet feltételeir l és egyes korlátairól (Grtv) 3. 61/2009. (XII. 14.) IRM rendelet a jogszabályszerkesztésr l 4. Goody, J.. Nyelv és írás. In Nyíri K., Szécsi G. (szerk.): Szóbeliség és írásbeliség. Budapest: Áron Kiadó, (1998) 189 221 5. Pólos L., Ruzsa I., Madarász Zs. A logika elemei. Budapest: Osiris (2005) 6. Silberztein, M.. NooJ Manual. (www.nooj4nlp.net) (2003)