Skip to main content

Spatial Reasoning and Planning in Sign-Based World Model

Part of the Communications in Computer and Information Science book series (CCIS,volume 934)


The paper discusses the interaction between methods of modeling reasoning and behavior planning in a sign-based world model for the task of synthesizing a hierarchical plan of relocation. Such interaction is represented by the formalism of intelligent rule-based dynamic systems in the form of alternate use of transition functions (planning) and closure functions (reasoning). Particular attention is paid to the ways of information representation of the object spatial relationships on the local map and the methods of organizing pseudo-physical reasoning in a sign-based world model. The paper presents a number of model experiments on the relocation of a cognitive agent in different environments and replenishment of the state description by means of the variants of logical inference.


  • Sign
  • Sign-based world model
  • Relocation planning
  • Reasoning modeling
  • Pseudo-physical logic

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-030-00617-4_1
  • Chapter length: 10 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
USD   79.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-00617-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   99.99
Price excludes VAT (USA)
Fig. 1.
Fig. 2.
Fig. 3.


  1. Osipov, G.S., Panov, A.I., Chudova, N.V.: Behavior control as a function of consciousness. I. World model and goal setting. J. Comput. Syst. Sci. Int. 53, 517–529 (2014)

    MathSciNet  CrossRef  Google Scholar 

  2. Osipov, G.S., Panov, A.I., Chudova, N.V.: Behavior control as a function of consciousness. II. Synthesis of a behavior plan. J. Comput. Syst. Sci. Int. 54, 882–896 (2015)

    MathSciNet  CrossRef  Google Scholar 

  3. Alford, R., Shivashankar, V., Roberts, M., Frank, J., Aha, D.W.: Hierarchical planning: relating task and goal decomposition with task sharing. In: IJCAI International Joint Conference on Artificial Intelligence, pp. 3022–3028 (2016)

    Google Scholar 

  4. Stefanuk, V.L.: Dynamic expert systems. KYBERNETES Int. J. Syst. Cybern. 29(5/6), 702–709 (2000)

    CrossRef  Google Scholar 

  5. Vinogradov, A.N., Osipov, G.S., Zhilyakova, L.Y.: Dynamic intelligent systems: I. Knowledge representation and basic algorithms. J. Comput. Syst. Sci. Int. 41, 953–960 (2002)

    Google Scholar 

  6. Osipov, G.S.: Limit behaviour of dynamic rule-based systems. Inf. Theor. Appl. 15, 115–119 (2008)

    Google Scholar 

  7. Pospelov, D.A., Osipov, G.S.: Knowledge in semiotic models. In: Proceedings of the Second Workshop on Applied Semiotics, Seventh International Conference on Artificial Intelligence and Information-Control Systems of Robots (AIICSR97), Bratislava, pp. 1–12 (1997)

    Google Scholar 

  8. Gemignani, G., Capobianco, R., Bastianelli, E., Bloisi, D.D., Iocchi, L., Nardi, D.: Living with robots: interactive environmental knowledge acquisition. Robot. Auton. Syst. 78, 1–16 (2016).

    CrossRef  Google Scholar 

  9. Galindo, C., Saffiotti, A., Coradeschi, S., Buschka, P., Fern, J.A., Gonz, J.: Multi-hierarchical semantic maps for mobile robotics. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (2005)

    Google Scholar 

  10. Zender, H., Mozos, O.M., Jensfelt, P., Kruijff, G.M., Burgard, W.: Conceptual spatial representations for indoor mobile robots. Robot. Auton. Syst. 56, 493–502 (2008).

    CrossRef  Google Scholar 

  11. Kaelbling, L.P., Lozano-Prez, T.: Integrated task and motion planning in belief space. Int. J. Robot. Res. 32(9–10), 1194–1227 (2013)

    CrossRef  Google Scholar 

  12. Garrett, C.R., Lozano-Prez, T., Kaelbling, L.P.: Backward-forward search for manipulation planning. In: IEEE International Conference on Intelligent Robots and Systems, (grant 1420927), pp. 6366–6373, December 2015

    Google Scholar 

  13. Erdem, U.M., Hasselmo, M.E.: A biologically inspired hierarchical goal directed navigation model. J. Physiol. Paris 108(1), 28–37 (2014).

    CrossRef  Google Scholar 

  14. Milford, M., Wyeth, G.: Persistent navigation and mapping using a biologically inspired slam system. Int. J. Robot. Res. 29(9), 1131–1153 (2010).

    CrossRef  Google Scholar 

  15. Milford, M., Schulz, R.: Principles of goal-directed spatial robot navigation in biomimetic models. Philos. Trans. Roy. Soc. B: Biol. Sci. 369(1655), 20130484–20130484 (2014).

    CrossRef  Google Scholar 

  16. Osipov, G.S.: Sign-based representation and word model of actor. In: Yager, R., Sgurev, V., Hadjiski, M., and Jotsov, V. (eds.) 2016 IEEE 8th International Conference on Intelligent Systems (IS), pp. 22–26. IEEE (2016)

    Google Scholar 

  17. Panov, A.I.: Behavior planning of intelligent agent with sign world model. Biol. Inspired Cogn. Archit. 19, 21–31 (2017)

    MathSciNet  Google Scholar 

  18. Kiselev, G.A., Panov, A.I.: Sign-based approach to the task of role distribution in the coalition of cognitive agents. SPIIRAS Proc. 57, 161–187 (2018)

    CrossRef  Google Scholar 

Download references


This work was supported by Russian Foundation for Basic Research (Project No. 18-07-01011 and 17-29-07051).

Author information

Authors and Affiliations


Corresponding author

Correspondence to Aleksandr I. Panov .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Verify currency and authenticity via CrossMark

Cite this paper

Kiselev, G., Kovalev, A., Panov, A.I. (2018). Spatial Reasoning and Planning in Sign-Based World Model. In: Kuznetsov, S., Osipov, G., Stefanuk, V. (eds) Artificial Intelligence. RCAI 2018. Communications in Computer and Information Science, vol 934. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-00616-7

  • Online ISBN: 978-3-030-00617-4

  • eBook Packages: Computer ScienceComputer Science (R0)