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.
Lukacsy Gergely <lukacsy(a)cs.bme.hu> 2005.06.23. 14:16:35 +2h-kor írta:
> Sziasztok!
>
> Nagy Zsoltnak hala van nehany tesztsor, amit most mellekelek.
>
Köszönjük.
Viszont ezek a RACER szintakszisa szerinti kérdéseket tartalmaznak, a mienk a specifikáció szerint pedig csak majdnem olyan. Megkérdezem, mielőtt komolyabb bajom lesz belőle: úgy jó, hogy (individual-instance ...) kérdéseket várok, és nem (individual-instance? ...) alakút?
Másrészt a logikusnak tűnő individuals-related, abox-consistent kérdésekre ne tudjon válaszolni a program? Meglepne, mert ugye lényegtelen mennyiségű pluszmunkát adna. De ha nem kötelező, nem is jár érte semmi pont?
Köszönettel
Bergmann Gábor
Szervusztok,
Házi feladatként ALC-következtetőt készítettem, kérdésem, hogy van-e
olyan szabványosnak nevezhető, viszonylag nagyobb méretű T-doboz, illetve
A-doboz, amellyel a program teljesítménye analizálható. Kisebb állományokat
ugyan magam is összeállíthatok a helyes működés bizonyítására, de ez
gyorsaság-vizsgálatokra alkalmatlan. Vagy ilyen bemenetek előállítása is a
feladat részét képezi? Nyilván egy ilyen lehetőség bizonyos triviális hibák
kiküszöbölését is segítené, amely felett egyébként elsiklana a figyelmem.
Üdvözlettel,
Hunyadi Levente
Szia,
> 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?
A cím nem hiszem, hogy megváltozott volna. :) Ebben az ügyben
ugyanis június 2-án már érdeklődtem Lukácsy Gergőtől, így Benkő Tamáshoz
irányíttattam, aki a "Juj, juj! Tenyleg, mar kesz kellene lennunk. De meg
nem vagyunk keszen." mondatokkal reagált hasonló megkeresésemre. :) Ellenben
elküldte a kód jelenlegi állapotát, illetve azokat a részleteket, amelyek a
könyvben is szerepelnek, ezt neked is továbbítottam. Nem tudom, azóta van-e
előrelépés.
Üdvözlettel,
Hunyadi Levente
Nem fogalmaztam eleg vilagosan, kaptam kerdeseket:
> Nem egészen értem a rendszert, de a könyvet szeretném megvenni.
> Akkor hol és mikor (kedvezményesen :)) ?
> csakis a Retek u.-ban tudom holnap megvasarolni a konyvet vagy esetleg megy
> meg
> ELTE konyvesboltban akar egy masik napon?
> Csak ez a ket lehetoseg adott a kedvezmenyes vasarlasra?
A kedvezmenyes vasarlasra meghatarozott ideig van lehetoseg (hogy pontosan
meddig, nem tudom, de azt hiszem legalabb ket hetig).
A vasarlast altalaban az ELTE eszaki epulet foldszintjen (a magas es
alacsonyabb epuletreszek kozotti kelet-nyugati atjaroban) levo
konyvespultnal lehet lebonyolitani. A Typotex honlapjarol idemasolom az
errol szolo "hivatalos" infot:
ELTE Egyetemi Könyvespult
1117 Budapest
Pázmány Péter sétány 1/a
Telefon: 30/308-7384
Boltvezetõ: Juhász Laura
Nyitva: munkanapokon 9-16 óráig
A konyvhetre valo tekintettel viszont ez a Könyvespult holnap, csutortokon
es jovo hetfon (juni. 6.) zarva lesz. Mivel jovo hetfon Szemweb vizsganap
van, azert hogy aki akar, mar holnaptol a konyvbol tudjon keszulni :-),
kivetelesen holnap (jun. 2.-an csutortokon) a Typotex szekhelyen levo INDEX
konyvesboltban lehet a kedvezmenyes beszerzest bonyolitani:
INDEX Könyvesbolt
1024 Budapest
Retek u. 33-35. fsz. 2.
Telefon: 315-02-56
Nyitva: munkanapokon 9-16 óráig
Penteken es jovo keddtol pedig ismet az ELTE Könyvespultnal vehetitek meg a
konyvet.
Az SVHO kurzus osszes hallgatojanak nevet mar leadtam a Typotex-nek, tehat
elvben mindnyajan mar mehettek vasarolni. Kerem, hogy tovabbra is
jelezzetek nekem egy rovid emailben, ha eltek ezzel a vasarlasi
lehetoseggel.
Remelem igy mar vilagos, de ha megsem, akkor kerdezzetek.
SzP
Kedves Hallgatok!
A weblaprol elerheto a jegyzet teljes valtozata, termeszetesen ez csak a
kurzus keretein belul a vizsgara valo felkeszulesre szolgal. Kerunk
titeket, hogy ne sokszorositsatok, ne adjatok oda masoknak stb.
A masodik vizsgahoz mar megvasarolhato lesz a konyv, szamotokra 40%-os
engedmennyel.
udv es jo felkeszulest,
Gergo