Post conditions check #4
Description
When an action succesfully completes, check the applied post conditions vs the actual sensed situation.
Currently post conditions on action are applied at its end on the PDDL Problem instance by the PlanSys2 Executor; if they do not hold, sensors should be able to detect it and accordingly update the belief set, so that either a subsequent action fails or the desire is not considered fulfilled (if this was last action of the plan).
Additional: Maybe we should distinguish among (internal) effects that need to be automatically applied by PSYS2 and external ones that need to be detected.