Building intelligent robotic systems is both stirring and extremely challenging. Researchers have realized that robot intelligence can be achieved with a logical approach, but still AI struggles to connect that abstract logic with real-world meanings. This paper presents KnowLang, a new formal language for knowledge representation in a special class of intelligent robotic systems termed ASCENS. Autonomic Service-Component Ensembles (ASCENS) are multi-agent systems formed as mobile, intelligent and open-ended swarms of special autonomic service components capable of local and distributed reasoning. Such components encapsulate rules, constraints and mechanisms for self-adaptation and acquire and process knowledge about themselves, other service components and their environment. In this paper,a brief KnowLang case study of knowledge representation for a robotic system is presented.


knowledge representation intelligent robotic systems formal approach robot ontology ASCENS 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Makhfi, P.: MAKHFI - Methodic Applied Knowledge to Hyper Fictitious Intelligence (2008),
  2. 2.
    ASCENS – Autonomic Service-Component Ensembles (2010),
  3. 3.
    Devedzic, V., Radovic, D.: A Framework for Building Intelligent Manufacturing Systems. IEEE Transactions on Systems, Man, and Cybernetics,Part C - Applications and Reviews 29, 422–439 (1999)CrossRefGoogle Scholar
  4. 4.
    Vassev, E., Hinchey, M.: Knowledge Representation and Awareness in Autonomic Service-Component Ensembles – State of the Art. In: Proceedings of the14th IEEE International Symposium on Object/Component/ Service-oriented Real-time Distributed Computing Workshops, pp. 110–119. IEEE Computer Society (2011)Google Scholar
  5. 5.
    Brachman, R.J., Levesque, H.J.: Knowledge representation and reasoning. Elsevier, San Francisco (2004)Google Scholar
  6. 6.
    Baader, F., Nutt, W.: Basic Description Logics. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.) The Description Logic Handbook (2002)Google Scholar
  7. 7.
    Riazanov, A.: Implementing an Efficient Theorem Prover. Ph.D. Dissertation, University of Manchester (2003)Google Scholar
  8. 8.
    Weidenbach, C.: SPASS:Combining superposition, Sorts and Splitting. In: Handbook of Automated Reasoning. Elsevier (1999)Google Scholar
  9. 9.
    Schulz, S.: E - a brainiac theorem prover. Journal of AI Communications 15(2), 111–126 (2002)zbMATHGoogle Scholar
  10. 10.
  11. 11.
    Guo, Y., Heflin, J., Pan, Z.: Benchmarking DAML+OIL Repositories. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 613–627. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  12. 12.
    European Commission – CORDIS, Seventh Framework Program (FP7),
  13. 13.
    Vassev, E., Hinchey, M., Gaudin, B., Nixon, P.: Requirements and Initial Model for KnowLang – A Language for Knowledge Representation in Autonomic Service-Component Ensembles. In: Proceedings of the Fourth International C* Conference on Computer Science & Software Engineering(C3S2E 2011), pp. 35–42. ACM (2011)Google Scholar
  14. 14.
    Swartout, W., Tate, A.: Ontologies. IEEE Intelligent Systems 14, 18–19 (1999)CrossRefGoogle Scholar
  15. 15.
    Halpern, J.Y.: An analysis of first-order logics of probability. Artificial Intelligence 46, 311–350 (1990)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Bonani, M., Baaboura, T., Retornaz, P., Vaussard, F., Magnenat, S., Burnier, D., Longchamp, V., Mondada, F.: marXbot, Laborotoire de SystemesRobotiques (LSRO), École Polytechnique Fédérale de Lausanne,

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Emil Vassev
    • 1
  • Mike Hinchey
    • 1
  1. 1.Lero—the Irish Software Engineering Research CentreUniversity of LimerickLimerickIreland

Personalised recommendations