Validación, adaptación y reparación de planes en el contexto de smart cities

Abstract

[ES] Este proyecto se enfoca en el desarrollo de un algoritmo que se integra con la herramienta de validación de planes VAL, dentro del contexto dinámico y desafiante de las smart cities. La tarea principal consiste en diseñar y poner en práctica un algoritmo capaz de reparar planes existentes. El enfoque central es la utilización de PDDL (Planning Domain Definition Language) para definir un dominio y un problema relacionados con el contexto de las smart cities. A partir de esta definición, el algoritmo propuesto ofrece un conjunto de acciones a las que se puede unir para reparar el plan original. Estas acciones no solo están diseñadas para corregir el plan, sino que también se presentan al usuario con información relevante y contextualizada, permitiéndole elegir la acción más adecuada para cada situación específica. El objetivo es proporcionar al usuario un conjunto claro de opciones, cada una respaldada por datos relevantes, facilitando así la toma de decisiones informadas. Una vez que se elige una acción para reparar el plan, el algoritmo genera información detallada sobre el plan modificado y los nuevos objetivos que este aborda como resultado de la reparación. Es importante destacar que el algoritmo también contempla la posibilidad de no reparar el plan y, en su lugar, optar por una replanificación completa utilizando un planificador. Esto asegura la validez del plan resultante y permite al usuario comparar entre la reparación parcial y una solución completamente nueva.

[CA] Aquest projecte es centra en el desenvolupament d’un algorisme que s’integra amb l’eina de validació de plans VAL, dins del context dinàmic i desafiador de les ciutats intel·ligents. La tasca principal consisteix a dissenyar i posar en pràctica un algorisme capaç de reparar plans existents. L’enfocament central implica utilitzar el PDDL (Planning Domain Definition Language) per definir un domini i un problema relacionat amb el context de les ciutats intel·ligents. A partir d’aquesta definició, l’algorisme proposat ofereix un conjunt d’accions que es poden afegir per a reparar el pla original. Aquestes accions no solament estan dissenyades per corregir el pla, sinó que també es presenten a l’usuari amb informació rellevant i contextualitzada, permetent-li triar l’acció més adequada per a cada situació específica. L’objectiu és proporcionar a l’usuari un conjunt clar d’opcions, cadascuna recolzada per dades rellevants, facilitant així la presa de decisions informades. Una vegada triada una acció per a reparar el pla, l’algorisme genera informació detallada sobre el pla modificat i els nous objectius que aborda com a resultat de la reparació. És important destacar que l’algorisme també contempla la possibilitat de no reparar el pla i, en el seu lloc, optar per una replanificació completa utilitzant un planificador. Això assegura la validesa del pla resultant i permet a l’usuari comparar entre la reparació parcial i una solució completament nova.

[EN] This project focuses on developing an algorithm that integrates with the VAL plan validation tool within the dynamic and challenging context of smart cities. The main task is to design and implement an algorithm capable of repairing existing plans. The central approach involves using PDDL (Planning Domain Definition Language) to define a domain and a problem related to the context of smart cities. Based on this definition, the proposed algorithm offers a set of actions that can be appended to repair the original plan. These actions are not only designed to correct the plan but also presented to the user with relevant and contextualized information, enabling them to choose the most suitable action for each specific situation. The goal is to provide the user with a clear set of options, each supported by relevant data, thereby facilitating informed decision-making. Once an action is chosen to repair the plan, the algorithm generates detailed information about the modified plan and the new objectives it addresses as a result of the repair. It is important to note that the algorithm also considers the possibility of not repairing the plan and instead opting for a complete replanning using a planner. This ensures the validity of the resulting plan and allows the user to compare between partial repair and an entirely new solution.