This HTML5 document contains 35 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n10http://localhost/temp/predkladatel/
n7http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n6http://linked.opendata.cz/resource/domain/vavai/projekt/
n18http://linked.opendata.cz/resource/domain/vavai/subjekt/
n11http://linked.opendata.cz/ontology/domain/vavai/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n16http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F12%3A10129949%21RIV13-GA0-11320___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n8http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n14http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F12%3A10129949%21RIV13-GA0-11320___
rdf:type
skos:Concept n11:Vysledek
dcterms:description
Many modern planning systems are exploiting advantages of multi-valued state variables. The vast majority of these planners is based on the translation to the SAS+ encoding that is done at the level of grounded actions. It seems contraproductive to first model the problem in a STRIPS-like formalism and then to do reverse engineering to re-discover the state-variables. It would be more natural to directly describe the problem as a synchronized evolution of state variables. Real-life planning applications are already exploiting this timeline-based approach but there does not exist a generally agreed formal framework for modeling problems using timelines. This paper proposes a modeling framework for describing planning problems using operations changing the values of multi-valued state variables. The key innovation of this modeling framework in comparison to existing timeline-based models is keeping the description of the planning domain separated from the particular planning problem similarly to PDDL. The formal framework is accompanied by a prototype editor that allows formulation of planning domains and problems (and supports their translation back to PDDL). Many modern planning systems are exploiting advantages of multi-valued state variables. The vast majority of these planners is based on the translation to the SAS+ encoding that is done at the level of grounded actions. It seems contraproductive to first model the problem in a STRIPS-like formalism and then to do reverse engineering to re-discover the state-variables. It would be more natural to directly describe the problem as a synchronized evolution of state variables. Real-life planning applications are already exploiting this timeline-based approach but there does not exist a generally agreed formal framework for modeling problems using timelines. This paper proposes a modeling framework for describing planning problems using operations changing the values of multi-valued state variables. The key innovation of this modeling framework in comparison to existing timeline-based models is keeping the description of the planning domain separated from the particular planning problem similarly to PDDL. The formal framework is accompanied by a prototype editor that allows formulation of planning domains and problems (and supports their translation back to PDDL).
dcterms:title
A Novel Framework for Modeling Planning Domains with State Variables A Novel Framework for Modeling Planning Domains with State Variables
skos:prefLabel
A Novel Framework for Modeling Planning Domains with State Variables A Novel Framework for Modeling Planning Domains with State Variables
skos:notation
RIV/00216208:11320/12:10129949!RIV13-GA0-11320___
n11:predkladatel
n18:orjk%3A11320
n4:aktivita
n15:P
n4:aktivity
P(GAP103/10/1287)
n4:dodaniDat
n14:2013
n4:domaciTvurceVysledku
n7:8318573 n7:8474923
n4:druhVysledku
n9:O
n4:duvernostUdaju
n5:S
n4:entitaPredkladatele
n16:predkladatel
n4:idSjednocenehoVysledku
120471
n4:idVysledku
RIV/00216208:11320/12:10129949
n4:jazykVysledku
n17:eng
n4:klicovaSlova
PDDL; State Variables; Planning Domains; Framework for Modeling
n4:klicoveSlovo
n8:Framework%20for%20Modeling n8:Planning%20Domains n8:PDDL n8:State%20Variables
n4:kontrolniKodProRIV
[4F0992BC047D]
n4:obor
n13:IN
n4:pocetDomacichTvurcuVysledku
2
n4:pocetTvurcuVysledku
2
n4:projekt
n6:GAP103%2F10%2F1287
n4:rokUplatneniVysledku
n14:2012
n4:tvurceVysledku
Vodrážka, Jindřich Barták, Roman
n10:organizacniJednotka
11320