Skip to main content
SpringerLink
Log in

Spatial Reasoning and Planning in Sign-Based World Model

  • Conference paper
  • First Online:
Artificial Intelligence (RCAI 2018)

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

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  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)

    Article  MathSciNet  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)

    Article  MathSciNet  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)

    Article  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). https://doi.org/10.1016/j.robot.2015.11.001

    Article  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). https://doi.org/10.1016/j.robot.2008.03.007

    Article  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)

    Article  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). https://doi.org/10.1016/j.jphysparis.2013.07.002

    Article  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). https://doi.org/10.1177/0278364909340592

    Article  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). https://doi.org/10.1098/rstb.2013.0484

    Article  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)

    Article  Google Scholar 

Download references

Acknowledgements

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

Author information

Authors and Affiliations

  1. Federal Research Center “Computer Science and Control” of the Russian Academy of Sciences, Moscow, Russia

    Gleb Kiselev & Aleksandr I. Panov

  2. National Research University Higher School of Economics, Moscow, Russia

    Gleb Kiselev & Alexey Kovalev

  3. Moscow Institute of Physics and Technology, Moscow, Russia

    Aleksandr I. Panov

Authors
  1. Gleb Kiselev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexey Kovalev
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Aleksandr I. Panov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Aleksandr I. Panov .

Editor information

Editors and Affiliations

  1. Department of Data Analysis and Artificial Intelligence, National Research University Higher School of Economics, Moscow, Russia

    Sergei O. Kuznetsov

  2. Federal Research Center Computer Science and Control, Institute of Informatics Problems, Moscow, Russia

    Gennady S. Osipov

  3. Institute for Information Transmission Problems, Russian Academy of Sciences, Moscow, Russia

    Vadim L. Stefanuk

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. 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. https://doi.org/10.1007/978-3-030-00617-4_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-00617-4_1

  • 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)

Publish with us

Policies and ethics

Search

Navigation