Answer Set eines Programms < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 14:07 Sa 14.06.2008 | | Autor: | canuma |
| Aufgabe | Bestimmen Sie die answer set von P:
a<-b,c
b<-a,c
c<-not d |
Nach Ableitungsbaum erhalte ich:
{}----not d--- {c}
Also eine Kante mit Beschriftung not d und die 2 Knoten leere Menge und c? Weil ich ja keine b und kein a in meiner Menge habe.
Wenn ich jetzt jedoch Prüfe, ob {a,b,c} Answer Set ist, komme ich auf ja, denn ich kann keine Regel streichen, da keine verletzt wird.
a<-b,c
b<-a,c
c<-not d
Also ist mein Ableitungsbaum falsch?
Aber wieso sollte ich in den Baum a oder b aufnehmen, wenn ich diese in meiner Menge noch nicht habe?
Oder ist der Ableitungsbaum nicht eindeutig?
Wo ist der Denkfehler?
Wie ist die Antwortmenge des Programms?
Danke für die Hilfe.
Ich habe diese Frage in keinem anderen Forum gestellt.
|
|
| |
|
| Aufgabe | > Bestimmen Sie die answer set von P:
> a<-b,c
> b<-a,c
> c<-not d
> Nach Ableitungsbaum erhalte ich:
> {}----not d--- {c}
>
> Also eine Kante mit Beschriftung not d und die 2 Knoten
> leere Menge und c? Weil ich ja keine b und kein a in meiner
> Menge habe.
>
> Wenn ich jetzt jedoch Prüfe, ob {a,b,c} Answer Set ist,
> komme ich auf ja, denn ich kann keine Regel streichen, da
> keine verletzt wird.
>
> a<-b,c
> b<-a,c
> c<-not d
>
> Also ist mein Ableitungsbaum falsch?
> Aber wieso sollte ich in den Baum a oder b aufnehmen, wenn
> ich diese in meiner Menge noch nicht habe?
> Oder ist der Ableitungsbaum nicht eindeutig?
> Wo ist der Denkfehler?
> Wie ist die Antwortmenge des Programms?
>
> Danke für die Hilfe.
>
> Ich habe diese Frage in keinem anderen Forum gestellt. |
hallo canuma
aus welchem Bereich stammt die Aufgabe ?
ich kann da nur gewisse Hinweise auf Logik,
Graphen und Programmieren erkennen,
verstehe aber sonst nur Bahnhof...
was versteht man z.B. unter einer Antwortmenge ?
LG
|
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 15:48 Sa 14.06.2008 | | Autor: | canuma |
Ein answer set S für ein Programm P ist eine Menge von Literalen mit den Eigenschaften:
* jede anwendbare Regel wurde angewandt
* jedes aS besitzt eine güultige Herleitung in P.
Wenn S answer set ist und X [mm] \subset S\subset [/mm] Y , so könen X und Y keine answer sets sein.
Dateianhänge:
Anhang Nr. 1 (Typ: PNG) [nicht öffentlich]
|
|
|
| |
|
Danke für die ausführlichen Erläuterungen.
Ich sehe aber, dass ich da kaum mitreden kann...
LG
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 14:20 Mo 16.06.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
