Automated Transformation of PDDL Representations

Pat Riddle; Mike Barley; Santiago Franco; Jordan Douglas

Automated Transformation of PDDL Representations

Pat Riddle, Mike Barley, Santiago Franco, Jordan Douglas

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 language	English
Title of host publication	Proceedings of the Eighth International Symposium on Combinatorial Search (SoCS-2015)
Publisher	AAAI press
Pages	214-215
Number of pages	2
Publication status	Published - 14 May 2015
Externally published	Yes
Event	8th Annual Symposium on Combinatorial Search - Ein Gedi, Israel Duration: 11 Jun 2015 → 13 Jun 2015 Conference number: 8 http://www.ise.bgu.ac.il/socs2015/ (Link to Conference Website)

Conference

Conference	8th Annual Symposium on Combinatorial Search
Abbreviated title	SoCS 2015
Country/Territory	Israel
City	Ein Gedi
Period	11/06/15 → 13/06/15
Internet address	http://www.ise.bgu.ac.il/socs2015/ (Link to Conference Website)

Access to Document

https://www.aaai.org/ocs/index.php/SOCS/SOCS15/paper/view/11166Licence: Unspecified

Cite this

@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 = may,

day = "14",

language = "English",

pages = "214--215",

booktitle = "Proceedings of the Eighth International Symposium on Combinatorial Search (SoCS-2015)",

publisher = "AAAI press",

address = "United States",

note = "8th Annual Symposium on Combinatorial Search, SoCS 2015 ; Conference date: 11-06-2015 Through 13-06-2015",

url = "http://www.ise.bgu.ac.il/socs2015/",

}

TY - GEN

T1 - Automated Transformation of PDDL Representations

AU - Riddle, Pat

AU - Barley, Mike

AU - Franco, Santiago

AU - Douglas, Jordan

N1 - Conference code: 8

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

T2 - 8th Annual Symposium on Combinatorial Search

Y2 - 11 June 2015 through 13 June 2015

ER -

Automated Transformation of PDDL Representations

Abstract

Conference

Access to Document

Fingerprint

Cite this