9. Automatikus következtetés

Mi a rezolúciós gráf?

• Logikai következtetést szimbolizáló ÉS/VAGY gráf

• Az útkeresési feladatot leíró irányított gráf

• Az üres klóz előállítását bemutató gráf

• Az összes klóz előállítását bemutató gráf

Melyek a p || q és a !p || !q rezolvensei?

• nem rezolválhatók

• p || q || ! q és q || p || !p

• p || !p és q || !q

• üres klóz

Mi a globális munkaterülete a rezolúciónak?

• Az axiómákból és a célállítás negáltjából kialakított klózok halmaza.

• A formalizációban részt vevő predikátumok halmaza.

• Az egyedek populációja.

• A kiinduló és az eddig előállított klózok halmaza.

Mi a keresési szabálya a rezolúciónak?

• Az üres klóz előállítása.

• A rezolvens képzés.

• A Skolemizálás.

• Az üres klóz levezetése.

Melyik az alábbiak közül a visszafelé haladó szabályalapú reprezentáció jellemzője?

• A tényállítás egy univerzálisan kvantált ÉS/VAGY formula.

• A célállítás egy L₁ || ... || L_n egzisztenciálisan kvantált formula, ahol L_i literál.

• A szabályok L-->W alakúak, ahol W egy ÉS/VAGY formula, L egy literál, és minden változó univerzálisan kvantált.

• A szabályok W-->L alakúak, ahol W egy ÉS/VAGY formula, L egy literál, és minden változó univerzálisan kvantált.

Melyik az alábbiak közül az előrefelé haladó szabályalapú reprezentáció jellemzője?

• A szabályok W-->L alakúak, ahol W egy ÉS/VAGY formula, L egy literál, és minden változó univerzálisan kvantált.

• A tényállítás egy L₁ || ... || L_n univerzálisan kvantált formula, ahol L_i literál.

• A szabályok L-->W alakúak, ahol W egy ÉS/VAGY formula, L egy literál, és minden változó univerzálisan kvantált.

• A célállítás egy egzisztenciálisan kvantált ÉS/VAGY formula.

Hogyan kell a rezolúciót válaszadásra felhasználni?

• A kérdésre adható választ egy külön predikátummal jelenítjük meg a célállításban.

• A választ egy egzisztenciálisan kvantált változóval kell megjeleníteni a célállításban.

• Az A₁, ... ,A_n --> C kérdés helyett az A₁ && ... && A_n && !C kielégíthetetlenségét vizsgáljuk.

• A rezolúció csak igen/nem jellegű választ képes adni.

Mi következik abból, hogy a rezolúció módszere helyes?

• Ha elakad (nem tud újabb klózt előállítani), akkor a kiinduló klózhalmaz kielégíthető.

• Kicsi a futási ideje.

• Ha üres klózzal terminál, akkor a kiinduló klózhalmaz kielégíthetetlen.

• Mindig elő tudja állítani az üres klózt.

Mi következik abból, hogy a rezolúció módszere teljes?

• Minden A₁, ... , A_n C alakú tétel bizonyítására vagy cáfolására alkalmas.

• Ha a kiinduló klózhalmaz kielégíthető, akkor nem állítja elő az üres klózt.

• Ha a kiinduló klózhalmaz kielégíthetetlen, akkor véges lépésen belül terminál.

• Ha a kiinduló klózhalmaz kielégíthetetlen, akkor levezethető az üres klóz.

Melyek az alábbiak közül a rezolúció reprezentációs gráfjának különös tulajdonságai?

• Ha a stratcsúcsból vezet út célcsúcsba, akkor mindegyik startcsúcsból elérhető csúcsból is vezet célcsúcsba út.

• Nincs benne zsákutca.

• Nincs benne kör.

• Bármelyik csúcsból bármelyik csúcsba el lehet jutni.