Resolutionsregel < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 17:30 Do 31.01.2008 | | Autor: | dbzworld |
| Aufgabe | Resolution auf
{A,B,C}, {¬A,B,C}, {B, ¬C},{¬B} |
Also die Lösung ist:
{A,B,C} {¬A,B,C}
|
{B, ¬C} {B,C}
|
{¬B} {B}
|
0
meine Frage dazu ist, mit welchen Klauseln fange ich denn an?
wenn mein Anfang anders aussieht dann erhalte ich doch am Ende etwas anderes raus, wie:
{A,B,C} {¬B}
|
{B, ¬C} {A,C}
|
{¬A,B,C} {A,B}
|
BC
ich hoffe ihr versteht was ich meine...
danke
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 18:48 So 03.02.2008 | | Autor: | Gilga |
Die Resolution ist nicht eindeutig!
Verschiedene Wege führen zur leeren Klausel.
Im unteren Fall musst du halt weiter resolvieren......
Es ist kein bestimmtes Muster vorgeschrieben. Du kannst immer zwei beliebige Klauseln resolvieren falls beide das gleiche Literal positiv und negativ enthalten.
|
|
|
|
