Temporal Planning with Clock-Based SMT Encodings

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

Organisaatiot

Kuvaus

We propose more scalable encodings of temporal planning in SMT. The first contribution is practical clock-based encodings of resources and effect delays. Existing encodings of effect delays (Shin and Davis, 2015) have a quadratic size, due to the necessity to determine the time differences between steps for a linear number of steps. Clocks improve this to linear. The second contribution is a new relaxed scheme for steps. Existing schemes require a step for every time point with discontinuous change. This is relaxed, improving scalability.

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoProceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
TilaJulkaistu - 2017
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Joint Conference on Artificial Intelligence - Melbourne, Austraalia
Kesto: 19 elokuuta 201725 elokuuta 2017
Konferenssinumero: 26
http://ijcai-17.org

Julkaisusarja

NimiProceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
KustantajaAAAI
ISSN (painettu)1045-0823

Conference

ConferenceInternational Joint Conference on Artificial Intelligence
LyhennettäIJCAI
MaaAustraalia
KaupunkiMelbourne
Ajanjakso19/08/201725/08/2017
www-osoite

ID: 13097363