Composability in Cognitive Hierarchies
This paper develops a theory of node composition in a formal framework for cognitive hierarchies. It builds on an existing model for the integration of symbolic and sub-symbolic representations in a robot architecture consisting of nodes in a hierarchy. A notion of behaviour equivalence between cognitive hierarchies is introduced and node composition operators that preserve this equivalence are defined. This work is significant in two respects. Firstly, it opens the way for a formal comparison between cognitive robotic systems. Secondly, composition, more precisely decomposition, has been shown to be important to many fields, and may therefore prove of practical benefit in the context of cognitive systems.
This material is based upon work supported by the Asian Office of Aerospace Research and Development (AOARD) under Award No: FA2386-15-1-0005. This research was also supported under Australian Research Council’s (ARC) Discovery Projects funding scheme (project number DP 150103035). Michael Thielscher is also affiliated with the University of Western Sydney.
- 1.Albus, J.S.: Engineering of Mind: An Introduction to the Science of Intelligent Systems. Wiley, New York (2001)Google Scholar
- 2.Amir, E., Engelhardt, B.: Factored planning. In: Proceedings of IJCAI, pp. 929–935. Morgan Kaufmann (2003)Google Scholar
- 3.Anderson, J.R.: Rules of the Mind. Lawrence Erlbaum Associates Inc., New Jersey (1993)Google Scholar
- 5.Brafman, R.I., Domshlak, C.: Factored planning: how, when, and when not. In: Proceedings of AAAI, pp. 809–814 (2006)Google Scholar
- 8.Cerexhe, T.J., Rajaratnam, D., Saffidine, A., Thielscher, M.: A systematic solution to the (de-)composition problem in general game playing. In: Proceedings of ECAI, pp. 195–200 (2014)Google Scholar
- 9.Clark, K., Hengst, B., Pagnucco, M., Rajaratnam, D., Robinson, P., Sammut, C., Thielscher, M.: A framework for integrating symbolic and sub-symbolic representations. In: Proceedings of IJCAI, pp. 2486–2492 (2016)Google Scholar
- 10.De Giacomo, G., Sardiña, S.: Automatic synthesis of new behaviors from a library of available behaviors. In: Proceedings of IJCAI, pp. 1866–1871 (2007)Google Scholar
- 13.Laird, J.E., Kinkade, K.R., Mohan, S., Xu, J.Z.: Cognitive robotics using the soar cognitive architecture. Cognitive Robotics AAAI Technical report WS-12-06, pp. 46–54 (2012)Google Scholar
- 15.Lee, D., Kim, H., Myung, H.: GPU-based real-time RGB-D 3D SLAM. In: Proceedings Ubiquitous Robots and Ambient Intelligence (URAI), pp. 46–48. IEEE (2012)Google Scholar
- 16.Nilsson, N.: Teleo-reactive programs and the triple-tower architecture. Electron. Trans. Artif. Intell. 5, 99–110 (2001)Google Scholar