Sziasztok !
Informacio hianyban ide irom a kerest: szerintem hianyzik egy
chmod o+r vima9000_3.ps
parancs a webszerveren, mert nem lehet letolteni a 3. eloadas anyagat.
Koszi,
Gyuri
Szeptemberben indul a Valogatott fejezetek a Logikai Programozasbol
c. szeminarium. A targykovetelmenyek megtekinthetok itt:
http://www.vdk.bme.hu/targykov/valaszthato/vima9348.htm
Remelem minel tobben felveszitek meg a targyat. Ha barmilyen kerdesetek
van, irjatok.
-Peter
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)