Dntstmogat rendszer szabadalmi eljrsban a hivatali s kpviseleti szfra szmra Kacsuk ZsfiaAKTULIS KRDSEK A SZELLEMI TULAJDON VDELME TERLETN ELTTNK A HOLNAP cm szakmai tovbbkpzs MIE Grdony 2010. november 25-26.

ttekintsESZE-hez kapcsold jogforrsi rendszerpldk az eurpai jogfejlesztsreignypontok rtkelsnek esetjogaformlis logikai modellesetjogi hinyossgok kimutatsadntstmogat programkonkrt plda megoldsa

ESZE jogforrs rendszere

ESZE jogforrs rsz.Magyar jogforrs rsz.ESZE cikkek + vh-i szablyok, jegyzknyvektrvnyek (Alk. is)normatv felhvsok (Ancillary Regulations)rendeletekmdszertani tmutat (Guidelines)llami irnyts egyb jogi eszkzeiBoA s EBoA dntsekbri jogalkots (brsgok, LB - jogegysgi dntsek)Traveaux prparatoiretrvnyelksztsi anyagok, miniszteri indoklsPCT (benne PUE)nemzetkzi szerzdsekESZE 125 (ltalnosan elismert eljrsjogi elvek)nemzetkzi jog ltalnosan elismert szablyai (Alk.7.(1))

ESZE - cikkekESZE - szablyokFellebbezsi Tancsok dntseiKibvtett Fellebbezsi Tancsok dntseiMdszertani tmutatKiegszt szablyok (Ancillary Regulations)ESZH felhvsai (Notice from the EPO)ESZH elnknek felhvsai (Notice of the President)ESZH elnknek dntsei (Decisions of the President)Jogi tmutatk (Legal Advice from the EPO)

Pldk az eurpai jogfejlesztsreElsbbsg elbrlsa:

T828/93, G3/93 (VAGY-tpus ignypontok)G2/98 (ignypont ltalnostsa)

EP-HU1. A + B + (C1 V C2)2. A + B + C

HU1A + B + C1

Pldk az eurpai jogfejlesztsreMdostsok elbrlsa:

T201/83 (jdonsgteszt)T194/84 (feltrsi teszt)

jdonsgMdostsElsbbsghozzadott jellemz A, B (+C)T411/98T931/95 (hozzadott nem-mszaki jellemz)T201/83 (jdongsg teszt), T194/84 (feltrsi teszt)G3/93, G2/98ltalnos jellemz C1 -> CGL C-IV, 9.5 (specilis vs. generlis), T651/91, T508/91T201/83 (jdongsg teszt), T194/84 (feltrsi teszt)T828/93 (VAGY-tpus igp) -> G2/98 (ltalnos jellemz)specilis jellemz C -> C1GL C-IV, 9.5 (specilis vs. generlis), T651/91, T508/91; kivlasztsi tallmnyok (GL C-IV, 9.8; T12/81, T198/84, T279/89, T666/89, T17/85, T12/90, stb.)T201/83 (jdongsg teszt), T194/84 (feltrsi teszt),GL C-IV, 9.5 (specilis vs.generlis)G3/93 -> G2/98helyettest jellemz C1 -> C2ekvivalens elem (GL C-IV, 9.2, T928/93)T201/83 (jdongsg teszt), T194/84 (feltrsi teszt),T331/87G3/93 -> G2/98hinyz jellemz A+B+C -> A+Bltalban nem nyer rtkelst, disclaimerek (G1/03 s G2/03)T201/83 -> T194/84 (feltrsi teszt), T331/87, disclaimerek (G1/03 s G2/03)G2/98 (a jellemz elhagysa j tallmnyhoz vezet) - hibs kezels

Jogesetek formlis logikai modellje - az tletkalkulusAz tletkalkulus nyelve: elemi tletek (A, B, C, stb.) = ignyponti jellemzklogikai opertorok: NOT (nem), VAGY (diszjunkci - megenged VAGY); S (konjunkci), XOR (kizr VAGY) = ignyponti jellemzk kzti logikai kapcsolat

