Előadást letölteni
Az előadás letöltése folymat van. Kérjük, várjon
KiadtaFanni Mészárosné Megváltozta több, mint 10 éve
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 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))
4
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)
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) EP-HU 1. A + B + (C1 V C2) 2. A + B + C HU1 A + B + C1
6
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
7
Ú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
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
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
10
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
11
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
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) EP-HU 1. A + B + (C1 xor C2) 2. A + B + C HU1 A + B + C1
14
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
15
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
16
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
17
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
18
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
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
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ő
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
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
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.
Hasonló előadás
© 2024 SlidePlayer.hu Inc.
All rights reserved.