Skip to main content

Paraconsistent Annotated Evidential Logic Eτ Applied to Autonomous Robots in Logistic Center

  • Conference paper
  • First Online:
Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems (APMS 2021)

Abstract

Due to the momentum of Industry 4.0 in various product and service sectors, academic and business investments in the development of new technologies in the logistics sector also stand out. Based on these trends, bibliographical research was carried out of articles dedicated to robotics with application in the logistics sector. Based on the bibliographic survey results, this work proposes a prototype of an autonomous terrestrial mobile robot that must go through corridors in specific layouts in logistics centres focusing on the aid of control tasks and management information for decision making. The main contribution is testing a para-analyzer algorithm based on non-classical logic such as Paraconsistent Annotated Logic Eτ, as the decision-making tool to avoid obstacles.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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. Preindl, R., Nikolopoulos, K., Litsiou, K.: Transformation strategies for the supply chain: the impact of industry 4.0 and digital transformation. Supply Chain Forum: Int. J., 1–9. Taylor & Francis (2020)

    Google Scholar 

  2. Abrate, F., Bona, B., Indri, M., Rosa, S., Tibaldi, F.: Multirobot localization in highly symmetrical environments. J. Intell. Rob. Syst. 71(3–4), 403–421 (2013)

    Article  Google Scholar 

  3. Chen, Y.S., Juang, J.G.: Intelligent obstacle avoidance control strategy for wheeled mobile robot. In: 2009 ICCAS-SICE, pp. 3199–3204. IEEE (2009)

    Google Scholar 

  4. Abe, J.M. Silva Filho, J.I.d., Celestino, U., Araújo, H.C.d.: Lógica Paraconsistente Anotada Evidencial Eτ. Comunicar (2011)

    Google Scholar 

  5. Da Silva Filho, J.I., et al:. Emmy: robô móvel autônomo paraconsistente-protótipo 1. Coleção Documentos, Série Lógica e Teoria da Ciência, IEA-USP (1999)

    Google Scholar 

  6. Torres, C.R, Abe, J.M., Torres, G.L.: Sistema inteligente paraconsistente para controle de robôs móveis autônomos. Portuguese, MSc Dissertation, Universidade Federal de Itajubá–UNIFEI, Itajubá (2004)

    Google Scholar 

  7. Abe, J.M., Nakamatsu, K., Akama, S., Ahrary, A.: Handling paraconsistency and paracompleteness in robotics. In: 2018 Innovations in Intelligent Systems and Applications (INISTA), pp. 1–7. IEEE (2018)

    Google Scholar 

  8. Torres, C.R., Abe, J.M., Lambert-Torres, G., da Silva Filho, J.I., Martins, H.G.: Autonomous mobile robot Emmy III. In: New Advances in Intelligent Decision Technologies, pp. 317–327. Springer, Berlin (2009). https://doi.org/10.1007/978-3-642-00909-9_31

  9. Torres, C.R., Lambert-Torres, G., Abe, J.M., da Silva Filho, J.I.: The sensing system for the autonomous mobile robot Emmy III. In: 2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011), pp. 2928–2933. IEEE. (2011)

    Google Scholar 

  10. Abe, J.M., Akama, S., Nakamatsu, K.: Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning, vol. 88. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-17912-4

Download references

Acknowledgements

“This study was financed in part by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Brasil (CAPES) -Finance Code 001”.

Author information

Authors and Affiliations

Authors

Corresponding authors

Correspondence to Flávio Amadeu Bernardini , Marcia Terra da Silva , Jair Minoro Abe or Luiz Antonio de Lima .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2021 IFIP International Federation for Information Processing

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Bernardini, F.A., da Silva, M.T., Abe, J.M., de Lima, L.A. (2021). Paraconsistent Annotated Evidential Logic Eτ Applied to Autonomous Robots in Logistic Center. In: Dolgui, A., Bernard, A., Lemoine, D., von Cieminski, G., Romero, D. (eds) Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems. APMS 2021. IFIP Advances in Information and Communication Technology, vol 632. Springer, Cham. https://doi.org/10.1007/978-3-030-85906-0_58

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-85906-0_58

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-85905-3

  • Online ISBN: 978-3-030-85906-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics