Abstraction and Multiple Abstraction

We are working since 1997 on implementing abstraction into a number of diverse robotics tasks, such as world modelling, task planning, SLAM or sensor inference. We have proven in all these contexts how this cognitive process turns exponential complexity into polinomial one in suitable situations. We have also developed the first theoretical model of multiple abstraction of detail that have been employed in real mobile robots.

We have published a number of journal and conference papers on this matter, two books, and have developed a few doctoral theses as well.