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.

  • Projects

    Finnish centre of excellence in computational inference research

    Xu, Y., Rezazadegan Tavakoli, H., Pesonen, H., Puranen, S., Rintanen, J., Kaski, S., Anwer, R., Parviainen, P., Soare, M., Weinzierl, A. & Vuollekoski, H.

    01/01/201528/02/2018

    Project: Academy of Finland: Other research funding

    Equipment

    Science-IT

    Mikko Hakala (Manager)

    School of Science

    Facility/equipment: Facility

  • Cite this

    Rintanen, J. (2017). Temporal Planning with Clock-Based SMT Encodings. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (pp. 743-749). (Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence). AAAI. https://doi.org/10.24963/ijcai.2017/103