Goal-Clobbering Avoidance in Non-Linear Planners
Abstract
A central issue in non-linear planning is the ordering of operators so as to avoid undesirable interactions between their effects. The Modal Truth Criterion (Chapman 1987) states the conditions under which these interactions will occur. Non-linear planners use the Criterion, directly or indirectly, to promote or demote operators, or to co-designate variables, so as to avoid interactions. This abstract describes a method, called Goal Clobbering Avoidance (GCA), to avoid some interactions in a partially-ordered plan by promoting or demoting a sequence of operators, rather than individual operators. Effectively, it simultaneously applies the Modal Truth Criterion to all operators in the sequence, using pm-compiled information about the domain. GCA will be illustrated in the familiar Blocksworld domain, with the operators
Cite
Text
de Silva. "Goal-Clobbering Avoidance in Non-Linear Planners." AAAI Conference on Artificial Intelligence, 1994.Markdown
[de Silva. "Goal-Clobbering Avoidance in Non-Linear Planners." AAAI Conference on Artificial Intelligence, 1994.](https://mlanthology.org/aaai/1994/desilva1994aaai-goal/)BibTeX
@inproceedings{desilva1994aaai-goal,
title = {{Goal-Clobbering Avoidance in Non-Linear Planners}},
author = {de Silva, Rujith},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1994},
pages = {1440},
url = {https://mlanthology.org/aaai/1994/desilva1994aaai-goal/}
}