Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II

  • Conference paper
Knowledge-Based Intelligent Information and Engineering Systems (KES 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4252))

Abstract

In this work we present a logic controller based on Paraconsistent Annotated Logic named Paracontrol, which can be applied to resolve conflicts and to deal with contradictions and/or paracompleteness, by implementing a decision-making in the presence of uncertainties. Such controller was implemented in a real autonomous mobile robot Emmy II.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abe, J.M.: Fundamentos da Lógica Anotada (Foundations of Annotated Logics), in Portuguese, Ph. D. Thesis, Universidade de São Paulo, São Paulo (1992)

    Google Scholar 

  2. Torres, C.R.: Sistema Inteligente Paraconsistente para Controle de Robôs Móveis Autônomos, MSc. Dissertation, Universidade Federal de Itajubá - UNIFEI, Itajubá (2004)

    Google Scholar 

  3. Abe, J.M.: Some Aspects of Paraconsistent Systems and Applications. Logique et Analyse 157, 83–96 (1997)

    Google Scholar 

  4. Abe, J.M., da Silva Filho, J.I.: Manipulating Conflicts and Uncertainties in Robotics. Multiple-Valued Logic and Soft Computing 9, 147–169 (2003)

    Google Scholar 

  5. da Silva Filho, J.I.: Métodos de Aplicações da Lógica Paraconsistente Anotada de Anotação com Dois Valores LPA2v com Construção de Algoritmo e Implementação de Circuitos Eletrônicos, in Portuguese, Ph. D. Thesis, Universidade de São Paulo, São Paulo (1999)

    Google Scholar 

  6. da Silva Filho, J.I., Abe, J.M.: Emmy: a paraconsistent autonomous mobile robot, in Logic, Artificial Intelligence, and Robotics. In: Abe, J.M., Da Silva Filho, J.I. (eds.) Frontiers in Artificial Intelligence and Its Applications, vol. 71, p. 287. IOS Press, Amsterdam (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute For Advanced Studies, University of São Paulo, Brazil

    Jair M. Abe

  2. Universidade Metodista de São Paulo, São Paulo, Brazil

    Cláudio R. Torres

  3. Information Technology Dept., ICET – Paulista University, Brazil

    Jair M. Abe

  4. School of Information Environment, Tokyo Denki University, Japan

    Michiro Kondo

  5. School of Human Science and Environment/H.S.E., University of Hyogo, Japan

    Kazumi Nakamatsu

  6. GAIA Grupo de Aplicações de Inteligência Artificial, UNIFEI – Federal University of Itajubá, Brazil

    Cláudio R. Torres & Germano L. Torres

Authors
  1. Jair M. Abe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cláudio R. Torres
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Germano L. Torres
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kazumi Nakamatsu
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Michiro Kondo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Design, Engineering and Computing, Bournemouth University, UK

    Bogdan Gabrys

  2. Centre for SMART Systems, School of Environment and Technology, University of Brighton, BN2 4GJ, Brighton, UK

    Robert J. Howlett

  3. School of Electrical and Information Engineering, Knowledge Based Intelligent Engineering Systems Centre, University of South Australia, SA, 5095, Mawson Lakes, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Abe, J.M., Torres, C.R., Torres, G.L., Nakamatsu, K., Kondo, M. (2006). Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2006. Lecture Notes in Computer Science(), vol 4252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11893004_108

Download citation

  • DOI: https://doi.org/10.1007/11893004_108

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-46537-9

  • Online ISBN: 978-3-540-46539-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation