Towards Fully Observable Non-Deterministic Planning as Assumption-Based Automatic Synthesis
Abstract
Whereas previous work on non-deterministic planning has focused on characterizing (and computing) "loopy" but "closed" plans, we look here at the kind of environments that these plans are to be executed in. In particular, we provide a logical characterization of the standard "fairness'' assumption used, and show that strong cyclic plans are correct solution concepts for fair environments. We argue then that such logical characterization allows us to recast non-deterministic planning as a reactive synthesis task, and show that for a special case, recent efficient synthesis techniques can be applied.
Cite
Text
Sardiña and D'Ippolito. "Towards Fully Observable Non-Deterministic Planning as Assumption-Based Automatic Synthesis." International Joint Conference on Artificial Intelligence, 2015.Markdown
[Sardiña and D'Ippolito. "Towards Fully Observable Non-Deterministic Planning as Assumption-Based Automatic Synthesis." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/sardina2015ijcai-fully/)BibTeX
@inproceedings{sardina2015ijcai-fully,
title = {{Towards Fully Observable Non-Deterministic Planning as Assumption-Based Automatic Synthesis}},
author = {Sardiña, Sebastian and D'Ippolito, Nicolás},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2015},
pages = {3200-3206},
url = {https://mlanthology.org/ijcai/2015/sardina2015ijcai-fully/}
}