Übung 4.2

Dreamdancer · Beitrag von **Dreamdancer** » 19. Jul 2007 20:18

Bei der Action "leaveovernight" sind die Negationen unter Delete zu lesen, das bedeutet, dass sie negiert werden und damit als gültige Vorbedinung ...
Also: müsste das nicht eigentlich ohne Negation unter Delete stehen?

Rodent Bait · Beitrag von **Rodent Bait** » 19. Jul 2007 23:22

Ja, imho schon.

grieser · Beitrag von **grieser** » 20. Jul 2007 17:42

ja, danke, ich ändere es.

Dreamdancer · Beitrag von **Dreamdancer** » 22. Jul 2007 12:53

Und warum nehme ich bei der 4.2 nicht noch die Bedingung hinzu: not at(flat,trunk) ?

nifri · Beitrag von **nifri** » 22. Jul 2007 13:05

@Dreamdancer: Das habe ich mich auch gefragt und es liegt imho daran, dass es keine Aktion gibt, die not at(flat,trunk) erzeugt.

Dreamdancer · Beitrag von **Dreamdancer** » 22. Jul 2007 13:10

Naja, nach der closed world assumption gilt dies ja eh, also er ist ja wahr. ich glaube nicht, dass ein algorithmus erstmal alle möglichen zustände nach aktionen prüft in all den kombinationen, in denen sie auftreten können (vor allem bei komplexen beispielen, wenn es evtl. mehrere 1000 aktionen gibt), nur um dann ein paar zustände zu sparen?
vielleicht spielt hier doch das wissen des menschen mit rein

Rodent Bait · Beitrag von **Rodent Bait** » 22. Jul 2007 13:52

Und warum nehme ich bei der 4.2 nicht noch die Bedingung hinzu: not at(flat,trunk) ?

Meinst Du im Liniendiagramm? Da kommen die Linien für Bedingungen nach einem festen Schema hinzu, nämlich immer genau dann, wenn eine Bedingung in einem Zustand eintreten kann. Und da, wie nifri schon sagt, keine Aktion existiert, die das herbeiführt, kann auch keine solche Linie entstehen.

Dreamdancer · Beitrag von **Dreamdancer** » 22. Jul 2007 13:57

wenn ich sie laut closed world assumption erstmal hinzugefügt habe, kann ich sie durch die persistence action erreichen.
wenn das argument lautet, dass es aber nichts mit einer möglichen lösung oder lösungsweg zu tun hat, schließe ich mich an

Rodent Bait · Beitrag von **Rodent Bait** » 22. Jul 2007 14:09

Ob Du sie nach Closed World Assumption hinzufügst, hängt jetzt von der Weltbeschreibung ab. Hier spielt es jetzt eine Rolle, wie die Aufgabenstellung die Welt modelliert - und da würde ich einfach mal sagen, sieht die Aufgabenstellung (ob nun implizit oder explizit) vor, dass ein platter Reifen entweder auf der Achse oder auf dem Boden ist - denn wir sind ja Umweltschweine und lassen unsere platten Reifen nach dem Wechseln auf der Straße liegen

Je nachdem, wie Du Deine Welt modellierst, könntest Du ja auch not at(flat, mexico), not at(flat, mount everest) und not at(flat, moon) mit reinnehmen. Auf die Lösung dürfte das (Achtung: Spekulation!) keinen Einfluss haben.