Logik Übung 10

snoopy

Junior Schreiberling

Posts: 146

Date of registration: Feb 29th 2004

Location: Hannover

Occupation: Informatik

1

Friday, June 17th 2005, 5:54pm

Ich habe mal ein paar kleine Fragen zur Logik Übung 10 (prädlog. Resolvent).

Es geht mir um Aufgabe 2, des Übungsblattest 10 und um das allgemeine Vorgehen...

Also, zuerst nehme ich K1 und K2. Die dürfen keine gleichen Variablne haben, also disjunktisiere ich die durch ersetzen von Variablen mit anderen, wenn sie in K1 und K2 vorkommen. Dann habe ich also K1 und K2'.

Nun wähle ich mir ja so ein L zum unifizieren. Ich nehme dann alle Prädikate die gleich sind in eine Menge? sprich z.B. alle Q()...

das unifiziere ich. ok.

nun meine Fragen. Muss ich das auch noch mit P machen? oder nur mit Q?

Dann schreib ich ja irgendwie das R auf.

R ist die Vereinigung von K1 und K2 und ich wende darauf den Unifikator von Q() an? dann scheinen auch einige P's zusammenzufallen womöglich.

Wenn ich nun ne Menge habe
R= { P(a,b), nicht P(a,b), P(a,c) Q(ad,e,f,g,h) }

idies ist K1+K2 mit der sub von Q sagen wir.
Ist das mein Ergebnis?
Ist es richtig, dass P(a,b) UND nicht P(a,b) drinne sind?

Das wurde nicht so toll deutlich in der Übung dargestellt

Go to the top of the page

htk

Erfahrener Schreiberling

Posts: 262

Date of registration: Oct 16th 2003

2

Friday, June 17th 2005, 6:06pm

RE: Logik Übung 10

Quoted

Original von snoopy
Nun wähle ich mir ja so ein L zum unifizieren. Ich nehme dann alle Prädikate die gleich sind in eine Menge? sprich z.B. alle Q()...

das unifiziere ich. ok.

nun meine Fragen. Muss ich das auch noch mit P machen? oder nur mit Q?

einmal für alle P, einmal mit so vielen wie möglich und einmal mit beliebigen Elementen
(so wie es in der aufgabe steht)

Quoted

Dann schreib ich ja irgendwie das R auf.

R ist die Vereinigung von K1 und K2 und ich wende darauf den Unifikator von Q() an? dann scheinen auch einige P's zusammenzufallen womöglich.

in R lässt du die unifizierbaren Elemente Weg ( K1s1 \ {non_L1,..,non_Lm} geschnitten K2s2 \ {L1',..,Ln'} )
und wendest den Unifikator von L an.

-hab ich zumindest so interpretiert, ohne gewähr

surfs in mysterious ways

This post has been edited 1 times, last edit by "htk" (Jun 18th 2005, 6:02pm)

Go to the top of the page

snoopy

Junior Schreiberling

Posts: 146

Date of registration: Feb 29th 2004

Location: Hannover

Occupation: Informatik

3

Friday, June 17th 2005, 6:27pm

RE: Logik Übung 10

Quoted

Original von htk
einmal für alle P, einmal mit so vielen wie möglich und einmal mit beliebigen Elementen
(so wie es in der aufgabe steht)

OK, alle Q lassen sich wohl unifizieren.
Dann is mein einer Resolvent also die Menge aller P auf die das sub von Q angewendet wird, nech?

und dann noch P unifizieren.
alle P auf einmal lassen sich ja nicht unifizieren leider. Kann ich dann einfach die maximale unifizierbare Teilmenge nehmen und die Unifizieren?
Dann wäre der zweite Resolvent
"alle Q und die nicht genommenen P"sub_P

seh ich das so richtig?

P und Q auf einmal unifizieren kann man ja nicht, da P und Q als Prädikate ja nicht miteinander unifizierbar sind..

Go to the top of the page

Markus

the one and only Unterstrich!

Posts: 2,571

Date of registration: Oct 9th 2003

4

Saturday, June 18th 2005, 3:39pm

RE: Logik Übung 10

Quoted

OK, alle Q lassen sich wohl unifizieren.
Dann is mein einer Resolvent also die Menge aller P auf die das sub von Q angewendet wird, nech?

Richtig.

Quoted

und dann noch P unifizieren.
alle P auf einmal lassen sich ja nicht unifizieren leider. Kann ich dann einfach die maximale unifizierbare Teilmenge nehmen und die Unifizieren?
Dann wäre der zweite Resolvent
"alle Q und die nicht genommenen P"sub_P

Auch das würde ich so unterschreiben.