Temporal Planning with Clock-Based SMT Encodings

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Abstrakti

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.
AlkuperäiskieliEnglanti
OtsikkoProceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
KustantajaAAAI
Sivut743-749
ISBN (elektroninen)978-0-9992411-0-3
DOI - pysyväislinkit
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

Sormenjälki Sukella tutkimusaiheisiin 'Temporal Planning with Clock-Based SMT Encodings'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä