Plan4Past icon indicating copy to clipboard operation
Plan4Past copied to clipboard
verified publisher icon whitemech

Possible optimizations

Open francescofuggitti opened this issue 2 years ago • 0 comments

Some optimizations could be implemented to get plan4past work faster.

  1. As the compiler works on the syntactic structure of the PPLTL formula, a preprocessing to simplify the input formula could improve the performances
  2. Simplify the model of actions and axioms by checking the monotonicity of formulas. For instance, when O(a) becomes true, then it can not be falsified in the future. This implies that the conditional effect \neg ppnf(O(a)) -> \neg "Y(O(a)) is redundant and not needed.

francescofuggitti avatar Jun 29 '23 15:06 francescofuggitti