Anchoring Knowledge in Interaction: Towards a Harmonic Subsymbolic/Symbolic Framework and Architecture of Computational Cognition

  • Tarek R. Besold
  • Kai-Uwe Kühnberger
  • Artur d’Avila Garcez
  • Alessandro Saffiotti
  • Martin H. Fischer
  • Alan Bundy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9205)


We outline a proposal for a research program leading to a new paradigm, architectural framework, and prototypical implementation, for the cognitively inspired anchoring of an agent’s learning, knowledge formation, and higher reasoning abilities in real-world interactions: Learning through interaction in real-time in a real environment triggers the incremental accumulation and repair of knowledge that leads to the formation of theories at a higher level of abstraction. The transformations at this higher level filter down and inform the learning process as part of a permanent cycle of learning through experience, higher-order deliberation, theory formation and revision.

The envisioned framework will provide a precise computational theory, algorithmic descriptions, and an implementation in cyber-physical systems, addressing the lifting of action patterns from the subsymbolic to the symbolic knowledge level, effective methods for theory formation, adaptation, and evolution, the anchoring of knowledge-level objects, real-world interactions and manipulations, and the realization and evaluation of such a system in different scenarios. The expected results can provide new foundations for future agent architectures, multi-agent systems, robotics, and cognitive systems, and can facilitate a deeper understanding of the development and interaction in human-technological settings.


Transfer Learning Restrict Boltzmann Machine Analogical Transfer Deep Network Chord Progression 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Arnold, L., Paugam-Moisy, H., Sebag, M.: Unsupervised layer-wise model selection in deep neural networks. In: Proceedings of ECAI 2010: 19th European Conference on Artificial Intelligence, pp. 915–920. IOS Press (2010)Google Scholar
  2. 2.
    Bengio, Y.: Learning Deep Architectures for AI. Foundations and Trends in Machine Learning 2(1), 1–127 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Bundy, A.: The interaction of representation and reasoning. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 469(2157) (2013)Google Scholar
  4. 4.
    Chella, A., Frixione, M., Gaglio, S.: Anchoring symbols to conceptual spaces: the case of dynamic scenarios. Robotics and Autonomous Systems 43(2–3), 175–188 (2003)CrossRefGoogle Scholar
  5. 5.
    Coradeschi, S., Saffiotti, A.: Anchoring symbols to sensor data: preliminary report. In: Proceedings of the 17th AAAI Conference, pp. 129–135. AAAI Press (2000)Google Scholar
  6. 6.
    Coradeschi, S., Saffiotti, A.: Symbiotic Robotic Systems: Humans, Robots, and Smart Environments. IEEE Intelligent Systems 21(3), 82–84 (2006)CrossRefGoogle Scholar
  7. 7.
    De Penning, H.L.H., Garcez, A.S.D., Lamb, L.C., Meyer, J. J. C.: A Neural-symbolic cognitive agent for online learning and reasoning. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp. 1653–1658. AAAI Press (2011)Google Scholar
  8. 8.
    Diaconescu, R.: Institution-independent Model Theory. Birkhäuser, 1st edn. (2008)Google Scholar
  9. 9.
    Dietterich, T.G.: Approximate Statistical Tests for Comparing Supervised Classification Learning Algorithms. Neural Comput. 10(7), 1895–1923 (1998)CrossRefGoogle Scholar
  10. 10.
    Fischer, M.H.: A hierarchical view of grounded, embodied, and situated numerical cognition. Cognitive Processing 13(1), 161–164 (2012)CrossRefGoogle Scholar
  11. 11.
    Gärdenfors, P.: Conceptual Spaces: The Geometry of Thought. MIT Press (2000)Google Scholar
  12. 12.
    Gkaniatsou, A., Bundy, A., Mcneill, F.: Towards the automatic detection and correction of errors in automatically constructed ontologies. In: 8th International Conference on Signal Image Technology and Internet Based Systems 2012, pp. 860–867 (2012)Google Scholar
  13. 13.
    Hall, D., Llinas, J.: An introduction to multisensor data fusion. Proceedings of the IEEE 85(1), 6–23 (1997)CrossRefGoogle Scholar
  14. 14.
    Hinton, G.E.: A practical guide to training restricted boltzmann machines. In: Montavon, G., Orr, G.B., Müller, K.-R. (eds.) Neural Networks: Tricks of the Trade, 2nd edn. LNCS, vol. 7700, pp. 599–619. Springer, Heidelberg (2012) CrossRefGoogle Scholar
  15. 15.
    Jaeger, H.: Controlling recurrent neural networks by conceptors. arXiv (2014), 1403.3369v1 [cs.CV] (March 13, 2014)Google Scholar
  16. 16.
    LeBlanc, K., Saffiotti, A.: Cooperative anchoring in heterogeneous multi-robot systems. In: 2008 IEEE International Conference on Robotics and Automation, pp. 3308–3314 (2008)Google Scholar
  17. 17.
    Lehmann, J., Chan, M., Bundy, A.: A Higher-Order Approach to Ontology Evolution in Physics. Journal on Data Semantics 2(4), 163–187 (2013)CrossRefGoogle Scholar
  18. 18.
    Lovett, A., Forbus, K., Usher, J.: A structure-mapping model of raven’s progressive matrices. In: 32nd Annual Meeting of the Cognitive Science Society, pp. 2761–2766 (2010)Google Scholar
  19. 19.
    Marr, D.: Vision. A Computational Investigation into the Human Representation and Processing of Visual Information. W. H. Freeman and Company (1982)Google Scholar
  20. 20.
    McLure, M., Friedman, S., Forbus, K.: Learning concepts from sketches via analogical generalization and near-misses. In: 32nd Annual Meeting of the Cognitive Science Society, pp. 1726–1731 (2010)Google Scholar
  21. 21.
    Schwering, A., Krumnack, U., Kühnberger, K.U., Gust, H.: Syntactic Principles of Heuristic-Driven Theory Projection. Journal of Cognitive Systems Research 10(3), 251–269 (2009)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Tarek R. Besold
    • 1
  • Kai-Uwe Kühnberger
    • 1
  • Artur d’Avila Garcez
    • 2
  • Alessandro Saffiotti
    • 3
  • Martin H. Fischer
    • 4
  • Alan Bundy
    • 5
  1. 1.Institute of Cognitive ScienceUniversity of OsnabrückOsnabrückGermany
  2. 2.City University LondonLondonUK
  3. 3.Örebro UniversityÖrebroSweden
  4. 4.University of PotsdamPotsdamGermany
  5. 5.University of EdinburghEdinburghScotland

Personalised recommendations