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., Yang, Z., 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