Grundresolution
Sei c eine Konstante und f eine einstellige Funktion .
Seien x, y und z Variablen.
www.is.inf.uni-due.deGround resolution
Given a constant c and a function with a single argument f .
Let x, y and z be variables.
www.is.inf.uni-due.deAufgabe 26 :
Grundresolution Sei c eine Konstante und f eine einstellige Funktion . Seien x , y und z Variablen .
Weist mit prädikatenlogischer Grundresolution die Unerfüllbarkeit der folgen- den, in Skolemform gegebenen Formel nach:
www.is.inf.uni-due.deIf a set is unifiable, also give a most common unificator. ( a ) { P ( x, f ( y ) ), P ( g ( y, a ), f ( b ) ), P ( g ( b, x ′ ), z ) } ( b ) { P ( f ( x ), f ( f ( a ) ) ), Q ( f ( x ), f ( f ( a ) ), g ( z, z, z ) ) } ( c ) { Q ( a, x, g ( a, b, c ) ), Q ( a, f ( z ), g ( a, b, y ) ), Q ( a, f ( f ( x ′ ) ), g ( a, x, g ( c, b, a ) ) ) } 6 Points Exercise 26 :
Ground Resolution Given the constant c the monadic function f and the variables x, y and z.
Prove the unsatisfiability of the following formula in Skolem normal form using ground resolution:
www.is.inf.uni-due.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.Hier kannst du uns Verbesserungen dieses PONS-Eintrags vorschlagen:
Wie kann ich Übersetzungen in den Vokabeltrainer übernehmen?
Bitte beachte, dass die Vokabeln in der Vokabelliste nur in diesem Browser zur Verfügung stehen. Sobald sie in den Vokabeltrainer übernommen wurden, sind sie auch auf anderen Geräten verfügbar.