Döntéstámogató rendszer szabadalmi eljárásban a hivatali és

Download Report

Transcript Döntéstámogató rendszer szabadalmi eljárásban a hivatali és

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.
Á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
normatív felhívások
(Ancillary Regulations)
módszertani útmutató
(Guidelines)
BoA és EBoA döntések
törvények (Alk. is)
Traveaux préparatoire
PCT (benne PUE)
törvényelőkészítési anyagok,
miniszteri indoklás
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))
rendeletek
állami irányítás egyéb jogi
eszközei
bírói jogalkotás (bíróságok,
LB - jogegységi döntések)
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ó
ESZH elnökének
döntései (Decisions of
the President)
Kiegészítő szabályok
(Ancillary Regulations)
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)
Példák az európai jogfejlesztésre
 Elsőbbség elbírálása:
HU1
A + B + C1
EP-HU
1. A + B + (C1 V C2)
2. A + B + C
 T828/93, G3/93 (VAGY-típusú igénypontok)
 G2/98 (igénypont általánosítása)
Példák az európai jogfejlesztésre
 Módosítások elbírálása:
HU1
A+B+C
 T201/83 (újdonságteszt)
 T194/84 (feltárási teszt)
EP-HU
A+B
Újdonság
Módosítás
Elsőbbség
hozzáadott
jellemző
A, B (+C)
T411/98
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
G3/93 -> G2/98
teszt), T194/84
(feltárási teszt),
GL C-IV, 9.5 (speciális
vs.
generális)
helyettesítő ekvivalens elem (GL Cjellemző
IV, 9.2, T928/93)
C1 -> C2
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
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
általában nem nyer
értékelést,
disclaimerek (G1/03 és
G2/03)

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
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
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
é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:
HU1
A + B + C1
EP-HU
1. A + B + (C1 xor C2)
2. A + B + C
 T828/93, G3/93 (VAGY-típusú igénypontok)
 G2/98 (igénypont általánosítása)
1. VAGY- típusú igénypont (T828/93, G3/93)
HU1
A + B + C1
EP-HU
1. A + B + (C1 xor C2)
 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)
HU1
A
B
C1
EP-HU
A
B
C1 xor C2
VAGY
P1
A-i
B-i
C1 - i
b'(P1) = i
P2
A-i
B-i
C2 - h
b'(P2) = h
 b'(P1) = (A and B and C1) = i
 b'(P2) = b'(A and B and C2) = h
2. Általánosított jellemző (G2/98)
HU1
A + B + C1
EP-HU
1. A + B + C
pl. C1=réz,
C=fém
 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))
HU1
A
B
C1
EP-HU
A
B
C1 xor (C and not C1) = C
VAGY
P1
A-i
B-i
C1 - i
b'(P1) = i
P2
A-i
B-i
C-?
˥C1 - h
b'(P2) = h
 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ág
módosítás
elsőbbség
hozzáadott
jellemző
A, B (+C)
T411/98
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 CIV, 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.
Jogi helyzet:
CA
SERP
GB
POHÁR
PUBL-CA
SERP
EP-GB
POHÁR
idő
 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.
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).
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
P = A and B and C and
D and E
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
idő
CA
GB
PUBL-CA
EP - GB
SERP
POHÁR
SERP
POHÁR
A1
B
C
D1
E
F
A
B
C
D
E
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
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
([email protected])
„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.