Újabb jó hír: hármas lett a mestint. Kicsit tartottam tőle, lévén hétkredites tárgy (a 10 félév alatt összesen három ilyen volt - ha jól emlékszem, a másik kettő a diszkrét matek és az adatbázisok), no meg állítólag a tanár elhajtott már úgy Debrecenből Szegedre csak aláíratni lement diákot, hogy ma nincs jegybeírás... A lényeg, hogy megvan.
Íme a feladatok:
1. Bizonyítsd rezolúcióval (6p):
[((p ^ q) -> r) ^ (p -> q)] -> (p -> r)
2. Az alábbi gráf alapján mondjon konkrét példát ezen következtetési módszerekre: diagnosztikai, okozati, okok közti, kevert következtetés. (4x3p)
(Betörés) (Földrengés)
\ /
-> (Riasztás) <-
/ \
(MáriaTelefonál) <- -> (JánosTelefonál)
3. Mutassa meg, hogy az alábbi gráf nem monoton! Hajtsa végre az A* algoritmust, és közben javítsa a pontokat, hogy a gráf monoton legyen! (Csak a pontok becslése javítható, valamint az A* algoritmussal meg kell mutatni, hogy hol hibás a becslés.) (15p)
Start(20)
/ | | --------------
/ | | \
-------11-- 9 6------ 1---
/ / \ \
| | | |
ˇ ˇ ˇ ˇ
A(1) <-- 1 --- B(4) <-- 1 --- C(8) <-- 1 --- D(14)
/ ^ ^ ^ / / /
/ \ \ \ / / /
/ \ ---------3------------- / /
18 \ \ / /
| \ ---------4--------- /
ˇ \ /
Cél ----------------6------------------
4. Mutassa be a rezolúció hatékonyságát növelő stratégiákat (szélességi keresés, támogató halmaz, lineáris, ősre korlátozott)! (4x3p)
5. Ismertesse a ROC görbéket, és a rájuk vonatkozó megfontolásokat! (15p)