Aufgabe 3.2 Zielverhalten

[system]

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

[HowDareYou]

Aufgabe 3.2 Zielverhalten
Hi,
wie sollen sich die Suchalgorithmen bei Aufgabe 3.2 verhalten, wenn mehrere Ziele möglich sind?
Beispiel: isGoal(X) :- X = "A" ; X = "B".
Möglichkeit 1: Nach dem ersten gefundenen Knoten diesen zurückgeben, keine weiteren Knoten finden → nach dem ersten Erfolg bei Drücken von “;” → false.
Möglichkeit 2: Nach dem ersten gefundenen Knoten bei Drücken von “;” den nächsten gefunden Knoten usw. bis alle Knoten, die das Prädikat erfüllen, durchlaufen sind.
Möglichkeit 3: Etwas ganz anderes (i.e. undeterministisch abstürzen).

Edit: Eine weitere Unklarheit: Soll IDS terminieren, falls kein Element des Suchbaums das isGoal()-Prädikat erfüllt? Falls ja, ist es ausreichend, dem Algorithmus eine maximale Tiefe mitzugeben, oder soll der Algo selbst erkennen, dass bereits der komplette Suchbaum durchlaufen wurde?

[Saphira]

---

Wo zur Hoelle steht, dass wir eine isGoal Funktion brauchen ?! Ich bin davon ausgegangen dass man strcmp machen soll, also nach nem bestimmten value suchen muss…

[HowDareYou]

---

Keine Panik, das steht nirgendwo, ich hab das aus folgendem Post:

@Jazzpirate:1510654137

Prinzipiell wird deine Frage auf Slide 98 beantwortet Konkret:
a) Eine Liste aller besuchter Knoten ist prinzipiell nicht, was ein Suchalgorithmus zurückgeben sollte, ist für die Aufgabe aber natürlich nett für den Korrektor, wenn auch nicht gefragt.
b) Das mindeste was man zurückkriegen sollte ist, welcher (falls einer) Knoten der (erste gefundene) Zielknoten ist. Ihr könnt also z.B. ein Prädikat IsGoal einführen und jeden Knoten beim traversen darauf testen bis er halt bei einem Knoten erfolg hat und dann dessen label zurückgeben.
c) Noch schöner ist aber (wenn ihr an das Rumänien-Beispiel denkt) der gesamte Pfad zu dem Zielknoten

Edit: Ist aus dem anderen Thread zu Aufgabe 3.2, iwie dachte ich, der wird automatisch verlinkt. Damit lag ich wohl falsch^^.

[Jazzpirate]

---

wie sollen sich die Suchalgorithmen bei Aufgabe 3.2 verhalten, wenn mehrere Ziele möglich sind?

Die „offizielle Spezifikation“ (i.e. so wie’s in den slides dargestellt wird) ist, dass der Algorithmus beim ersten Ziel terminiert. Was passiert wenn man anschließend prolog nochmal queried… schön ist es natürlich wenn’s nicht stirbt, und wenn man noch andere goals findet ist es noch schöner, aber prinzipiell seh ich das nicht als teil der aufgabe dafür ein spezifisches verhalten zu erzwingen

Soll IDS terminieren, falls kein Element des Suchbaums das isGoal()-Prädikat erfüllt? Falls ja, ist es ausreichend, dem Algorithmus eine maximale Tiefe mitzugeben, oder soll der Algo selbst erkennen, dass bereits der komplette Suchbaum durchlaufen wurde?

Also terminieren sollte er schon… und so wie der algorithmus an sich spezifiziert ist sollte er schon von selbst terminieren wenn er den gesamten baum durchsucht hat, aber ne maximale tiefe find ich auch okay - das sind ja echt implementationsdetails

[Jazzpirate]

---

Wo zur Hoelle steht, dass wir eine isGoal Funktion brauchen

Das ist eine Möglichkeit. Nachdem auf dem Blatt nicht streng vorgegeben war wie eure Funktionstypen auszusehen haben zieht dir keiner Punkte ab, wenn du eine andere sinnvolle wählst.