Temporal Planning with Clock-Based SMT Encodings

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

Researchers

Research units

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.

Details

Original languageEnglish
Title of host publicationProceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
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

    Research areas

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

ID: 13097363