Planning for partial observability by SAT and graph constraints

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

Organisaatiot

Kuvaus

Chatterjee et al. have recently shown the utility of SAT in solving a class of planning problems with partial observability. A core component of their logical formulation of planning is constraints expressing s-t-reachability in directed graphs. In this work, we show that the scalability of the approach can be dramatically improved by using dedicated graph constraints, and that a far broader class of important planning problems can be expressed in terms of s-t-reachability and acyclicity constraints.

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoProceedings of the International Conference on Automated Planning and Scheduling (ICAPS)
ToimittajatMathijs de Weerdt, Sven Koenig, Gabriele Röger, Matthijs Spaan
TilaJulkaistu - 24 kesäkuuta 2018
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaINTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING - Delft, Alankomaat
Kesto: 24 kesäkuuta 201829 kesäkuuta 2018
Konferenssinumero: 28

Julkaisusarja

NimiProceedings of the International Conference on Automated Planning and Scheduling
KustantajaAAAI PRESS
ISSN (elektroninen)2334-0843

Conference

ConferenceINTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING
LyhennettäICAPS
MaaAlankomaat
KaupunkiDelft
Ajanjakso24/06/201829/06/2018

ID: 26845925