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

Ciencia

View Publication Info
 
 
Field Value
 
Title 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
 
Creator Cegarra Ospino, Noelia
Pirela Morillo, Gerardo
 
Subject Automatic Planning
Situational Logic
Situational Graph
Prolog
GraphViz
Planificación automática
lógica situacional
grafo de situaciones
Prolog
GraphViz
 
Description Automatic 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.
La 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.
 
Publisher Facultad Experimental de Ciencias de la Universidad del Zulia
 
Date 2018-01-30
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
 
Format application/pdf
text/html
 
Identifier http://produccioncientificaluz.org/index.php/ciencia/article/view/36035
10.5281/zenodo.4922888
 
Source Ciencia; Vol. 26 Núm. 1-2 (2018): Enero-Junio; 15-22
1315-2076
 
Language spa
 
Relation http://produccioncientificaluz.org/index.php/ciencia/article/view/36035/38477
http://produccioncientificaluz.org/index.php/ciencia/article/view/36035/38478
 

Contact Us

The PKP Index is an initiative of the Public Knowledge Project.

For PKP Publishing Services please use the PKP|PS contact form.

For support with PKP software we encourage users to consult our wiki for documentation and search our support forums.

For any other correspondence feel free to contact us using the PKP contact form.

Find Us

Twitter

Copyright © 2015-2018 Simon Fraser University Library