Az IQSYS (www.iqsys.hu) "Üzleti intelligencia" részlege szeretné Prolog
kompetenciáit fejleszteni, a BME-vel közös kutatási projektjéhez is
kapcsolódóan. Ehhez keres Prologban jártas informatikus hallgatókat, akiket
az általános gyakornoki programja keretei között foglalkoztatna. Az errõl
szóló infókat alább küldöm.
Ha valakit érdekel, írjon nekem (tanári ajánlást nyilvánvalóan tudok
adni).
-Péter
---------------------------------------------------------------------------
Az IQSYS üzleti intelligencia gyakornoki programot indított. Tehetséges
negyed-ötödéves hallgatókat keresünk, tanári ajánlással.
A legfontosabb információk a gyakornoki programunkkal kapcsolatban:
* Megegyezés alapján heti 1-2.5 nap (max félidõs) elfoglaltságot jelent, Budapesten
* Ösztöndíjat fizet (formája pontosítandó egyedi igények szerint, összege félidõ esetén kb. 50 ezer Ft)
* Vizsgaidõszak, nyári szünidõ tolerálható
* Feladatok: részvétel belsõ innovációkban és éles projektekben, a munkatársaink felügyelete alatt
* Diplomamunka külsõ felügyeletét az IQSYS adhatja
* Téma: Üzleti intelligencia, adattárház, adatbányászat; elsõsorban pénzügyi, telekommunikációs területen
* Pénzügyi/számviteli/marketing érdeklõdés szükséges
Melegen ajanlom a targyat azoknak akik meg nem vettek fel, hatha erdekel
titeket.... -SzP
---------------------------------------------------------------------------
Szeretnénk felhívni a figyelmeteket az idén tavasszal harmadik alkalommal
meghírdetett "A szemantikus világháló és ontológiakezelés alapjai" címû
választható tárgyra (kódja: vima9000). Az elõadások minden héten hétfõn és
csütörtökön lesznek déltõl. Az oktatás módja alapvetõen elõadás jellegû,
minden két hétben azonban tervezünk egy-egy gyakorlatot is.
A tárgy keretében megismerkedhettek a szemantikus világháló mérnöki és
matematikai alapjaival. A mérnöki részben elõször a web felépítésérõl, a
webalkalmazások fejesztésérõl (szervletek, JSP, struts), a keresõrendszerek
mûködésérõl és problémáiról lesz szó. Ezután bemutatjuk az RDF
keretrendszert, mint egy lehetséges megoldást arra a problémára, hogy
hogyan keressünk intelligensebben a weben. Kitérünk az különféle RDF
lekérdezõkre és következtetõkre, valamint az OWL (Ontology Web Language)
nyelvre.
A matematikus részben megismerkedhettek az ún. leíró logikák (description
logics) világával, amely tudásleíró formalizmus a matematikai alapja a
szemantikus világháló nyelveinek. A leíró logikákat számos más területen is
használják, ilyen többek között a természetes nyelvfeldolgozás, az orvosi
ontológiák felépítése, illetve az információintegráció témaköre. Az
elõadások során bemutatjuk az alapvetõ leíró logikai nyelveket és az azokon
alkalmazható következtetési módszereket.
Végezetül megemlítem, hogy a tárgyhoz elkészült egy tankönyv is, amely 2005
májusa óta kapható a könyvesboltokban. A könyv címe: "A szemantikus
világháló elmélete és gyakorlata", ISBN száma: 963 9548 48 0, kiadó:
Typotex, szerzõk: Szeredi Péter, Lukácsy Gergely, Benkõ Tamás. A kb. 500
oldalas könyv lefedi a félév során elhangzottakat.
üdvözlettel,
Lukácsy Gergely
Szeredi Péter
Ma megírtam a nagyházit, mégpedig clpb-re alapozva.
Felvettem minden ujj részére 3 változót, a három irányt, amerre mutathat, a
három ujjirányból pontosan 1 igaz. Majd minden mezőhöz kigyűjtöttem egy
listába azokat az ujjirányokat, amik rá mutathatnak, és ezek közül pontosan
annyi igaz, ahányas számú a mező (kivéve a 9-est).
Tehát mindenhol card() feltételt használtam.
És katasztrófa! A mezők feltételei (tehát a sat(card(...))) percekig futnak.
Próbálkoztam azzal, hogy a feltételeket kigyűjtöm egy listába, sorba
rendezem aszerint, hogy hányas a mező - így hátha a kisebbek
behelyettesítenek párat, de semmi javulás. (Bizonyára mindig mindenkit
felkelt és rugdos, hogy mi lenne ha te most igaz lennél?... Ez lassabb, mint
maga a lableing, és a memória is elfogy!)
Az lenne a megoldás, gondolom, hogy a sat(card) egy gyengébb változatát
használnám, ami csak a tuti behelyettesítéseket szűkítené, dobná el - de ha
jól tudom, a clpb-hez nem lehet hozzányúlni.
Vagy írjam meg clpfd-ben a sat(card())-ot, és azzal futtassam?
Üdv.
SzaMa
Szervusztok!
Köszönöm Tanár Úr a segítségét, a probléma megoldódott explicite kérni
kellett az sftp klienst, hogy text módban töltse fel a fájlt.
A 4. kis házimban valamilyen számomra rejtélyes okból nem ad át
paramétereket a dispatch_global. Pontosabban átadja õket, de minden változó
még a behelyettesítettek is inf..sup értéket kapnak.
fd_global(max_lt(L,Z),L,EL).
clpfd: dispatch_global(max_lt(_,Z),L0,L,Actions) :-
fd_min(Z,MINZ),
fd_max(Z,MAXZ),
Ezeke az idevágó kódrészletek, itt MINZ, MAXZ inf, sup, pedig Z#=6-tal van
hívva a korlát.
2 Call: fd_global(user:max_lt([_516],_541),[_516],[max(_541),min(_516)]) ?
6 4 Call: fd_min(_3976,_4079) ?
6 4 Exit: fd_min(_3976,inf) ?
7 4 Call: fd_max(_3976,_4978) ?
7 4 Exit: fd_max(_3976,sup) ?
A debuggerrel jól látszik, hogy _516 (Z) nem egyezik meg _3976-tal.
Segítséget elõre is köszönöm.
Müller viktor
_________________________________________________________________
Express yourself instantly with MSN Messenger! Download today it's FREE!
http://messenger.msn.click-url.com/go/onm00200471ave/direct/01/
Szervusztok!
Az lenne a kérdésem, hogy miért adja az ural2 a következõ hibaüzenetet a
kisházi beadó szkript futtatásakor?
ural2:/home/c/03/mv553/kishazi$ dir
khf-nlp3.pl khf-nlp4.pl nlpkhfbe.05a
ural2:/home/c/03/mv553/kishazi$ ./nlpkhfbe.05a
: command not founde 5:
'/nlpkhfbe.05a: line 8: syntax error near unexpected token `do
'/nlpkhfbe.05a: line 8: `do
válaszokat elõre is köszönöm.
Müller Viktor
_________________________________________________________________
Express yourself instantly with MSN Messenger! Download today it's FREE!
http://messenger.msn.click-url.com/go/onm00200471ave/direct/01/
Ha esetleg valaki már hiányolt, megint itt vagyok ;)
Hogyan működik egészen pontosan a 3. kisházi tesztelése és beadása? Az
FD predikátumokat csak "pucéran" beleteszem khf-nlp3.pl -be, és
ráeresztem az nlpkhfbe.05a -t? A teszteléshez meg letöltöttem a honlapon
található állományokat, de a kezelés megértése eddig meghaladta értelmi
képességeimet.
Továbbá azt sem értem, hogy a beadott 2. kisházimnál valamennyi
tesztesetre exception-t dobott, holott nálam néhány teszteset jó
eredményt ad. Olyasmit, hogy nem létezik egy tagfüggvényem, pedig de.
Úgy viselkedik, mintha démonok szállták volna meg :O
Továbbá mind a nagyházi beadó, mind a kisházi beadó program egy kissé
furán működik: nem írják ki a bejelentkező szöveget - remélem, ez nem
gond.
Egyébként a beadásokat az ural2-n intézem, az 1. és a 2. khf-et
ugyanazzal a programmal.
Üdv
GTZ
____________________________________________________________________
Miert fizetsz az internetert? Korlatlan, ingyenes internet hozzaferes a FreeStarttol
Probald ki most! http://www.freestart.hu
Kedves Listatagok!
Az lenne a kérdésem, hogy milyen következményei vannak annak, ha csak a
vizsga után készítem el a nagyházit? Azt megtaláltam a honlapon, hogy
vizsgaidőszak végéig lehet pótolni, de a vizsga értékelésébe hogyan számít
bele?
(Péter azt mondta, hogy ha már kész vagyunk az összes vizsgával, akkor végre
leülhetünk nyugodtan, valami izgalmas és értelmes dologgal foglalkozni - és
így is lett, már másfél kisházival kész vagyok, de a nagyházi holnap reggel
8-ig kissé korai.)
Köszönöm a választ!
SzaMa
Sziasztok!
> egy szokatlan használati mód, ami egy
> SICStus bugot fedett fel.
A végén még büszke is lehetek a kérdésemre :)
Köv. fennakadás a borotválás kapcsán ért. (Annak ellenére, hogy már
sokszor említésre került órán. ) A 147. slide-ról próbálom
kisilabizálni, hogy miről van szó, de egyelőre semmi támpontom sincs.
Ezért egyszerűen csak azt kérdezem:
- Hogyan lehet (és mi értelme) címkézés közben szűrni azon túl, hogy
észrevesszük a meghiúsulást, és visszalépünk? Mert ezt egy labeling is
megteszi nekünk.
- Melyik eljárásban lehet alkalmazni a filter opciót? (labeling?)
Magyarul: hogyan működik szintaktikailag egy borotválás?
(A kérdésem végül is az: Mi az a borotválás? :) )
Üdv
GTZ
____________________________________________________________________
Miert fizetsz az internetert? Korlatlan, ingyenes internet hozzaferes a FreeStarttol
Probald ki most! http://www.freestart.hu
2006-01-27, p keltezéssel 16:06-kor Szeredi Peter ezt írta:
> A ket alapveto kulonbseg a cimkezesi lepes es a borotvalas
> kozott, hogy:
>
> - a cimkezesi lepesben mindig tortenik szukites (vagy specialisan
> behelyettesites), a borotvalasnal ez nem garantalt,
> - a cimkezesi lepes valasztasi pont letrehozasaval jar, a borotvalas
vegso
> soron nem (kozben letrejon ugyan egy valasztasi pont, de azt
mindenkeppen
> megszuntetjuk, lasd a fenti peldakban a felteteles szerkezeteket)
Tehát, ha jól értem, akkor a filozófia az emögött, hogy borotválásnál
akkor nyerünk időt, amikor sikerül a behelyettesítés, mert ekkor nem
teszünk semmiféle megállapítást a változó tartományára, és ezzel időt
nyerünk.
Vagyis azokra az értékekre érdemes borotválni, amelyekre a
behelyettesítés nagy valószínűséggel nem sikerül.
Üdv
GTZ
U.I.: Bocs, ha többször ment el.
____________________________________________________________________
Miert fizetsz az internetert? Korlatlan, ingyenes internet hozzaferes a FreeStarttol
Probald ki most! http://www.freestart.hu