Döntéstámogató rendszer szabadalmi eljárásban a hivatali és képviseleti szféra számára

1. 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 2010. november 25-26.

2. Á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

3. ESZE jogforrás rendszere

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

5. 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) HU1 A + B + C1 EP-HU 1. A + B + (C1 V C2) 2. A + B + C

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

8. 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

9. Jogesetek formális logikai modellje - az ítéletkalkulus Az ítéletkalkulusban értelmes kifejezés: • az elemi ítélet, vagy • ha A és B értelmes kifejezés, akkor (notA), (A andB), (A orB), (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)

10. 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)

11. 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

12. é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!

13. 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) HU1 A + B + C1 EP-HU 1. A + B + (C1 xor C2) 2. A + B + C

14. HU1 A + B + C1 EP-HU 1. A + B + (C1 xor C2) 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)

15. HU1 A B C1 EP-HU A B C1 xor C2 • b'(P1) = (A and B and C1) = i • b'(P2) = b'(A and B and C2) = h VAGY P1 A - i B - i C1 - i b'(P1) = i P2 A - i B - i C2 - h b'(P2) = h

16. HU1 A + B + C1 EP-HU 1. A + B + C pl. C1=réz, C=fém 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))

17. HU1 A B C1 EP-HU A B C1 xor (C and not C1) = C • b'(P1) = (A and B and C1) = i • b'(P2) = b'(A and B and C and not C1) = h VAGY P1 A - i B - i C1 - i b'(P1) = i P2 A - i B - i C - ? ˥C1 - h b'(P2) = h

18. Eredmény: logikai modell leírja a jogeset rsz-t

19. Ami matematikailag leírható az leprogramozható!

20. 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

21. 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

22. 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).

23. 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.

24. Jogi helyzet: CA SERP GB POHÁR PUBL-CA SERP EP-GB POHÁR • 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. idő

25. Oldjuk meg a programmal!

26. 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).

27. 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

29. 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)

30. 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.

32. 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)

34. igénypontvariánsok értékelése

35. 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

36. idő GB POHÁR A B C D E EP - GB POHÁR CA SERP A1 B C D1 E F PUBL-CA SERP A1 B C D1 E F • 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 VAGY Pi A1 B C D1 E F nem új többi igpvar  új

37. 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.)

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