SITUALIZ: Situational planning simulation software: SITUALIZ: Software para la simulación de planes situacionales

SITUALIZ: Software para la simulación de planes situacionales: SITUALIZ: Situational planning simulation software

dc.creatorCegarra Ospino, Noelia
dc.creatorPirela Morillo, Gerardo
dc.date2018-01-30
dc.date.accessioned2022-11-04T23:09:51Z
dc.date.available2022-11-04T23:09:51Z
dc.identifierhttps://produccioncientificaluz.org/index.php/ciencia/article/view/36035
dc.identifier10.5281/zenodo.4922888
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/5129936
dc.descriptionAutomatic planning studies building plans as action sequences to satisfy goals given a set of constraints such as preconditions and other conditions depending on specific modeling strategies. Situational logic provides a formal framework to define situations: their elements, actions, and constraints (preconditions and effects), as well as the conditions to call all goals satisfied. Situational calculus provides computational approaches to build situational plans reasoning over the axioms of situational logic. The resulting software provides a graphic interface to define situations’ elements, both the initial and goal situations, and the permitted actions with their preconditions and effects; the core situational planner was implemented based on the breadth-first search algorithm to guarantee finding fewest-action (shortest-length) plans. The software also displays graphical rendering of the situational plans which the algorithm explores up to the point where the goal situation is found, as well as the fewest-action plan found. Following a software life-cycle methodology, the authors used Prolog for representing and implementing situational logic and calculus, Java for the graphical interface, TuProlog for the connection between the interface and the situational planner, and GraphViz for rendering the situational graph and the resulting plan.en-US
dc.descriptionLa planificación automática estudia la construcción de planes como secuencias de acciones, dado un conjunto de precondiciones y efectos, para llegar a satisfacer una meta. La lógica situacional ofrece un lenguaje formal para modelar y razonar sobre situaciones: objetos, acciones con precondiciones y efectos, y las condiciones para que las metas sean satisfechas. Asimismo, el cálculo situacional define mecanismos computacionales para la construcción de planes, aplicando razonamiento automático sobre los axiomas de la lógica situacional. Se desarrolló una herramienta de software que permite, a través de una interfaz gráfica, definir los elementos de lógica situacional para casos generales; se implementó un planificador situacional basado en búsqueda en anchura para garantizar hallar planes con la menor cantidad de acciones posibles; se integró un visualizador para el grafo y el plan situacional explorado hasta el momento de satisfacer la meta. Siguiendo una metodología de ciclo de vida de software, se utilizó Prolog para la representación e implementación de lógica y cálculo situacional, Java para la interfaz gráfica, TuProlog para la conexión entre la interfaz y el planificador, y GraphViz para la visualización de los grafos y planes situacionales.es-ES
dc.formatapplication/pdf
dc.formattext/html
dc.languagespa
dc.publisherFacultad Experimental de Ciencias de la Universidad del Zuliaes-ES
dc.relationhttps://produccioncientificaluz.org/index.php/ciencia/article/view/36035/38477
dc.relationhttps://produccioncientificaluz.org/index.php/ciencia/article/view/36035/38478
dc.sourceCiencia; Vol. 26 Núm. 1-2 (2018): Enero-Junio; 15-22es-ES
dc.source1315-2076
dc.subjectAutomatic Planningen-US
dc.subjectSituational Logicen-US
dc.subjectSituational Graphen-US
dc.subjectPrologen-US
dc.subjectGraphVizen-US
dc.subjectPlanificación automáticaes-ES
dc.subjectlógica situacionales-ES
dc.subjectgrafo de situacioneses-ES
dc.subjectProloges-ES
dc.subjectGraphVizes-ES
dc.titleSITUALIZ: Situational planning simulation software: SITUALIZ: Software para la simulación de planes situacionalesen-US
dc.titleSITUALIZ: Software para la simulación de planes situacionales: SITUALIZ: Situational planning simulation softwarees-ES
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion


Este ítem pertenece a la siguiente institución