Temporal Planning with Clock-Based SMT Encodings

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
PublisherAAAI
Pages743-749
ISBN (Electronic)978-0-9992411-0-3
DOIs
Publication statusPublished - 2017
MoE publication typeA4 Article in a conference publication
EventInternational Joint Conference on Artificial Intelligence - Melbourne, Australia
Duration: 19 Aug 201725 Aug 2017
Conference number: 26
http://ijcai-17.org

Publication series

NameProceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
PublisherAAAI
ISSN (Print)1045-0823

Conference

ConferenceInternational Joint Conference on Artificial Intelligence
Abbreviated titleIJCAI
CountryAustralia
CityMelbourne
Period19/08/201725/08/2017
Internet address

Keywords

  • Constraints and Satisfiability: Modeling/Formulation
  • Planning and Scheduling: Temporal and Hybrid planning
  • Planning and Scheduling: Search in Planning and Scheduling

Fingerprint

Dive into the research topics of 'Temporal Planning with Clock-Based SMT Encodings'. Together they form a unique fingerprint.

Cite this