Intelligent Paraconsistent Logic Controller and Autonomous Mobile Robot Emmy II

  • Jair M. Abe
  • Cláudio R. Torres
  • Germano L. Torres
  • Kazumi Nakamatsu
  • Michiro Kondo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4252)


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.


Ultrasonic Sensor False State Suitable Sensor Autonomous Mobile Robot Belief Degree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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. 3.
    Abe, J.M.: Some Aspects of Paraconsistent Systems and Applications. Logique et Analyse 157, 83–96 (1997)Google Scholar
  4. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jair M. Abe
    • 1
    • 3
  • Cláudio R. Torres
    • 2
    • 6
  • Germano L. Torres
    • 6
  • Kazumi Nakamatsu
    • 5
  • Michiro Kondo
    • 4
  1. 1.Institute For Advanced StudiesUniversity of São PauloBrazil
  2. 2.Universidade Metodista de São PauloSão PauloBrazil
  3. 3.Information Technology Dept.ICET – Paulista UniversityBrazil
  4. 4.School of Information EnvironmentTokyo Denki UniversityJapan
  5. 5.School of Human Science and Environment/H.S.E.University of HyogoJapan
  6. 6.GAIA Grupo de Aplicações de Inteligência ArtificialUNIFEI – Federal University of ItajubáBrazil

Personalised recommendations