Frissitettem a VFLP levlistat (bocs Balazs, hogy teged eloszor le- majd
felirattalak). Mostantol hatunknak ezen a cimen lehet irni.
A jovo csutortoki (nov 23) szimpozium honlapja:
http://sas.ilab.sztaki.hu/njszt-mi/szimpozium2006.htm
Regisztraltattalak titeket.
Varunk 23-an,
Peter
Kedves Mindnyajan!
Nincs-e koztetek, vagy az ismerettsegi korotokben valaki, aki szivesen
segitene egy infosnak az elsoeves matematika anyag atnezeseben?
Termeszetesen megfelelo dijazasert...
-Peter
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
Mint az a honlapon is megtalalhato, a kovetkezo szeminarium helye NEM A
SZOKASOS, hanem az R509 terem:
10.17 - Miklós Balázs: Táblázott logikai programozás (helyszín: R509)
-SzP
Sziasztok! (ha ketszer jon meg sorry)
Egy új ETS rendszer kifejlesztésén dolgozunk. A tervezés előtt
fontos, hogy felmérjük a hallgatói igényeket és elvárásokat az új
rendszerrel szemben. Az eddigi elképzeléseket lentebb lehet elolvasni.
Akinek van jó ötlete kérem ossza meg velünk (vagy a listára vagy nekem
válaszolva), hiszen szeretnénk olyan rendszert tervezni, ami maximálisan
megfelel a hallgatók és az oktatók elvárásainak.
Üdv,
Leitem Balázs
Az eddigi elképzelések:
Webes felület a hallgatóknak a vizsgabeosztásukkal kapcsolatos
preferenciáik megadására (reggel/11-re/12 után/...). Indoklást
szövegesen. A beosztást készítő program
ezeket figyelembe venné, ütközés esetén annak lenne előnye, aki előbb
jelezte az igényét. Így meg tudnánk spórolni a beosztás állandó
utólagos módosítását.
Nagyon fontos lenne, hogy a rendszer (és persze
alapvetően az adatbázis) több párhuzamos tárgyat (DP, NLP, MFP, stb.),
ill. egy tárgyon belül is több félévet legyen képes kezelni. Tehát ha
egy hallgató egyszerre hallgat NLP-t és MFP-t, akkor is csak egyszer
szerepeljen az adatbázisban, vagy DP-ből ez már a harmadik féléve, akkor
emlékezzen a korábbi eredményeire. Ehhez persze a szolgáltatásoknak is
tárgyfüggőnek kell lennie (gyakorlófeladatok, körkérdések, HF beadás,
hírek, stb.), sőt, a jogosultságoknak is.
HF-et most csak webesen lehet beadni. Újra fel kellene éleszteni az
email-es beadást, persze rugalmasabban, mint az előző változat volt.
A HF teszteléséhez meg lehessen adni szűkítő paramétereket. Ha
valakinek minden tesztesete jó, csak a 10-es timeout-ol, akkor elég azt
tesztelgetnie az újabb változatokkal.
Szeretném felhívni a figyelmeteket a vima9000-es kódú ,,A szemantikus web
és az ontológiakezelés alapjai" c. választható tárgyra, amely a 2005
tavaszi félévben indul másodszorra.
Láttam, hogy néhányan közületek már felvették a tárgyat, és sokan
olvashattátok az infos listákra küldött levelet is. Azért írom ezt a
levelet, hogy külön felhívjam a figyelmeteket a szemantikus web és a
logikai programozás kapcsolatára.
Ez leginkább a leíró logikák (description logics, DL) környéken nyilvánul
meg, amely egy deklaratív formalizmus fogalmak definiálására, pl. így: az
,,anya'' olyan nõnemû ember akinek van gyereke. Nagy házi feladatként az
egyik lehetõség az lesz, hogy egy leíró logikai következtetõt írjatok
Prologban.
Egy nagyon aktuális téma a leíró logikák világában a DL és az LP
,,házassága", DLP (Description Logic Programming) néven. Ezen a területen
biztos lehet érdekes TDK dolgozatot írni.
További infók a tárgyról:
A tárgy 5 kredites, az órák hétfõn és csütörtökön lesznek. A tárgy
célja, hogy megismertesse az intelligens internetes keresést akadályozó
legfõbb tényezõket és a jelenlegi megoldási lehetõségeket. Ez utóbbiak
közül részletesen foglalkozunk az RDF keretrendszerrel és az RDF sémák
mögötti ún. leíró logikák világával.
A tárgy tematikája a következõ (a fõ hangsúly az RDF elképzelésen és a
leíró logikákon van).
- az internet mai felépítése
+ dinamikus weblapok, szervletek, JSP, Struts
+ a keresõrendszerek felépítése, keresõrobotok, vektortér modell
+ találatok rangsorolása, pagerank algoritmus
+ problémák a világhálon való kereséssel, mély web, tudatosan nem
+ indexelt oldalak, keresõcsapdák, álcázás, szemantika hiánya
- az RDF keretrendszer és az RDF sémák ismertetése
+ az XML nyelv rövid ismertetése, az XML hiányosságai
+ az RDF elképzelés alapjai, az RDF adatmodell
+ az RDF XML szintaxisa, nem bináris relációk, példányok
+ magasabbrendû kijelentések, kollekciók, adattípusok
+ az RDF séma konstrukciói, osztályok, tulajdonságkorlátozások
- RDF források kezelése, RDF lekérdezõk, lekérdezésoptimalizálás
+ az RDF források elhelyezése a weben, létezõ RDF feldolgozók
+ XML lekérdezõk hiányosságai és az RDF lekérdezõ alapjai
+ az RDQL, az RDFLan és a SPARQL nyelvek bemutatása
+ következtetés a lekérdezések során
+ lekérdezésoptimalizálás RDF lekérdezések során
- A leíró logikák családjának bemutatása
+ tudásreprezentáció a mesterséges intelligenciában
+ a leíró logikai nyelvek alapfogalmai
+ a különbözõ konstruktorok bemutatása,
+ ciklikus terminológiák, következtetések
+ speciális leíró logikák
- Következtetés leíró logikákon
+ strukturális alárendeltségi algoritmus
+ tabló algoritmusok
+ a SHIQ nyelven történõ következtetés
+ példányszintû következtetés
+ a következtetés során végrehajtható optimalizálások
- az OWL nyelv és a szemantikus webszolgáltatások ismertetése
üdvözlettel,
a tárgy elõadói (Dr. Szeredi Péter és Lukácsy Gergely)
Varga Péter <pvarga(a)mit.bme.hu> writes:
> holnap (szerda) de. bemehetnék a
> VFLP-jegyet beiratni? Mikor lenne Neked jó?
Bocs, hogy egy kicsit altalanosabban irom a valaszt:
Ma nem vagyok benn. Szerdan 8-9:45 es 10:30-13:30 kozott leszek benn, del
korul ebedszunettel. Csutortokon nem leszek benn, penteken valoszinuleg kb
9-tol.
Szobam: V2. épület I. em. 136. szoba
10-16 kozott az indexet a V2.104-ben a fachomban is hagyhatjatok, es
irjatok levelet, hogy irjam be a jegyet.
-Peter
Feltettem a honlapra Biener Peter eloadas-foliait.
Az eloadasok tegnap megbeszelt menetrendje:
okt. 25 Varga Péter András Induktív Logikai Programozás
(LP programok tanulása)
nov. 1 <Ünnep>
nov. 8 <Elmarad, helyette volt az okt. 11.-i elõadás>
nov. 15 Békés András György A Mercury nyelv párhuzamos megvalósítása
nov. 22 Pallinger Péter Az XSB Prolog rendszer (tabling, Hilog, stb.)
nov. 29 Drótos Márton ASP megvalósítási módszerek
dec. 6 Patai Gergely Logikai programok verifikálása
dec. 13 Dávid Róbert Az Andorra párhuzamos Prolog
A cimen, sot meg a teman is lehet valtoztatni, ha valaki meggondolta magat.
Az idoponton lehetoleg csak ugy, ha valakivel cserel az illeto.
Oktober 28 es november 20 kozott kulfoldon leszek, de fogok emailt olvasni
es valaszolni (ha nem is azonnal :-).
Tobbeteknek megprobaltam mar anyagot kuldeni, ha valaki meg ezen felul
segitsegre szorul, kerem jelezze, ha lehet meg ezen a heten.
-Peter