Jogesetek formlis logikai modellje - az tletkalkulusAz tletkalkulusban rtelmes kifejezs: az elemi tlet, vagyha A s B rtelmes kifejezs, akkor (notA), (A and B), (A or B), (A xor B) is az.ignyponti jellemz:elemi llts (A, B, C, stb.) vagysszetett llts (notA, A and B, A or C, A xor B)ignypont: sszetett llts (I = A and B and (C or D) and E)

Jogesetek formlis logikai modellje - az tletkalkulusAz tletkalkulus rtkelse: b fggvny, amely minden elemi tlethez az "igaz" s "hamis" rtkek kzl pontosan az egyiket rendeli: b(A) = igaz/hamishatsg elemi dntse (hivatal, brsg):elemi tlet rtkelse (igaz/hamis)

Jogesetek formlis logikai modellje - az tletkalkulusb' fggvny egy b rtkels kiterjesztse: b'(X) = b(X) ha X elemi tlet;b'(X) = b'(notY)=igaz ha b(Y)=hamishamis ha b(Y)=igaz;b'(X)=b'(Y and Z)=igaz ha b(Y)=igaz S b(Z)=igazhamis ha b(Y)=igaz VAGY b(Z)=hamis

rtkels kiterjesztse (folyt.):b'(X)=b'(Y or Z)=igaz, ha b(Y) vagy b(Z) kzl legalbb egy igaz (megenged vagy); hamis klnben;b'(X)=b'(Y or Z)=igaz, ha b(Y) vagy b(Z) kzl pontosan egy igaz; hamis klnben.ignypont rtkelse - logikai dntsb'(I)=b'(A and B and (C or D) and E)Nem a hatsg dntse!

Plda a logikai modell alkalmazsraElsbbsg elbrlsa:

T828/93, G3/93 (VAGY-tpus ignypontok)G2/98 (ignypont ltalnostsa)

EP-HU1. A + B + (C1 xor C2)2. A + B + C

HU1A + B + C1

1. VAGY- tpus ignypont (T828/93, G3/93)

hatsg elemi dntsei: igp-i jellemzkre:b(A) = ib(B) = ib(C1) = ib(C2) = hignypont logikai rtkelse:b'(I) = b'(A and B and (C1 xor C2)) ==b'(A and B and C1) xor b'(A and B and C2)

b'(P1) = (A and B and C1) = i b'(P2) = b'(A and B and C2) = hP2A - iB - iC2 - hb'(P2) = hP1A - iB - iC1 - ib'(P1) = iVAGYEP-HUABC1 xor C2HU1ABC1

2. ltalnostott jellemz (G2/98)

