Skip to Main content Skip to Navigation
Conference papers

Knowledge Compilation for Nondeterministic Action Languages

Sergej Scheck 1 Alexandre Niveau 1 Bruno Zanuttini 1 
1 Equipe MAD - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image et Instrumentation de Caen
Abstract : We study different languages for representing nondeterministic actions in planning from the point of view of knowledge compilation. Precisely, we consider succintness issues (how succinct is the description of an action in each language?) and complexity issues (tractability or hardness of several queries which arise naturally in planning and belief tracking). We study an abstract, nondeterministic version of PDDL, nondeterministic conditional STRIPS, the language NNFAT of NNF action theories, and the language NPDDL seq obtained by adding a sequence operator to nondeterministic PDDL. We show that these languages have different succinctness and different complexity even for the most natural queries.
Document type :
Conference papers
Complete list of metadata
Contributor : Bruno Zanuttini Connect in order to contact the contributor
Submitted on : Thursday, June 3, 2021 - 11:04:45 PM
Last modification on : Saturday, June 25, 2022 - 9:56:44 AM
Long-term archiving on: : Saturday, September 4, 2021 - 7:54:35 PM


Files produced by the author(s)


  • HAL Id : hal-03249126, version 1


Sergej Scheck, Alexandre Niveau, Bruno Zanuttini. Knowledge Compilation for Nondeterministic Action Languages. International Conference on Automated Planning and Scheduling, Aug 2021, Guangzhou, China. ⟨hal-03249126⟩



Record views


Files downloads