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
