AI Planning Prof. Dr. Jörg Hoffmann

News

Proof Relaxed Plan Heuristic Correctness

Written: 12.11.2019 15:01 Written 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

 



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators