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.