Hi,

wann muss man welches Resolutionsverfahren anwenden? Kann man das an Hand der gegebenen Klauseln erkennen? Bei vielen Beispielen wurden z.B. P- und N-Resolution gemeinsam benutzt. Vielen Dank.

Gruß

Entweder man macht P-Resolution oder N-Resolution (siehe Definition 8.7, es bezieht sich auf die gesamte Resolution, nicht auf eine einzige Resolventenbildung). Die meisten Beispiele, von denen du warscheinlich meinst es wäre "beides" drin, sind eigentlich eher "normale" Resolutionen ohne Anwendung einer der beiden Regeln (sie sind zusätzliche Restriktionen die die normalen Resolution begrenzen). Normalerweise wendest du einfache Resolution an (und gehst dort intuitiv eh "zielorientiert" ran, da muss man dann vielleicht mal P-Resolution benutzen - ohne es zu merken). Stützmengenresolution, Lineare Resolution, P-/N-Resolution sollte zumindest für Klausursituationen gefragt sein, damit man es anwendet (würd ich jetzt mal sagen [23]).

Wie Klauseln am besten aussehn müssen, damit sie "wie geschaffen" sind für eine bestimmte Resolution, das sieht man dann denk ich mal durch Erfahrung. Auch wenn man "intuitiv" nach langem Probieren nicht weiter kommt, kann es sinnvoll sein Restriktionen einzubauen, um die Resolutionsmöglichkeiten einzuschränken und nicht ewig auf eine Terminierung zu warten.

Entweder man macht P-Resolution oder N-Resolution (siehe Definition 8.7, es bezieht sich auf die gesamte Resolution, nicht auf eine einzige Resolventenbildung). Die meisten Beispiele, von denen du warscheinlich meinst es wäre "beides" drin, sind eigentlich eher "normale" Resolutionen ohne Anwendung einer der beiden Regeln (sie sind zusätzliche Restriktionen die die normalen Resolution begrenzen). Normalerweise wendest du einfache Resolution an (und gehst dort intuitiv eh "zielorientiert" ran, da muss man dann vielleicht mal P-Resolution benutzen - ohne es zu merken). Stützmengenresolution, Lineare Resolution, P-/N-Resolution sollte zumindest für Klausursituationen gefragt sein, damit man es anwendet (würd ich jetzt mal sagen [23]).

Wie Klauseln am besten aussehn müssen, damit sie "wie geschaffen" sind für eine bestimmte Resolution, das sieht man dann denk ich mal durch Erfahrung. Auch wenn man "intuitiv" nach langem Probieren nicht weiter kommt, kann es sinnvoll sein Restriktionen einzubauen, um die Resolutionsmöglichkeiten einzuschränken und nicht ewig auf eine Terminierung zu warten.

Von welcher Klausur ist hier die Rede??