Döntéstámogató rendszer szabadalmi eljárásban a hivatali és képviseleti szféra számára Kacsuk Zsófia „AKTUÁLIS KÉRDÉSEK A SZELLEMI TULAJDON VÉDELME TERÜLETÉN” „ELŐTTÜNK A HOLNAP” című szakmai továbbképzés MIE Gárdony november

Áttekintés  ESZE-hez kapcsolódó jogforrási rendszer  példák az európai jogfejlesztésre  igénypontok értékelésének esetjoga  formális logikai modell  esetjogi hiányosságok kimutatása  döntéstámogató program  konkrét példa megoldása

ESZE jogforrás rendszere ESZE jogforrás rsz. Magyar jogforrás rsz. ESZE cikkek + vh-i szabályok, jegyzőkönyvek törvények (Alk. is) normatív felhívások (Ancillary Regulations) rendeletek módszertani útmutató (Guidelines) állami irányítás egyéb jogi eszközei BoA és EBoA döntések bírói jogalkotás (bíróságok, LB - jogegységi döntések) Traveaux préparatoire törvényelőkészítési anyagok, miniszteri indoklás PCT (benne PUE) nemzetközi szerződések ESZE 125 (általánosan elismert eljárásjogi elvek) nemzetközi jog általánosan elismert szabályai (Alk.7.§(1))

ESZE - cikkek ESZE - szabályok Fellebbezési Tanácsok döntései Kibővített Fellebbezési Tanácsok döntései Módszertani útmutatóKiegészítő szabályok (Ancillary Regulations) ESZH felhívásai (Notice from the EPO) ESZH elnökének felhívásai (Notice of the President) ESZH elnökének döntései (Decisions of the President) Jogi útmutatók (Legal Advice from the EPO)

Példák az európai jogfejlesztésre  Elsőbbség elbírálása:  T828/93, G3/93 (VAGY-típusú igénypontok)  G2/98 (igénypont általánosítása) EP-HU 1. A + B + (C1 V C2) 2. A + B + C HU1 A + B + C1

 Módosítások elbírálása:  T201/83 (újdonságteszt)  T194/84 (feltárási teszt) Példák az európai jogfejlesztésre EP-HU A + B HU1 A + B + C

ÚjdonságMódosításElsőbbség hozzáadott jellemző A, B (+C) T411/98 T931/95hozzáadott nem-műszaki jellemző) T931/95 (hozzáadott nem-műszaki jellemző) T201/83 (újdongság teszt), T194/84 (feltárási teszt) G3/93, G2/98 általános jellemző C1 -> C GL C-IV, 9.5 (speciális vs. generális), T651/91, T508/91 T201/83 (újdongság teszt), T194/84 (feltárási teszt) T828/93 (VAGY-típusú igp) -> G2/98 (általános jellemző) speciális jellemző C -> C1 GL C-IV, 9.5 (speciális vs. generális), T651/91, T508/91; kiválasztási találmányok (GL C-IV, 9.8; T12/81, T198/84, T279/89, T666/89, T17/85, T12/90, stb.) T201/83 (újdongság teszt), T194/84 (feltárási teszt), GL C-IV, 9.5 (speciális vs. generális) G3/93 -> G2/98 helyettesítő jellemző C1 -> C2 ekvivalens elem (GL C- IV, 9.2, T928/93) T201/83 (újdongság teszt), T194/84 (feltárási teszt), T331/87 G3/93 -> G2/98 hiányzó jellemző A+B+C -> A+B általában nem nyer értékelést, disclaimerek (G1/03 és G2/03) T201/83 -> T194/84 (feltárási teszt), T331/87, disclaimerek (G1/03 és G2/03) G2/98 (a jellemző elhagyása új találmányhoz vezet) - hibás kezelés

Jogesetek formális logikai modellje - az ítéletkalkulus Az ítéletkalkulus nyelve:  elemi ítéletek (A, B, C, stb.) = igényponti jellemzők  logikai operátorok: NOT (nem), VAGY (diszjunkció - megengedő VAGY); ÉS (konjunkció), XOR (kizáró VAGY) = igényponti jellemzők közti logikai kapcsolat

