News
Proof Relaxed Plan Heuristic Correctness
Written on 12.11.2019 15:01 by Joerg Hoffmann
Hi all,
for lack of a more adequate means to communicate this information, I'm posting this as "news" for the time being:
Regarding the discussion today in the lecture, proof of correctness for relaxed plan extraction:The proof as stated was correct, it just didn't spell out in sufficient detail why the case of a precondition in Closed isn't problematic. I have fixed this in the post-handouts. (The reason is simply that, then, the best supporter for that precondition must have been selected beforehand)
best,
Jörg