Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis
- Autores
- D'ippolito, Nicolás Roque; Rodriguez, Natalia; Sardina, Sebastian
- Año de publicación
- 2018
- Idioma
- inglés
- Tipo de recurso
- artículo
- Estado
- versión publicada
- Descripción
- We contribute to recent efforts in relating two approaches to automatic synthesis, namely, automated planning and discrete reactive synthesis. First, we develop a declarative characterization of the standard “fairness” assumption on environments in non-deterministic planning, and show that strong-cyclic plans are correct solution concepts for fair environments. This complements, and arguably completes, the existing foundational work on non-deterministic planning, which focuses on characterizing (and computing) plans enjoying special “structural” properties, namely loopy but closed policy structures. Second, we provide an encoding suitable for reactive synthesis that avoids the naive exponential state space blowup. To do so, special care has to be taken to specify the fairness assumption on the environment in a succinct manner.
Fil: D'ippolito, Nicolás Roque. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentina
Fil: Rodriguez, Natalia. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina
Fil: Sardina, Sebastian. RMIT University; Australia - Materia
-
Artificial intelligence
Planning
Controller synthesis
Reactive synthesis - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/100355
Ver los metadatos del registro completo
id |
CONICETDig_ee90bfab7ab610b1ff1996e4f1e805c1 |
---|---|
oai_identifier_str |
oai:ri.conicet.gov.ar:11336/100355 |
network_acronym_str |
CONICETDig |
repository_id_str |
3498 |
network_name_str |
CONICET Digital (CONICET) |
spelling |
Fully Observable Non-deterministic Planning as Assumption-Based Reactive SynthesisD'ippolito, Nicolás RoqueRodriguez, NataliaSardina, SebastianArtificial intelligencePlanningController synthesisReactive synthesishttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1We contribute to recent efforts in relating two approaches to automatic synthesis, namely, automated planning and discrete reactive synthesis. First, we develop a declarative characterization of the standard “fairness” assumption on environments in non-deterministic planning, and show that strong-cyclic plans are correct solution concepts for fair environments. This complements, and arguably completes, the existing foundational work on non-deterministic planning, which focuses on characterizing (and computing) plans enjoying special “structural” properties, namely loopy but closed policy structures. Second, we provide an encoding suitable for reactive synthesis that avoids the naive exponential state space blowup. To do so, special care has to be taken to specify the fairness assumption on the environment in a succinct manner.Fil: D'ippolito, Nicolás Roque. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; ArgentinaFil: Rodriguez, Natalia. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; ArgentinaFil: Sardina, Sebastian. RMIT University; AustraliaAI Access Foundation2018-03info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/100355D'ippolito, Nicolás Roque; Rodriguez, Natalia; Sardina, Sebastian; Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis; AI Access Foundation; Journal of Artificial Intelligence Research; 61; 3-2018; 593-6211076-9757CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://jair.org/index.php/jair/article/view/11183info:eu-repo/semantics/altIdentifier/doi/10.1613/jair.5562info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T09:34:42Zoai:ri.conicet.gov.ar:11336/100355instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 09:34:42.83CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse |
dc.title.none.fl_str_mv |
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis |
title |
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis |
spellingShingle |
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis D'ippolito, Nicolás Roque Artificial intelligence Planning Controller synthesis Reactive synthesis |
title_short |
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis |
title_full |
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis |
title_fullStr |
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis |
title_full_unstemmed |
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis |
title_sort |
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis |
dc.creator.none.fl_str_mv |
D'ippolito, Nicolás Roque Rodriguez, Natalia Sardina, Sebastian |
author |
D'ippolito, Nicolás Roque |
author_facet |
D'ippolito, Nicolás Roque Rodriguez, Natalia Sardina, Sebastian |
author_role |
author |
author2 |
Rodriguez, Natalia Sardina, Sebastian |
author2_role |
author author |
dc.subject.none.fl_str_mv |
Artificial intelligence Planning Controller synthesis Reactive synthesis |
topic |
Artificial intelligence Planning Controller synthesis Reactive synthesis |
purl_subject.fl_str_mv |
https://purl.org/becyt/ford/1.2 https://purl.org/becyt/ford/1 |
dc.description.none.fl_txt_mv |
We contribute to recent efforts in relating two approaches to automatic synthesis, namely, automated planning and discrete reactive synthesis. First, we develop a declarative characterization of the standard “fairness” assumption on environments in non-deterministic planning, and show that strong-cyclic plans are correct solution concepts for fair environments. This complements, and arguably completes, the existing foundational work on non-deterministic planning, which focuses on characterizing (and computing) plans enjoying special “structural” properties, namely loopy but closed policy structures. Second, we provide an encoding suitable for reactive synthesis that avoids the naive exponential state space blowup. To do so, special care has to be taken to specify the fairness assumption on the environment in a succinct manner. Fil: D'ippolito, Nicolás Roque. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentina Fil: Rodriguez, Natalia. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina Fil: Sardina, Sebastian. RMIT University; Australia |
description |
We contribute to recent efforts in relating two approaches to automatic synthesis, namely, automated planning and discrete reactive synthesis. First, we develop a declarative characterization of the standard “fairness” assumption on environments in non-deterministic planning, and show that strong-cyclic plans are correct solution concepts for fair environments. This complements, and arguably completes, the existing foundational work on non-deterministic planning, which focuses on characterizing (and computing) plans enjoying special “structural” properties, namely loopy but closed policy structures. Second, we provide an encoding suitable for reactive synthesis that avoids the naive exponential state space blowup. To do so, special care has to be taken to specify the fairness assumption on the environment in a succinct manner. |
publishDate |
2018 |
dc.date.none.fl_str_mv |
2018-03 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_6501 info:ar-repo/semantics/articulo |
format |
article |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://hdl.handle.net/11336/100355 D'ippolito, Nicolás Roque; Rodriguez, Natalia; Sardina, Sebastian; Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis; AI Access Foundation; Journal of Artificial Intelligence Research; 61; 3-2018; 593-621 1076-9757 CONICET Digital CONICET |
url |
http://hdl.handle.net/11336/100355 |
identifier_str_mv |
D'ippolito, Nicolás Roque; Rodriguez, Natalia; Sardina, Sebastian; Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis; AI Access Foundation; Journal of Artificial Intelligence Research; 61; 3-2018; 593-621 1076-9757 CONICET Digital CONICET |
dc.language.none.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/url/https://jair.org/index.php/jair/article/view/11183 info:eu-repo/semantics/altIdentifier/doi/10.1613/jair.5562 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ |
dc.format.none.fl_str_mv |
application/pdf application/pdf |
dc.publisher.none.fl_str_mv |
AI Access Foundation |
publisher.none.fl_str_mv |
AI Access Foundation |
dc.source.none.fl_str_mv |
reponame:CONICET Digital (CONICET) instname:Consejo Nacional de Investigaciones Científicas y Técnicas |
reponame_str |
CONICET Digital (CONICET) |
collection |
CONICET Digital (CONICET) |
instname_str |
Consejo Nacional de Investigaciones Científicas y Técnicas |
repository.name.fl_str_mv |
CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas |
repository.mail.fl_str_mv |
dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar |
_version_ |
1844613075968196608 |
score |
13.070432 |