graph planner probability correction
Merge origin/graphplan1 into graphplan1