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.
Sziasztok!
A héten szerdán megtörtént a házifeladatok megbeszélése. Ez egyrészről
igen tanulságosnak bizonyult, másrészről felvetette, hogy kíváncsiak
lettünk mások házijára is...
... így aztán azt beszéltük meg, hogy a házikat Péter nyilvánosságra
hozza, méghozzá mindenkiéből a legfrissebb változatot, amit a
keretrendszerrel beadott. Aki nem szeretné, hogy ez történjen a
házijával, az küldjön be egy "üres megoldást". Aki meg esetleg szeretne
még javítani a saját megoldásán, az is megteheti, hogy beküld újabb (és
újabb :)) megoldásokat...
Mindenesetre mindenki házijából az a verzió fog többé-kevésbé napvilágra
kerülni, amit utoljára beküldött, beleértve az "üres megoldásokat" is
(ennek a pontos szemantikája az, hogy ezek nem fognak a nyilvánosság elé
kerülni). Aki úgy érzi, a jelenleg utolsó beküldött házi-változata
megfelelő és nyilvánosságra hozható, annak természetesen nem kell semmit
sem beadnia.
Mindezek végső határidejének 2005. március 21-ét (tavaszi
napéjegyenlőség, tanácsköztársaság ill. Valaki* szülinapja) 24:00-t
jelöltük meg.
--
Áron
*: bocsánat, sajnos nem emlékszem már, kié...
Sziasztok!
Nekem gyakorlatilag bármelyik időpont jó, de ha megoldható, nem
szeretnék késő estig benn maradni.
Szóval legkésőbb 17 órára szavazok.
Üdv: Peti
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)
Hevesi Richard <hesi(a)sch.bme.hu> writes:
> Szia!
>
> Most adtam le a házimat nhlp-bõl, mikor lehet menni jegyet beíratni,
> illetve hova? Ezt a címet a cs.bme.hu/~szeredi oldalon találtam, csak
> nem tudom mennyire friss vagy mennyire érvényes:
> Budapest, Goldmann György tér 3. V2. épület I. em. 136. szoba
A cim ervenyes.
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.
-Peter
Sziasztok!
Írtam 1 globális korlátot ami a könyvtári sum-ot egészíti ki ugy, hogy a
listában amit összegez ne lehessenek egyedül álló 1esek. A lista csak
1esekből és 0kból áll. Sajnos vmiért elszáll a tőle a sicstus. Ha valakinek
van 1 kis ideje, nézze meg légyszives, hogy mi lehet vele a gond!
-----------------------------------------------------------
% sumex(L, E): L lista elemeinek összege E, és L nem tartalmaz 1edül álló
1est
sumex(L, E) :-
minmaxs(L, Susp),
fd_global(sumex(L, E), void, Susp).
minmaxs([], []).
minmaxs([X|XS], [minmax(X)|YS]) :-
minmaxs(XS, YS).
:- multifile clpfd:dispatch_global/4.
:- discontiguous clpfd:dispatch_global/4.
clpfd:dispatch_global(sumex(L, E), St, St, Actions) :-
dispatch_sumex(L, E, Actions).
dispatch_sumex(L0, E0, Actions) :-
filter(L0),
ossz(L0, E0, L, E),
length(L, Len),
( Len < E -> Action = [fail]
; E == 0 -> Action = [exit|Szuk1], szukites1(L, Szuk1)
; E == Len -> Action = [exit|Szuk2], szukites2(L, Szuk2)
; Actions = []
).
% filter(L): Az L lista első 2 vagy 3 elemében nincs 1edül álló 1es.
filter([A,B,C|L0]) :-
( number(A), number(B), number(C) ->
\+ ( A == 0, B == 1, C == 0 ),
\+ ( A == 1, B == 0 )
; number(A), number(B) ->
\+ ( A == 1, B == 0 )
; true
),
filter1([B,C|L0]).
% filter1(L): Az L lista további elemeiben sincs 1edül álló 1es.
filter1([A,B,C|L0]) :-
( number(A), number(B) ,number(C) ->
( L0 == [] \+ ( A == 0, B == 1, C == 0 )
; \+ ( A == 0, B == 1, C == 0 ), filter1([B,C|L0])
)
; number(B), number(C), L0 == [] -> \+ ( B == 0, C == 1 )
; filter1([B,C|L0])
).
% ossz(L0, E0, L, E): Az L0 lista elemeinek összege E0, L lista pedig az L0
lista, kivéve a már konstans elemeket, E pedig L0 elemeinek összege.
ossz([], X, [], X).
ossz([X|L0], E0, L, E) :-
( number(X) -> E1 is E0 - X, L = L1
; E1 is E0, L = [X|L1]
),
ossz(L0, E1, L1, E).
% szukites1(L, Szuk): L lista minden elemét 0 értékre szűkítő korlátlista
Szuk.
szukites1([], []).
szukites1([X|L], [S|SL]) :-
fdset_singleton(Set, 0),
S = (X in_set Set),
szukites1(L, SL).
% szukites1(L, Szuk): L lista minden elemét 1 értékre szűkítő korlátlista
Szuk.
szukites2([], []).
szukites2([X|L], [S|SL]) :-
fdset_singleton(Set, 1),
S = (X in_set Set),
szukites1(L, SL).
-----------------------------------------------------------
Köszi!
Csaba
