An investigation into the expressive power of PDDL2.1

M. Fox, D. Long, K. Halsey

Research output: Contribution to conferencePaper

12 Citations (Scopus)

Abstract

The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparked off some controversy in the planning community as researchers consider its expressive power and the ease with which interesting domain models can be constructed in the language. In this paper we show that the expressive power of PDDL2.1 is much greater than is commonly believed. We demonstrate that PDDL2.1 can model many of the domain features often claimed to lie beyond its modelling capability. In so doing we provide a means by which powerful domain features and language constructs can be given a semantics in terms of the canonical basis of PDDL2.1.
LanguageEnglish
Pages338-342
Number of pages4
Publication statusPublished - Aug 2004
Event16th European Conference on Artificial Intelligence (ECAI) - Valencia, Spain
Duration: 22 Aug 200427 Aug 2004

Conference

Conference16th European Conference on Artificial Intelligence (ECAI)
CityValencia, Spain
Period22/08/0427/08/04

Fingerprint

Planning
Semantics

Keywords

  • PDDL2.1
  • planning domain language
  • planning technology

Cite this

Fox, M., Long, D., & Halsey, K. (2004). An investigation into the expressive power of PDDL2.1. 338-342. Paper presented at 16th European Conference on Artificial Intelligence (ECAI), Valencia, Spain, .
Fox, M. ; Long, D. ; Halsey, K. / An investigation into the expressive power of PDDL2.1. Paper presented at 16th European Conference on Artificial Intelligence (ECAI), Valencia, Spain, .4 p.
@conference{bce362fd4fef48f29cdc17cb88c7a570,
title = "An investigation into the expressive power of PDDL2.1",
abstract = "The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparked off some controversy in the planning community as researchers consider its expressive power and the ease with which interesting domain models can be constructed in the language. In this paper we show that the expressive power of PDDL2.1 is much greater than is commonly believed. We demonstrate that PDDL2.1 can model many of the domain features often claimed to lie beyond its modelling capability. In so doing we provide a means by which powerful domain features and language constructs can be given a semantics in terms of the canonical basis of PDDL2.1.",
keywords = "PDDL2.1, planning domain language, planning technology",
author = "M. Fox and D. Long and K. Halsey",
year = "2004",
month = "8",
language = "English",
pages = "338--342",
note = "16th European Conference on Artificial Intelligence (ECAI) ; Conference date: 22-08-2004 Through 27-08-2004",

}

Fox, M, Long, D & Halsey, K 2004, 'An investigation into the expressive power of PDDL2.1' Paper presented at 16th European Conference on Artificial Intelligence (ECAI), Valencia, Spain, 22/08/04 - 27/08/04, pp. 338-342.

An investigation into the expressive power of PDDL2.1. / Fox, M.; Long, D.; Halsey, K.

2004. 338-342 Paper presented at 16th European Conference on Artificial Intelligence (ECAI), Valencia, Spain, .

Research output: Contribution to conferencePaper

TY - CONF

T1 - An investigation into the expressive power of PDDL2.1

AU - Fox, M.

AU - Long, D.

AU - Halsey, K.

PY - 2004/8

Y1 - 2004/8

N2 - The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparked off some controversy in the planning community as researchers consider its expressive power and the ease with which interesting domain models can be constructed in the language. In this paper we show that the expressive power of PDDL2.1 is much greater than is commonly believed. We demonstrate that PDDL2.1 can model many of the domain features often claimed to lie beyond its modelling capability. In so doing we provide a means by which powerful domain features and language constructs can be given a semantics in terms of the canonical basis of PDDL2.1.

AB - The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparked off some controversy in the planning community as researchers consider its expressive power and the ease with which interesting domain models can be constructed in the language. In this paper we show that the expressive power of PDDL2.1 is much greater than is commonly believed. We demonstrate that PDDL2.1 can model many of the domain features often claimed to lie beyond its modelling capability. In so doing we provide a means by which powerful domain features and language constructs can be given a semantics in terms of the canonical basis of PDDL2.1.

KW - PDDL2.1

KW - planning domain language

KW - planning technology

UR - http://www.cis.strath.ac.uk/research/publications/papers/strath_cis_publication_75.pdf

M3 - Paper

SP - 338

EP - 342

ER -

Fox M, Long D, Halsey K. An investigation into the expressive power of PDDL2.1. 2004. Paper presented at 16th European Conference on Artificial Intelligence (ECAI), Valencia, Spain, .