Az ítéletkalkulusban értelmes kifejezés:  az elemi ítélet, vagy  ha A és B értelmes kifejezés, akkor (notA), (A and B), (A or B), (A xor B) is az. igényponti jellemző:  elemi állítás (A, B, C, stb.) vagy  összetett állítás (notA, A and B, A or C, A xor B) igénypont:  összetett állítás (I = A and B and (C or D) and E) Jogesetek formális logikai modellje - az ítéletkalkulus

 Az ítéletkalkulus értékelése:  b függvény, amely minden elemi ítélethez az "igaz" és "hamis" értékek közül pontosan az egyiket rendeli: b(A) = igaz/hamis  hatóság elemi döntése (hivatal, bíróság):  elemi ítélet értékelése (igaz/hamis) Jogesetek formális logikai modellje - az ítéletkalkulus

 b' függvény egy b értékelés kiterjesztése:  b'(X) = b(X) ha X elemi ítélet;  b'(X) = b'(notY)=  igaz ha b(Y)=hamis  hamis ha b(Y)=igaz;  b'(X)=b'(Y and Z)=  igaz ha b(Y)=igaz ÉS b(Z)=igaz  hamis ha b(Y)=igaz VAGY b(Z)=hamis Jogesetek formális logikai modellje - az ítéletkalkulus

értékelés kiterjesztése (folyt.):  b'(X)=b'(Y or Z)=  igaz, ha b(Y) vagy b(Z) közül legalább egy igaz (megengedő vagy);  hamis különben;  b'(X)=b'(Y or Z)=  igaz, ha b(Y) vagy b(Z) közül pontosan egy igaz;  hamis különben.  igénypont értékelése - logikai döntés  b'(I)=b'(A and B and (C or D) and E)  Nem a hatóság döntése!

Példa a logikai modell alkalmazására  Elsőbbség elbírálása:  T828/93, G3/93 (VAGY-típusú igénypontok)  G2/98 (igénypont általánosítása) EP-HU 1. A + B + (C1 xor C2) 2. A + B + C HU1 A + B + C1

1. VAGY- típusú igénypont (T828/93, G3/93)  hatóság elemi döntései: igp-i jellemzőkre: b(A) = i b(B) = i b(C1) = i b(C2) = h  igénypont logikai értékelése: b'(I) = b'(A and B and (C1 xor C2)) = =b'(A and B and C1) xor b'(A and B and C2) EP-HU 1. A + B + (C 1 xor C2) HU1 A + B + C1

 b'(P1) = (A and B and C1) = i  b'(P2) = b'(A and B and C2) = h P2 A - i B - i C2 - h b'(P2) = h P1 A - i B - i C 1 - i b'(P1) = i VAGY EP-HU A B C1 xor C2HU1 A B C 1

2. Általánosított jellemző (G2/98)  hatóság elemi döntései: elemi állításokra! b(A) = i b(B) = i b(C1) = i C - összetett állítás, nem a hatóság értékeli!  igénypont logikai értékelése: b'(I) = b'(A and B and (C) = = b'(A and B and (C1 xor (C and not C1)) EP-HU 1. A + B + C HU1 A + B + C1 pl. C1=réz, C=fém

P2 A - i B - i C - ? ˥C 1 - h b'(P2) = h P1 A - i B - i C 1 - i b'(P1) = i VAGY EP-HU A B C1 xor (C and not C 1 ) = CHU1 A B C 1  b'(P1) = (A and B and C1) = i  b'(P2) = b'(A and B and C and not C1) = h

Eredmény: logikai modell leírja a jogeset rsz-t újdonságmódosításelsőbbség hozzáadott jellemző A, B (+C) T411/98 T931/95hozzáadott nem-műszaki jellemző) T931/95 (hozzáadott nem-műszaki jellemző) T201/83 (újdongság teszt), T194/84 (feltárási teszt) G3/93, G2/98 általános jellemző C1 -> C GL C-IV, 9.5 (speciális vs. generális), T651/91, T508/91 T201/83 (újdongság teszt), T194/84 (feltárási teszt) T828/93 (VAGY-típusú igp) -> G2/98 (általános jellemző) speciális jellemző C -> C1 GL C-IV, 9.5 (speciális vs. generális), T651/91, T508/91; kiválasztási találmányok (GL C-IV, 9.8; T12/81, T198/84, T279/89, T666/89, T17/85, T12/90, stb.) T201/83 (újdongság teszt), T194/84 (feltárási teszt), GL C-IV, 9.5 (speciális vs. generális) G3/93 -> G2/98 helyettesítő jellemző C1 -> C2 ekvivalens elem (GL C- IV, 9.2, T928/93) T201/83 (újdongság teszt), T194/84 (feltárási teszt), T331/87 G3/93 -> G2/98 hiányzó jellemző A+B+C -> A+B általában nem nyer értékelést, disclaimerek (G1/03 és G2/03) T201/83 -> T194/84 (feltárási teszt), T331/87, disclaimerek (G1/03 és G2/03) G2/98 (jellemző elhagyása új találmányhoz vezet) hibás

