Automated Transformation of PDDL Representations

Pat Riddle, Mike Barley, Santiago Franco, Jordan Douglas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

This paper describes a system that automatically transforms a PDDL encoding, calls a planner to solve the transformed representation, and translates the solution back into the original representation. The approach involves counting objects that are indistinguishable, rather than treating them as individuals, which eliminates some unnecessary combinatorial explosion.
Original languageEnglish
Title of host publicationProceedings of the Eighth International Symposium on Combinatorial Search (SoCS-2015)
PublisherAAAI press
Pages214-215
Number of pages2
Publication statusPublished - 14 May 2015
Externally publishedYes
Event8th Annual Symposium on Combinatorial Search - Ein Gedi, Israel
Duration: 11 Jun 201513 Jun 2015
Conference number: 8
http://www.ise.bgu.ac.il/socs2015/ (Link to Conference Website)

Conference

Conference8th Annual Symposium on Combinatorial Search
Abbreviated titleSoCS 2015
CountryIsrael
CityEin Gedi
Period11/06/1513/06/15
Internet address

Fingerprint

Explosions

Cite this

Riddle, P., Barley, M., Franco, S., & Douglas, J. (2015). Automated Transformation of PDDL Representations. In Proceedings of the Eighth International Symposium on Combinatorial Search (SoCS-2015) (pp. 214-215). AAAI press.
Riddle, Pat ; Barley, Mike ; Franco, Santiago ; Douglas, Jordan. / Automated Transformation of PDDL Representations. Proceedings of the Eighth International Symposium on Combinatorial Search (SoCS-2015) . AAAI press, 2015. pp. 214-215
@inproceedings{f5c3919e9363423cbb6eb2807b00e58e,
title = "Automated Transformation of PDDL Representations",
abstract = "This paper describes a system that automatically transforms a PDDL encoding, calls a planner to solve the transformed representation, and translates the solution back into the original representation. The approach involves counting objects that are indistinguishable, rather than treating them as individuals, which eliminates some unnecessary combinatorial explosion.",
keywords = "knowledge representation, planning, problem reformulation",
author = "Pat Riddle and Mike Barley and Santiago Franco and Jordan Douglas",
year = "2015",
month = "5",
day = "14",
language = "English",
pages = "214--215",
booktitle = "Proceedings of the Eighth International Symposium on Combinatorial Search (SoCS-2015)",
publisher = "AAAI press",

}

Riddle, P, Barley, M, Franco, S & Douglas, J 2015, Automated Transformation of PDDL Representations. in Proceedings of the Eighth International Symposium on Combinatorial Search (SoCS-2015) . AAAI press, pp. 214-215, 8th Annual Symposium on Combinatorial Search, Ein Gedi, Israel, 11/06/15.

Automated Transformation of PDDL Representations. / Riddle, Pat; Barley, Mike; Franco, Santiago; Douglas, Jordan.

Proceedings of the Eighth International Symposium on Combinatorial Search (SoCS-2015) . AAAI press, 2015. p. 214-215.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Automated Transformation of PDDL Representations

AU - Riddle, Pat

AU - Barley, Mike

AU - Franco, Santiago

AU - Douglas, Jordan

PY - 2015/5/14

Y1 - 2015/5/14

N2 - This paper describes a system that automatically transforms a PDDL encoding, calls a planner to solve the transformed representation, and translates the solution back into the original representation. The approach involves counting objects that are indistinguishable, rather than treating them as individuals, which eliminates some unnecessary combinatorial explosion.

AB - This paper describes a system that automatically transforms a PDDL encoding, calls a planner to solve the transformed representation, and translates the solution back into the original representation. The approach involves counting objects that are indistinguishable, rather than treating them as individuals, which eliminates some unnecessary combinatorial explosion.

KW - knowledge representation

KW - planning

KW - problem reformulation

M3 - Conference contribution

SP - 214

EP - 215

BT - Proceedings of the Eighth International Symposium on Combinatorial Search (SoCS-2015)

PB - AAAI press

ER -

Riddle P, Barley M, Franco S, Douglas J. Automated Transformation of PDDL Representations. In Proceedings of the Eighth International Symposium on Combinatorial Search (SoCS-2015) . AAAI press. 2015. p. 214-215