hatsg elemi dntsei: elemi lltsokra!b(A) = ib(B) = ib(C1) = iC - sszetett llts, nem a hatsg rtkeli!ignypont logikai rtkelse:b'(I) = b'(A and B and (C) == b'(A and B and (C1 xor (C and not C1))EP-HU1. A + B + CHU1A + B + C1pl. C1=rz, C=fm

b'(P1) = (A and B and C1) = i b'(P2) = b'(A and B and C and not C1) = hP2A - iB - iC - ?C1 - hb'(P2) = hP1A - iB - iC1 - ib'(P1) = iVAGYEP-HUABC1 xor (C and not C1) = CHU1ABC1

Eredmny: logikai modell lerja a jogeset rsz-t

jdonsgmdostselsbbsghozzadott jellemz A, B (+C)T411/98T931/95 (hozzadott nem-mszaki jellemz)T201/83 (jdongsg teszt), T194/84 (feltrsi teszt)G3/93, G2/98ltalnos jellemz C1 -> CGL C-IV, 9.5 (specilis vs. generlis), T651/91, T508/91T201/83 (jdongsg teszt), T194/84 (feltrsi teszt)T828/93 (VAGY-tpus igp) -> G2/98 (ltalnos jellemz)specilis jellemz C -> C1GL C-IV, 9.5 (specilis vs. generlis), T651/91, T508/91; kivlasztsi tallmnyok (GL C-IV, 9.8; T12/81, T198/84, T279/89, T666/89, T17/85, T12/90, stb.)T201/83 (jdongsg teszt), T194/84 (feltrsi teszt),GL C-IV, 9.5 (specilis vs.generlis)G3/93 -> G2/98helyettest jellemz C1 -> C2ekvivalens elem (GL C-IV, 9.2, T928/93)T201/83 (jdongsg teszt), T194/84 (feltrsi teszt),T331/87G3/93 -> G2/98hinyz jellemz A+B+C -> A+Bltalban nem nyer rtkelst, disclaimerek (G1/03 s G2/03)T201/83 -> T194/84 (feltrsi teszt), T331/87, disclaimerek (G1/03 s G2/03)G2/98 (jellemz elhagysa j tallmnyhoz vezet) hibs

Ami matematikailag lerhat az leprogramozhat!

Dntstmogat rendszerExcel VBA alap programignypont rtkelsjdonsgelsbbsgignypont mdostsok

Koncepci1. Kivlasztjuk elemzs cljt (pl. jdonsgvizsglat)2. Felvesszk ignyponti jellemzket3. Program kikrdez:anterioritsokelsbbsgekels bejelents-e4. igp-i jellemzket felhasznlval rtkelteti5. kiszmolja ignypontvarinsokat van-e elsbbsgej-e

Plda 2007 C vizsgaEP szabadalom:1. Edny forr folyadkhoz, amely tartalmaz:kr alak alapot (14)vkony falat (18) kr alak peremmel (15), sa faltl hszigetelssel elvlasztott megfog rszt (13).

2007 C vizsga - felszlalsAnterioritsKanadai bejelentsAzonos bejelent

1. Fz edny nyllel, a nyl tartalmaz: fmrszt (24) s hszigetel rszt (22)a hszigetel rsz levlaszthatan kapcsoldik a fmrszhez.

EP szabadalom GB elsbbsgt ignyelteCA bejelents s GB bejelents bejelentje azonosCA bejelents korbbi mint az angol bejelentsCA bejelentst az elsbbsgi vben publikltk.CASERPEP-GBPOHRPUBL-CASERPGBPOHRJogi 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 EEP szabadalom:A = A trgy edny forr folyadkhoz.B = A trgy kr alak alapot tartalmaz.C= A trgy vkony falat tartalmaz kr alak peremmel.D = A trgy megfog rszt tartalmaz. E = A megfog rsz a faltl hszigetelssel van elvlasztva

Adatok beolvassavizsglt bejelentsbejelentsi napelsbbsgbejelentsi szm, dtumignypontok azonossga (kell-e vizsglni)els bejelents-eanterioritsoknyilvnossgra juts dtumanyilvnos technika llsa (54(2) cikk)teljes kiterjeszts techn. llsa (54(3) cikk)

B = A trgy kr alak alapot tartalmaz.D1 (PUBL-CA)-hoz kpest ez:azonos jellemzhelyettest jellemzspecilis jellemzimplicit tants-eltalnos jellemzignypontban megjelen spec. jell.

D = A trgy megfog rszt tartalmaz.D1 (PUBL-CA)-hoz kpest ez:azonos jellemzhelyettest jellemzspecilis jellemzimplicit tants-eltalnos jellemzignypontban megjelen spec. jell.-> nyl (20)

ignypontvarinsok rtkelse

Eredmnyvan olyan igpvarins, hogy:D1(CA) az els bejelentsezrt nincs elsbbsgeezrt PUBL-CA nyilvnos technika llsaezrt nem j

Pi-re nzve CA az els bejelentsezrt nincs elsbbsgeezrt PUBL-CA nyilvnos technika llsaezrt nem jCASERPA1BCD1EFPUBL-CASERPA1BCD1EF

GBPOHRABCDEEP - GBPOHRtbbi igpvar jVAGYidPiA1BCD1EF nem j

Dntstmogat rendszerszisztematikus krdezselemi lltsok rtkelse - embersszetett lltsok (ignypont) rtkelse - logikai modell (program)szisztematikus krdezsalkalmas riport generlsra (szabadalmazhatsgi vlemny, felszlals, megsemmistsi krelem)tbb dokumentum - feltalli tev. rtkelseelsbbsg bejelenti elemzse (djkedv.)

Ksznm a figyelmet Kacsuk Zsfia(kacsuk@kacsukpatent.hu)AZ IPARJOGVDELMI TORTA SZELETEI (az eurpai s a globlis egyttmkdsben mutatkoz lehetsgek) MIE Sifok 2010. mjus 6-7.