Ami matematikailag leírható az leprogramozható!

Döntéstámogató rendszer  Excel VBA alapú program  igénypont értékelés  újdonság  elsőbbség  igénypont módosítások

Koncepció 1. Kiválasztjuk elemzés célját (pl. újdonságvizsgálat) 2. Felvesszük igényponti jellemzőket 3. Program kikérdez:  anterioritások  elsőbbségek  első bejelentés-e 4. igp-i jellemzőket felhasználóval értékelteti 5. kiszámolja igénypontvariánsokat  van-e elsőbbsége  új-e

Példa 2007 C vizsga EP szabadalom: 1. Edény forró folyadékhoz, amely tartalmaz:  kör alakú alapot (14)  vékony falat (18) kör alakú peremmel (15), és  a faltól hőszigeteléssel elválasztott megfogó részt (13).

2007 C vizsga - felszólalás Anterioritás  Kanadai bejelentés  Azonos bejelentő 1. Főző edény nyéllel, a nyél tartalmaz: – fémrészt (24) és – hőszigetelő részt (22) a hőszigetelő rész leválaszthatóan kapcsolódik a fémrészhez.

 EP szabadalom GB elsőbbségét igényelte  CA bejelentés és GB bejelentés bejelentője azonos  CA bejelentés korábbi mint az angol bejelentés  CA bejelentést az elsőbbségi évben publikálták. CA SERP EP-GB POHÁR PUBL-CA SERP GB POHÁR Jogi helyzet: idő

Oldjuk meg a programmal!

Receptacle (12) for hot liquids, comprising a circular base (14), a thin wall (18) with a rim (15), and a grip area, which is thermally insulated from the wall (18).

P = A and B and C and D and E EP szabadalom: A = A tárgy edény forró folyadékhoz. B = A tárgy kör alakú alapot tartalmaz. C= A tárgy vékony falat tartalmaz kör alakú peremmel. D = A tárgy megfogó részt tartalmaz. E = A megfogó rész a faltól hőszigeteléssel van elválasztva

Adatok beolvasása  vizsgált bejelentés  bejelentési nap  elsőbbség  bejelentési szám, dátum  igénypontok azonossága (kell-e vizsgálni)  első bejelentés-e  anterioritások  nyilvánosságra jutás dátuma  nyilvános technika állása (54(2) cikk)  teljes kiterjesztésű techn. állása (54(3) cikk)

B = A tárgy kör alakú alapot tartalmaz. D1 (PUBL-CA)- hoz képest ez:  azonos jellemző  helyettesítő jellemző  speciális jellemző  implicit tanítás-e  általános jellemző  igénypontban megjelenő spec. jell.

D = A tárgy megfogó részt tartalmaz. D1 (PUBL-CA)- hoz képest ez:  azonos jellemző  helyettesítő jellemző  speciális jellemző  implicit tanítás-e  általános jellemző  igénypontban megjelenő spec. jell. -> nyél (20)

igénypontvariánsok értékelése

Eredmény van olyan igpvariáns, hogy:  D1(CA) az első bejelentés  ezért nincs elsőbbsége  ezért PUBL-CA nyilvános technika állása  ezért nem új

 Pi-re nézve CA az első bejelentés  ezért nincs elsőbbsége  ezért PUBL-CA nyilvános technika állása  ezért nem új CASERPA1BCD1EFPUBL-CASERPA1BCD1EF GBPOHÁRABCDE EP - GB POHÁR többi igpvar  új VAGY idő PiA1BCD1EF  nem új

Döntéstámogató rendszer  szisztematikus kérdezés  elemi állítások értékelése - ember  összetett állítások (igénypont) értékelése - logikai modell (program)  szisztematikus kérdezés  alkalmas riport generálásra (szabadalmazhatósági vélemény, felszólalás, megsemmisítési kérelem)  több dokumentum - feltalálói tev. értékelése  elsőbbség bejelentői elemzése (díjkedv.)

Köszönöm a figyelmet Kacsuk Zsófia „AZ IPARJOGVÉDELMI TORTA SZELETEI (az európai és a globális együttműködésben mutatkozó lehetőségek)” MIE Siófok május 6-7.