Sziasztok,
Oran megbeszeltuk, hogy ha Gergo elfelejtene elkuldeni a listara es/vagy
kitenni a honlapra, akkor en bekuldom. Tehat itt van egy mintavizsga,
fogyasszatok egeszseggel. (Ps-ben kaptuk, en ps2pdf-en atkuldtem, ugy
csatolom az egyszeruseg kedveert, igy kisebb is jelentosen).
Gabor
Kedves hallgatók!
A ZH eredmények a következők lettek (mint látható mindenki "átment" :):
Fábián Viktor: 98
Hojtsy Gábor: 88
Erős Péter: 84
Buza Krisztián Antal: 81
Csontos B. László: 79
Kerekes József: 77
Csuka Zsolt: 69
Bertók Katalin: 62
Kiss Balázs: 61
Mendei Krisztián: 59
Hummer András: 50
Deákpál Attila: 49
A ZH-kat a következő előadásra bevisszük, ahol meg lehet nézni azokat.
Természetesen elképzelhető, hogy valamit elnéztünk a javítás során,
ezért reklamációra lesz mód. A fő problémának azt láttam, hogy sokan
közületek teljes feladatokat hagytatok ki, amire egyszerűen nem lehet
0-nál több pontot adni.
üdv,
G
Kedves Listatagok!
A mintazh 22-es feladatanak megoldasat nem ertem,
a kifejezes masodik resze nem vilagos, pl. az, hogy mi a
z valtozo szerepe.
22. (minden x)(Ember1(x) <->
Ember(x) /\
(minden y, z)( gyereke(x,y) /\ gyereke(x,y) -> y = z))
Koszonom, Buza Krisztian
__________________________________________________
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
http://mail.yahoo.com
Sziasztok,
Peter kerte, hogy ha ma estig nem kuldi el a mintamegoldasokat, akkor
hivjuk fel erre a figyelmet (illetve egeszen pontosan azt kerte, hogy
delutan kuldjunk figyelmezteto levelet, de en csak most jutottam email
kozelbe). En nem kaptam meg, es archivumban sem latom a megoldasokat.
Kosz,
Gabor
Kedves hallgatok!
A holnapi nap rendes eloadas lesz, a szokasos teremben, az I epuletben.
A hetfoi eloadast ZH felkeszito eloadasnak is szanjunk.
Ehhez kapcsolodik :), hogy a ZH jovo het csutortokon, tehat aprilis 6-an
lesz, eloadasidoben.
Mellekelek egy mintazh-t.
Gergo
Kedves Listatagok!
Lehet, hogy csak en vagyok figyelmetlen, de sehol nem talalom a
pontos leirasat annak, hogy milyen formatumu az a fajl, amit a
masodik kishazi programjanak be kell olvasni, hogy azutan azon
vegrehajtsa a Page Rank-t. Tudna valaki segiteni?
Koszontettel,
Buza Krisztian
__________________________________________________
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
http://mail.yahoo.com
Sziasztok,
Gergo hivta fel a figyelmem, hogy erdemes lenne bekuldenem az
informaciot (ha mar erre a targyra jarok :). Harom evnyi PHP Konferencia
es Roadshow ( http://phpconf.hu/index/ ) szervezes utan iden
megrendezzuk a Magyarorszagi Web Konferencia 2006 nevu rendezvenyt.
http://web.conf.hu/2006
Itt lathattok olyan neves tamogatokat mint Microsoft, Sun, Adatpark,
stb. Az eloadasok ennek megfeleloen sokoldalubbak, mint a korabbi PHP
Konferenciakon, .NET, Java, Ruby on Rails, Python, Perl, Apple
WebObjects es sokminden mas ami szem-szajnak ingere. Ezen a levlistan
azert is kulonosen relevans, mert jon Herman Ivan is (Amszterdambol), es
a szemantikus web alapjairol fog beszelni, szemleletes peldakkal. Igaz,
addigra eloadason is lemegy ez a tema ha jol tudom, de Ivannak is nagyon
jok a szemleltetesi kepessegei, volt mar szerencsem resztvenni eloadasan.
A konferencia marcius 18-an szombaton lesz, reszvetel igyenes, ha weben
regisztraltok (kulonben a reszvetel kizart :). Tobbet a weblapon.
Gabor
Jó napszakot!
1) Szeretnék megerősítést kérni: a nagyháziban valóban szabadon felhasználhatjuk a könyvben lévő T-dobozos következtető forráskódot?
2) Ha igen, akkor a könyvben említett címre fel fog kerülni a kód szövege? Vagy esetleg megváltozott a címe?
Vö.:
A fejezet ismeretanyagának elmélyítését segíti, hogy a megvalósított program kipróbálható, a
forráskód a [62] URL alól letölthető.
és:
[62] Kiegészítő anyagok A szemantikus világháló elmélete és gyakorlata c. könyvhöz.
http://www.cs.bme.hu/~szeredi/szemweb.
Köszönettel
Bergmann Gábor
Kedves Mindnyajan!
(elnezest az esetleges duplikatumokert)
A tanszekunkon folyo SILK-SINTAGMA kutatasi projekt kapcsan felmerult
nehany olyan kutatasi feladat, amely egyben TDK temakent is szolgalhat.
Ezekre a feladatokra szeretnek most verbuvalni jelentkezoket kozuletek. A
mostantol szept 15.-ig terjedo idoszakban 4-6 heti teljes munkaidonek
megfelelo munkamennyiseget (durvan 160-240 munkaorat) varnank el, viszonylag
szabad, de egyeztetendo beosztasban, es ezert valamennyi fizetseget is
tudnank adni a projekt kapcsan. Elsosorban irodalmazasi, elemzesi munkarol
lenne szo, de kisebb programok irasa, meglevo eszokokkel valo kiserletezes
is szukseges lehet. Az elsodleges output egy tanulmanyfejezet lesz. A temak
rovid leirasat mellekelem, es a honlapomon is olvashatjatok
(http://www.cs.bme.hu/~szeredi/oktatas/temak05s2.txt) -- de ne ijedjetek
meg, ha nem ertheto, mert ezt nagyon nehez ilyen roviden elmondani.
A projekt kapcsan keszult anyagokbol szeptember-oktober folyaman realis
lehetoseg egy jo minosegu TDK dolgozat megirasa.
Junius 29-en szerdan delutan 2-tol tartunk egy megbeszelest, ahol egy
kicsit reszletesebben is elmondjuk, hogy mit is takarnak ezek a temak, es
valaszolunk a kerdesekre.
Kerem, akit erdekel valamelyik tema, az irjon egy emailt nekem, amelyben
megadja a szamara erdekes temakat, valamint azt, hogy el tud-e jonni a 29-i
megbeszelesre. Ha nem, adjon meg minel tobb alternativ idopontot a
kozeljovoben arra, hogy beszelgessunk.
A http://www.cs.bme.hu/~szeredi/oktatas/temak05s2.txt lapon talaltok olyan
temakat is amelyek nem a SINTAGMA projekthez kapcsolodnak (2.x es 3.x
pontok). Emellett szivesen vezetek mas, egyeni temakat is, ha azok a
logikai programozashoz kapcsolodnak. Ha valakit ezek a lehetosegek
erdekelnek, annak is erdemes mar a nyaron elkezdeni foglalkozni a
temaval. Eddigi TDK-s tapasztalatom az volt, hogy egy intenzivebb nyari
munka I-II dijas TDK eredmenyt adott. Ha valaki a nyaron legalabb
valamennyi idot ra tud szanni egy ilyen feladatra, attol is kerem, hogy
irjon levelet a tema(k) feltuntetesevel. Elegendo jelentkezo eseten a 29-i
megbeszeles masodik feleben ezekrol is lesz szo.
Szeredi Peter
---------------------------------------------------------------------------
Önálló labor, TDK és diplomamunka (egységesen: munka) témák
Szeredi Péter, SZIT
szeredi(a)cs.bme.hu
2005. június
1. Logikai programozáson alapuló segédeszközök információs rendszerek
integrálásának segítéséhez
A tanszéken 2005. januárjában indult a SINTAGMA (Szemantikus INtegrációs
Technológia Alkalmazása Grid-alapú Modell-vezérelt Architektúrákban)
c. NKFP projekt, partnerek: SZTAKI, KFKI Számítástechnikai Rt., MTI,
OSZK, Areco, Hunoris.
A SINTAGMA projekt folytatása annak a kutatási munkának, amely az
IQSYS Rt.-nél folyt a SILK (System Integration via Logic and
Knowledge) ill. LOBO (Logic-Based Ontology Management) kutatási
projektek keretében. Ennek a projekt-sorozatnak a célja egy olyan
eszközkészlet létrehozása, amely heterogén információ-források
egységesítését segíti oly módon, hogy a forrásokat magukat nem
duplikáljuk, nem másoljuk le. A projektsor alapgondolata az, hogy
az információs rendszerekre vonatkozó ismereteket (metaadatokat)
egy tudásbázisban tároljuk. Ezeket az ismereteket többféle
formalizmussal adhatjuk meg, pl. leíró-logikában (Description
Logics) vagy objektum-orientált módon (UML). A tudásbázisban
tároljuk az objektum-modell jellemzõit: a fogalmak, osztályok
szerkezetét, kapcsolataik leírását. Emellett fontos szerepet kapnak
az objektumokat, kapcsolatokat jellemzõ megszorítások, korlátok,
amelyek megfogalmazására részben az OCL (az UML részét képezõ
Object Constraint Language) nyelvet, részben a leíró-logika nyelvét
használjuk.
A SINTAGMA rendszer ily módon lehetõvé teszi, hogy egyes felhasználói
csoportok fogalmi modelljeit megfogalmazzuk és ezeket összekapcsoljuk az
információs rendszerek modelljeivel. Az eszközkészlet egyes komponensei
a modellek és kapcsolatrendszerek felépítését és vizsgálatát segítik, a
heterogén információ-források lekérdezését biztosítják, illetve a
modell- és adat-szintû ellentmondások felderítését és kiküszöbölését
támogatják.
A témák viteléhez szükséges az objektum-orientált modellezés és a
logikai programozás (Prolog) ismerete és alkalmazási készsége. Egyes
feladatokhoz szükség van a Java nyelv ismeretére is.
A SINTAGMA projekt alapozó kutatási munkái most folynak, várhatóan
az alábbi területeken lehet bekapcsolódni a projektbe (a lista
bõvítése folyamatban):
1.1 Hibrid modellezési paradigmák
A különbözõ tudásterületeken eltérõ modellezési eszközöket és
módszereket használnak a fellelhetõ ismeretek leírására. A sok
helyen jól használható objektumorientált paradigma kevésbé alkalmas
ontológia jellegû tudásmorzsák megadására, ahol az osztályokat úgy
hozzuk létre, hogy megmondjuk: milyen jellemzõvel rendelkezõ
példányok az elemei (lásd a leíró logikai megközelítést). Ugyancsak
másfajta modellezésre lehet szükség pl. webszolgáltatások
leírása esetén (amelyek összetett típusok használatát is
megkövetelhetik).
A feladat annak megvizsgálása, hogy milyen módon hozható az
UML-, a leíró logikák- és a webszolgáltatások világa egy közös
fedél alá. A cél egy olyan egységes modellezési nyelv
kialakítása, amely lehetõvé teszi a fenti modellezési elemek
együttes használatát.
1.2 Modellverifikáció
A jelenleg mûködõ ellenõrzõ eszköz a modellszintû
ellentmondások felderítését támogatja a CLP (Constraint Logic
Programming) eszköztárának felhasználásával. A különbözõ
tartományokon dolgozó CLP következtetõk egy ütemezõ
közremûködésével fejtik ki hatásukat.
A feladat annak az elemzése, hogy a létezõ, elsõrendû logikán
alapuló tételbizonyítók mennyire és milyen módon alkalmasak a
jelenlegihez hasonló verifikációs feladatok megoldására. A cél annak
eldöntése, hogy a CLP-s vagy pedig az elsõrendû következtetõn
alapuló irány az, amelyet a rendszer további fejlesztése során
követnünk érdemes.
1.3 Gráfok hasonlóságvizsgálata
Információforrások integrációjakor az elsõ lépés annak
eldöntése, hogy a különbözõ forrásokat reprezentáló modellek
között milyen kapcsolatok, milyen megfeleltetések
lehetségesek. Ehhez össze kell hasonlítani az egyes
modelleket. Különbség lehet az alkalmazott technikában akkor, ha
ezen modellek valamilyen szempontból közös õstõl származnak,
ilyenkor beszélhetünk modellek/ontológiák evolúciójáról.
A feladat olyan (feltehetõleg gráf) algoritmusok kidolgozása,
amelyek objektumorientált és leíró logikai modellelemek
összehasonlítására alkalmazhatók. A cél egy olyan egységes
modell-összehasonlító modul elkészítése, amely az 1.1-es
feladatban leírt hibrid modellezési nyelven leírt modellek
összehasonlítását képes hatékonyan elvégezni.
1.4 Modellek egyesítése
A heterogén információforrások egységesítését úgy érjük el,
hogy a forrásokat leíró modellek fölé új, egyesített modelleket
építünk. Ezeket és az alacsonyabb szintû modelleket különféle
leképzésekkel kapcsoljuk össze. Az egyesített modellek több
információforrást fognak át és tesznek lekérdezhetõvé.
A feladat olyan módszerek kidolgozása, amelyek segítségével
automatizálható az egyesített modellek létrehozásának
folyamata, ha feltesszük, hogy a modellek összehasonlításából
származó eredmények már rendelkezésünkre állnak. A cél az, hogy
a felhasználó a lehetõ legkevesebb manuális beavatkozással
legyen képes átfogó modellek létrehozására.
1.5 Generikus HTML csatoló
Félig strukturált adatokban, mint például XML-ben, a keresés
többé-kevésbé megoldott, hiszen rendelkezésünkre állnak a
különféle XML lekérdezõnyelvek megvalósításukkal együtt. A HTML
források speciálisak azonban abból a szempontól, hogy a rajtuk
történõ keresést általában vizuális információk
vezérlik. Például a felhasználó azt az igényt tudja
megfogalmazni könnyen, hogy õt a lapon látható második
táblázatnak érdekli az ár oszlopa, függetlenül attól, hogy maga
a HTML kód hogyan néz ki.
A feladat egy olyan információkinyerõ technológia létrehozása, amely
képes HTML nyelvû dokumentumokban keresni úgy, hogy a keresés
feltételét a megjelenítési rétegen fogalmazzuk meg. A cél az, hogy
ha egy felhasználó el tudja magyarázni egy böngészõ elõtt ülve, hogy
õt pontosan mi érdekli egy adott oldalon, akkor a kialakítandó
technológia képes legyen kinyerni azt az oldalról. A keresõnek akkor
is meg kell találnia a keresett elemet, ha maga az oldal idõközben
bizonyos mértékben meg is változott.
