Reasoning in complex environments with the SelectScript declarative language

SelectScript is an extendable, adaptable, and declarative domain-specific language aimed at information retrieval from simulation environments and robotic world models in an SQL-like manner. In this work we have extended the language in two directions. First, we have implemented hierarchical queries; second, we improve efficiency enabling manual design space exploration on different "search" strategies. We demonstrate the applicability of such extensions in two application problems; the basic language concepts are explained by solving the classical problem of the Towers of Hanoi and then a common path planning problem in a complex 3D environment is implemented.

[1]  Jim Melton,et al.  SQL: 1999, formerly known as SQL3 , 1999, SGMD.

[2]  Byung Suk Lee,et al.  MeshSQL: the query language for simulation mesh data , 2004, Inf. Sci..

[3]  James Noble,et al.  Efficient Object Querying for Java , 2006, ECOOP.

[4]  Uday Bondhugula,et al.  A practical automatic polyhedral parallelizer and locality optimizer , 2008, PLDI '08.

[5]  Dominique Fober,et al.  FAUST : an Efficient Functional Approach to DSP Programming , 2009 .

[6]  Fouad Badran,et al.  YAO: A Software for Variational Data Assimilation Using Numerical Models , 2009, ICCSA.

[7]  Takeo Kanade,et al.  Automated Construction of Robotic Manipulation Programs , 2010 .

[8]  Krzysztof Stencel,et al.  Recursive Query Facilities in Relational Databases: A Survey , 2010, FGIT-DTA/BSBT.

[9]  Lawrence Mitchell,et al.  PyOP2: A High-Level Framework for Performance-Portable Simulations on Unstructured Meshes , 2012, 2012 SC Companion: High Performance Computing, Networking Storage and Analysis.

[10]  Fouad Badran,et al.  YAO: A Generator of Parallel Code for Variational Data Assimilation Applications , 2012, 2012 IEEE 14th International Conference on High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and Systems.

[11]  Frédo Durand,et al.  Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines , 2013, PLDI 2013.

[12]  André Dietrich,et al.  ROS meets Cassandra : Data Management in Smart Environments with NoSQL , 2014 .

[13]  Holger Voos,et al.  Towards a Robot Perception Specification Language , 2014, ArXiv.

[14]  Herman Bruyninckx,et al.  Towards a Domain Specific Language for a Scene Graph based Robotic World Model , 2014, ArXiv.

[15]  Jörg Kaiser,et al.  Distributed management and representation of data and context in robotic applications , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[16]  Jörg Kaiser,et al.  SELECTSCRIPT: A query language for robotic world models and simulations , 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).

[17]  Andrew T. T. McRae,et al.  Firedrake: automating the finite element method by composing abstractions , 2015, ACM Trans. Math. Softw..