Resolution < Künstl. Intelligenz < Praktische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 16:04 Mo 05.09.2011 | | Autor: | Krol |
| Aufgabe | a) Transformiere die Formeln in Klauseln von K
((C [mm] \wedge \neg [/mm] B) [mm] \leftrightarrow A) \wedge (\neg C \rightarrow [/mm] A)
b) Benutze die Resolutionsmethode um zu zeigen, dass K = [mm] (\neg [/mm] B [mm] \rightarrow [/mm] (A [mm] \wedge [/mm] C))) |
Hallo,
ich lerne grad für eine Klausur und hab so meine Probleme mit dem Aufgabenteil b). Ich weiß nicht so recht wie ich das mit Resolution zeigen soll. Vielleicht kann mir da jemand weiterhelfen.
Bei a) hab ich [mm] (\neg [/mm] A [mm] \vee [/mm] C) [mm] \wedge (\neg [/mm] A [mm] \vee \neg [/mm] B) [mm] \wedge [/mm] (C [mm] \vee [/mm] A) [mm] \wedge [/mm] (A [mm] \vee \neg [/mm] C [mm] \vee [/mm] B).
Grüße,
Krol
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 16:21 Mi 07.09.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
