[ Please note: The project has been discontinued as of May 31, 2005 and is superseded by the projects of the ii Labs. There won't be further updates to these pages. ]

(Related publication: [PUBLink])

This heuristic is applicable if at least one State Task is connected to the SRC. The idea is to improve the inconsistency of a Precondition Task by deleting a State Task preceding it.

One of the SRC's inconsistent Precondition Tasks is selected with a choice probability for a Precondition Task that is proportional to the inconsistency caused by the Precondition Task. If the chosen Precondition Task belongs to a Task Constraint one of whose Action Tasks has already been executed or is currently under execution, the heuristic is stopped and a negative success value is returned. This is also done if the interval of the Precondition Task is the first interval.

One of the interval's State Tasks is chosen at random. The Task Constraint of the selected State Task is deleted (together with its tasks).

For questions, comments or suggestions, please contact us.

Last update:
May 20, 2001 by Alexander Nareyek