Sziasztok,
Mellékelten küldök még három tesztsor és helyes megoldások (zip). Az
utolsónál a TBox üres.
Hátha félreértette még valaki (vak voltam és egy csomó teszt ezért
nem egyezett a Racer megoldásával...):
(concept-subsumes C1 C2) % igaz-e, hogy C1 része C2
C1 része C2 = C2 része C1-nek
és NEM C2 része C1.
Az első 2 tesztsor nem mutatta ki a rossz sorrendet. Például a 3.
tesztsor 8. és 9. kérdése pont erre való, ott rossz válaszokat kaptok a
rossz sorrendre.
Zsolt
Kedves lista!
(i) A holnapi vizsga 14:00-kor kezdodik az IE220-as teremben.
(ii) Mellekelek 2 mintat a masodik nagyhazihoz, koszonet Nagy Zsoltnak erte
Javasoljuk, hogy futtasatok le Racer-ben is a peldaitokat, igy biztosak
lehettek abban, hogy mi a helyes valasz.
(iii) Sok szep megoldas erkezett az elso nagyhazira, csak igy tovabb!
(iv) A masodik nagyhazinal ugy tunik nem volt tiszta a
(concept-is-primitive C) kerdes
szemantikaja. Ezert ezt nem fogjuk szamonkerni a beadaskor. Ennek
ellenere azert leirom,
hogy mire gondoltam.
C fogalom primitiv, ha:
(i) atomi fogalom es nem szerepel a TBoxban bal oldalon
(ii) _atomi fogalom_, szerepel egy (implies C D) sorban a TBoxon belul
es D primitiv (azaz egy atomi
fogalom, ha resze egy primitiv fogalomnak, akkor o is primitiv)
Valamint fontosak meg:
- ami nem atomi fogalom, az nem primitiv
- ha valamirol kiderul valahogyan, hogy nem primitiv, akkor vegeztunk
~~~~~~~~~~~
Peldak:
~~~~~~~~~~~
Primitiv fogalom az alabbiakban A B es C...
D resze A metszet B
C resze A
.. de nem primitiv fogalom az alabbiakban B metszet C (bar A primitiv,
de B metszet C nem atomi):
B metszet C resze A
... valamint nem primitiv fogalom az alabbiakban B (bar A primitiv es
van egy B resze A axiomank, viszont
mar korabban kiderul B-rol, hogy nem primitiv - resze egy nem atomi
fogalomnak)
B resze G metszet Z
B resze A
~~~~~~~~~~~~~~~~~~
Vegtelenes problemak:
~~~~~~~~~~~~~~~~~~
Primitiv fogalom az alabbiakban A es B:
A resze B
B resze A
A rekurziv definicio miatt kialakulhatnak korok, de ezeket eszre lehet
es kell is venni.
A fenti esetben valami olyasmi pontra fog eljutni az algoritmus, hogy A
primitiv fogalom, ha B az es B primitiv
fogalom, ha A az. Ezt fel kell tudni (illetve nem kell, mert nem kerjuk
szamon) ismerni.
Gergo
(tbox-coherent)
(concept-satisfiable man)
(concept-satisfiable woman)
(concept-satisfiable (and man woman))
(concept-satisfiable (and (some haschild man) (some haschild woman)) )
(concept-satisfiable (and (some haschild man) (some haschild woman) (exactly 1 haschild)) )
(concept-equivalent man (not woman) )
(concept-subsumes man (and person (not woman)) )
(concept-subsumes (and person (not woman)) man )
(concept-equivalent (some haschild (all haschild man)) (not (all haschild (some haschild (or (not person) woman)))) )
*T*
*T*
*T*
*F*
*T*
*F*
*F*
*T*
*T*
*T*
(implies woman (and person female))
(implies (and person female) woman)
(implies man (and person (not woman)))
(implies (and person (not woman)) man)
(implies mother (and woman (some haschild person)))
(implies (and woman (some haschild person)) mother)
*T*
*T*
*T*
*T*
*T*
*T*
*F*
*T*
*T*
*T*
(tbox-coherent)
(concept-subsumes parent (or mother father) )
(concept-equivalent *bottom* (not (or (not mother) (not father))) )
(concept-subsumes (not (or (not mother) (not father))) *bottom* )
(concept-disjoint mother father)
(concept-disjoint mother man)
(concept-satisfiable (and parent (not (at-least 1 haschild))))
(concept-subsumes father (and parent (not mother)))
(concept-satisfiable (and (or (some haschild father) (some haschild mother)) (all haschild parent) (at-most 1 haschild) ))
(concept-disjoint (at-least 2 haschild) (at-most 1 haschild))
(implies woman (and person female))
(implies (and person female) woman)
(implies man (and person (not woman)))
(implies (and person (not woman)) man)
(implies mother (and woman (some haschild person)))
(implies (and woman (some haschild person)) mother)
(implies father (and man (some haschild person)))
(implies (and man (some haschild person)) father)
(implies parent (or mother father))
(implies (or mother father) parent)
Kedves Hallgatok!
A beerkezett visszajelzesek alapjan a vizsga idopontjat junius 24-re
modositottuk.
A neptunban mar (allitolag) latszik az uj idpont, kerlek Titeket, hogy
jelentkezzetek
le a regirol.
A felkeszulest segitendo, mellekelten kuldom a legutobbi vizsgasort,
Gergo
Sziasztok!
Eloszor is, remelem senki sem felejtette, hogy holnap delben tartjuk az
elso szemweb vizsgat, ahol
mindenkit szeretettel varunk.
A masik tema, hogy sajnos en junius 16-an kulfoldon leszek, ezert ugy
erezzuk szerencses
lenne eltenni a vizsgat egy masik idopontba. Tudom, hogy a "beszeljuk
meg kozosen" dolgok nem
mukodnek bizonyos letszam felett, de ennek ellenere most megis erre
kerlek titeket.
Korlatok, tenyek:
- nem jo intervallum: junius 13-20 (illetve 21-en delelott, akkor erkezem)
- vizsgaidoszak vege: junius 25
- elso vizsga idopontja holnap, azaz junius 3
Koszi az egyuttmukodest,
Gergo
Hello!
A reszhalmaz blokkolassal kapcsolatban nem ertek valamit:
Ha az algoritmus soran eloall egy olyan allapot, hogy egy gyerek nelkuli x
csucsnak a cimkei (RACER-es szintaxissal):
L(x) = { (and Ember Magyar) ;
(some ose (and Ember Magyar)) ;
(all ose (not Magyar)) }
es ha ilyenkor eloszor a letezik-szabalyt alkalmazom, letrejon egy y
csucs, amely gyereke x-nek, es
L(y) = { (and Ember Magyar) }
itt L(y) resze L(x)-nek, tehat elvileg y blokkolodik, nem alkalmazhato ra
a metszet-szabaly a tovabbiakban. Ha viszont x-re most a minden-szabalyt
hajtom vegre, bejon y cimkejekent a (not Magyar), igy L(y) tobbe mar nem
lesz resze L(x)-nek. Ahhoz, hogy a Magyar <--> (not Magyar) ellentmondasra
rabukkanjunk, y-ra kell a metszet-szabaly, amihez eloszor "unblokkolni"
kell y-t, pedig ugy tudtam, ilyenre csak dinamikus blokkolasnal van
szukseg (attol hivjak dinamikusnak). Vagy a tablo algoritmusban a
szabalyokat nem tetszoleges sorrendben lojuk el? (A faban mindig a
legfelso olyan csucsot keressuk, amire alkalmazhato valamilyen szabaly,
es azt hasznaljuk?)
Remelem nem nagyon zurzavaros, amit irtam.
A masik dolog: Nagy gonoszsag lenne kerni a 2-es nagyhazihoz nehany
peldat, amin le tudnank tesztelni a programot? Egyreszt, hogy lassuk, jol
mukodik-e, masreszt, hogy tudjuk, nagyjabol mi az elvart sebesseg (milyen
sulycsoport lesz az a 10 teszteset beadaskor :)
Koszonom!
Peti
