Quiz 9 Flashcards
1
Q
[S] Mi az a rezolúciós gráf?
- Az üres klóz előállítását bemutató gráf.
- Az útkeresési feladatot leíró irányított gráf.
- Az összes klóz előállítását bemutató gráf.
- Logikai következtetést szimbolizáló ÉS/VAGY gráf.
A
- Az összes klóz előállítását bemutató gráf.
2
Q
[S] Melyek a p || q és a !p || !q rezolvensei?
- p || q || !q és q || p || !p
- p || !p és q || !q
- nem rezolválhatók
- üres klóz
A
- p || !p és q || !q
3
Q
[S] 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 kiinduló és az eddig előállított klózok halmaza.
- Az egyedek populációja.
- A formalizációban részt vevő predikátumok halmaza.
A
- A kiinduló és az eddig előállított klózok halmaza.
4
Q
[S] Mi a keresési szabálya a rezolúciónak?
- Az üres klóz levezetése.
- A Skolemizálás.
- Az üres klóz előállítása.
- A rezolvens képzés.
A
- A rezolvens képzés.
5
Q
[S] 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 L1 || … || Ln egzisztenciálisan kvantált formula, ahol Li 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.
A
- 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.
6
Q
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 célállítás egy egzisztenciálisan kvantált ÉS/VAGY formula.
- A tényállítás egy L1 || … || Ln univerzálisan kvantált formula, ahol Li 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
- 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.
7
Q
[S] Hogyan kell a rezolúciót válaszadásra felhasználni?
- A választ egy egzisztenciálisan kvantált változóval kell megjeleníteni a célállításban.
- A kérdésre adható választ egy külön predikátummal jelenítjük meg a célállításban.
- A rezolúció csak igen/nem jellegű választ képes adni.
- Az A1 , … , An ⟹ C kérdés helyett az A1 && … && An && !C kielégíthetetlenségét vizsgáljuk.
A
- A választ egy egzisztenciálisan kvantált változóval kell megjeleníteni a célállításban.
8
Q
[M] 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.
A
- Ha elakad (nem tud újabb klózt előállítani), akkor a kiinduló klózhalmaz kielégíthető.
- Ha üres klózzal terminál, akkor a kiinduló klózhalmaz kielégíthetetlen.
9
Q
[M] Mi következik abból, hogy a rezolúció módszere teljes?
- 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íthető, akkor nem állítja elő az üres klózt.
- Ha a kiinduló klózhalmaz kielégíthetetlen, akkor levezethető az üres klóz.
- Minden A1, … , An ⟹ C alakú tétel bizonyítására vagy cáfolására alkalmas.
A
- 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 levezethető az üres klóz.
10
Q
[M] 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 kör.
- Bármelyik csúcsból bármelyik csúcsba el lehet jutni.
- Nincs benne zsákutca.
A
- 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 kör.
11
Q
[M] Melyek lehetnek az alábbiak közül a rezolúció modellfüggő vágó stratégiái?
- Minden rezolúciós lépésben az egyik szülőklóz az utoljára előállított klóz legyen.
- Soroljuk be szintekre a rezolúciós gráf klózait. Nulladik szinten a kiinduló klózok, az i+1-dik szinten azok, amelyek egyik szülője az i-dik szinten van, másik szülője az első i szint valamelyikén. Állítsuk elő szintenként a klózokat.
- Minden rezolúciós lépésben az egyik szülőklóz egyetlen literálból álljon.
- Mindig azt a klózpárt rezolváljuk előbb, amelyikben a literálok száma a legkevesebb.
A
- Minden rezolúciós lépésben az egyik szülőklóz az utoljára előállított klóz legyen.
- Minden rezolúciós lépésben az egyik szülőklóz egyetlen literálból álljon.
12
Q
[M] Melyek az alábbiak közül a rezolúció modellfüggő sorrendi stratégiái?
- Mindig azt a klózpárt rezolváljuk, amelyekben a literálok száma a legkevesebb.
- Minden rezolúciós lépésben az egyik szülőklóz egyetlen literálból álljon.
- Soroljuk be szintekre a rezolúciós gráf klózait. Nulladik szinten a kiinduló klózok, az i+1-dik szinten azok, amelyek egyik szülője az i-dik szinten van, a másik szülő az első i szint valamelyikén. Állítsuk elő szintenként a klózokat.
- Minden rezolúciós lépésben az egyik szülőklóz az utoljára előállított klóz legyen.
A
- Mindig azt a klózpárt rezolváljuk, amelyekben a literálok száma a legkevesebb.
- Soroljuk be szintekre a rezolúciós gráf klózait. Nulladik szinten a kiinduló klózok, az i+1-dik szinten azok, amelyek egyik szülője az i-dik szinten van, a másik szülő az első i szint valamelyikén. Állítsuk elő szintenként a klózokat.
