Mesterséges intelligencia - elsőre pipa

Boobaa küldte be 2006. 01. 28., szombat, 22:05 időpontban

Ú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)