SITUALIZ: Situational planning simulation software
SITUALIZ: Software para la simulación de planes situacionales
Abstract
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.
Downloads
References
FERRER D. Herramienta Integrada para la construcción, manipulación y simulación de autómatas finitos (Para obtener el título de Licenciado en Computación). Facultad Experimental de Ciencias. Universidad del Zulia. Maracaibo (Venezuela). 99 pp. 2011.
CASPERSEN S. Herramienta integrada para la manipulación y simulación de máquinas de Turing estándares y de acceso aleatorio (Para obtener el título de Licenciada en Computación). Facultad Experimental de Ciencias. Universidad del Zulia. Maracaibo (Venezuela). 127 pp. 2011.
NÚÑEZ H., PIRELA-MORILLO G. REDIELUZ. 5(1 y 2): 49-58. 2015.
POOLE D., MACKWORTH, A. Artificial Intelligence: Foundations of Computational Agents. Cambridge University Press. Cambridge (USA). 820 pp. 2017. http://analisideinformacion.blogspot.com/2012/09/metodologia-senn.html Fecha de consulta: 05/12/2016.
CORMEN T., LEISERSON C., RIVEST R., STEIN C. Introduction to Algorithms. The MIT Press. Cambridge (USA). 1251 pp. 2010.
DENTI E. TuProlog Manual version: 2.9.0. Alma Mater Studiorum–Università di Bologna. Bologna (Italy). 255 pp. 2014. https://www.java.com/es/about/ Fecha de consulta: 01/04/2017.