Paraconsistent Logics and Applications | SpringerLink
Skip to main content
Springer Nature Link
Log in

Paraconsistent Logics and Applications

  • Chapter
  • First Online:
New Approaches in Intelligent Control

Part of the book series: Intelligent Systems Reference Library ((ISRL,volume 107))

  • 975 Accesses

Abstract

In this work we summarize some of the applications of so-called Paraconsistent logics, mainly one class of them, the paraconsistent annotated logics. Roughly speaking such systems allow inconsistencies in a non-trivial manner in its interior; so it is suitable to handle themes in which inconsistencies become a central issue, like pattern recognition, non-monotonic reasoning, defeasible reasoning, deontic reasoning, multi-agent systems including distributed systems, collective computation, among a variety of themes.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 11439
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 14299
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
JPY 14299
Price includes VAT (Japan)
  • 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

Similar content being viewed by others

Notes

  1. 1.

    The first four diagnosis rules were supplied by the first expert clinician and the two remaining diagnosis rules were provided by the second expert clinician.

References

  1. Abe, J.M.: Fundamentos da Lógica Anotada (1992) (Foundations of Annotated Logics in Portuguese). Ph.D. thesis, FFLCH/USP, São Paulo, Brazil (1992)

    Google Scholar 

  2. Abe, J.M.: Some aspects of paraconsistent systems and applications. Log. et Anal. 15, 83–96 (1997)

    MATH  Google Scholar 

  3. Abe, J.M., Da Silva Filho, J.I.: Inconsistency and electronic circuits. In: Alpaydin, E. (ed.) Proceedings of the International ICSC Symposium on Engineering of Intelligent Systems (EIS’98), Volume 3, Artificial Intelligence, pp. 191–197. ICSC Academic Press International Computer Science Conventions Canada/Switzerland (1998)

    Google Scholar 

  4. Abe, J.M., da Silva Filho, J.I.: Manipulating conflicts and uncertainties in robotics. Mult. Valued Log. Soft Comput. 9, 147–169 (2003)

    Google Scholar 

  5. Abe, J.M. Nakamatsu, K.: Multi-agent systems and paraconsistent knowledge. In: Nguyen, N.T., Jain, L.C. (eds.) Knowledge Processing and Decision Making in Agent-Based Systems, Book Series Studies in Computational Intelligence, vol. 167, VIII, 400 p. 92 illus., pp. 101–121. Springer (2009)

    Google Scholar 

  6. Abe, J.M., Prado, J.C.A., Nakamatsu, K.: Paraconsistent artificial neural network: applicability in computer analysis of speech productions. Lect. Notes Comput. Sci. 4252, 844–850 (2006) (Springer)

    Google Scholar 

  7. Anderson, A.R., Belnap, Jr. N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (Anderson, A.R., Belnap, Jr., N.D., Dunn, J.M.: Entailment, vol. II (1992)) (1975)

    Google Scholar 

  8. Ávila, B.C.: Uma Abordagem Paraconsistente Baseada em Lógica Evidencial para Tratar Exceções em Sistemas de Frames com Múltipla Herança. Ph.D. thesis, University of São Paulo, São Paulo (1996)

    Google Scholar 

  9. Borkowski, L., Słupecki, J.: The logical works of J. Łukasiewicz. Stud. Logica. 8, 7–56 (1958)

    Article  MATH  Google Scholar 

  10. Da Costa, N.C.A.: Logiques classiques et non classiques: Essai sur les fondements de la logique, Dunod Masson Ho, 275 pp (1997)

    Google Scholar 

  11. Da Costa, N.C.A., Subrahmanian, V.S.: Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases. Artif. Intelligence Med. (Print) 1, 167–174 (1989)

    Google Scholar 

  12. Da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on Annotated Logic. Zeitschrift f. math. Logik und Grundlagen Math. 37, 561–570 (1991)

    Google Scholar 

  13. Da Costa, N.C.A., Prado, J.P.A., Abe, J.M., Ávila, B.C., Rillo, M.: Paralog: Um Prolog Paraconsistente baseado em Lógica Anotada, Coleção Documentos, Série Lógica e Teoria da Ciência, IEA-USP, 18, 21 pp (1995)

    Google Scholar 

  14. Da Silva Filho, J.I.: Métodos de interpretação da Lógica Paraconsistente Anotada com anotação com dois valores LPA2v com construção de Algoritmo e implementação de Circuitos Eletrônicos, EPUSP. PhD Thesis (in Portuguese), São Paulo (1999)

    Google Scholar 

  15. Da Silva Filho, J.I., Abe, J.M.: Paraconsistent electronic circuits. Int. J. Comput. Anticip. Syst. 9, 337–345 (2001)

    Google Scholar 

  16. Da Silva Filho, J.I., Torres, G.L., Abe, J.M.: Uncertainty Treatment Using Paraconsistent Logic—Introducing Paraconsistent Artificial Neural Networks, vol. 211, 328 pp. IOS Press, Holanda (2010)

    Google Scholar 

  17. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, London (1995)

    MATH  Google Scholar 

  18. Lopes, H.F.S., Abe, J.M., Anghinah, R.: Application of paraconsistent artificial neural networks as a method of aid in the diagnosis of alzheimer disease. J. Med. Syst. 1–9 (2009) (Springer-Netherlands)

    Google Scholar 

  19. Lopes, H.F.S., Abe, J.M., Kanda, P.A.M., Machado, S., Velasques, B., Ribeiro, P., Basile, L.F.H., Nitrini, R., Anghinah, R.: Improved application of paraconsistent artificial neural networks in diagnosis of alzheimer’s disease. Am. J. Neurosci. 2(1), 54–64 (2011) (Science Publications)

    Google Scholar 

  20. Mario, M.C., Abe, J.M., Ortega, N., Del Santo Jr., M.: Paraconsistent artificial neural network as auxiliary in cephalometric diagnosis. Artif. Organs 34(7), 215–221 (2010) (Wiley Interscience)

    Google Scholar 

  21. Nakamatsu, K., Abe, J.M., Suzuki, A.: Annotated semantics for defeasible deontic reasoning, rough sets and current trends in computing. Lecture Notes in Artificial Intelligence Series, pp. 470–478, Springer (2005)

    Google Scholar 

  22. Nelson, D.: Constructible falsity. J. Symb. Log. 14(1), 16–26 (1949)

    Article  MathSciNet  MATH  Google Scholar 

  23. Prado, J.P.A.(1996), Uma Arquitetura em IA Baseada em Lógica Paraconsistente, Ph.D. thesis (in Portuguese), University of São Paulo

    Google Scholar 

  24. Routley, R., Meyer, R.K., Plumwood, V., Brady, R.: Relevant Logics and its Rivals, vol. I. Ridgeview, Atascardero (1983)

    Google Scholar 

  25. Subrahmanian, V.S.: On the semantics of quantitative logic programs. In: Proceedings 4th IEEE Symposium on Logic Programming, pp. 173–182. Computer Society Press, Washington (1987)

    Google Scholar 

  26. Torres, C.R.: Sistema Inteligente Baseado na Lógica Paraconsistente Anotada Evidencial Eτ para Controle e Navegação de Robôs Móveis Autônomos em um Ambiente Não-estruturado. PhD. thesis (in Portuguese), Federal University of Itajuba, Brazil (2010)

    Google Scholar 

  27. Vasiliev, N.A.: Imaginary (non-Aristotelian) Logic. Trans. Vergauwen, R., Zaytsev, E.A. Log. et Anal. 46(182), 127–163 (2003)

    Google Scholar 

Additional Session Reading

  1. Abe, J.M.: Paraconsistent Artificial Neural Networks: An Introduction. Lecture Notes In Computer Science 3214, Springer, pp. 942–948 (2004)

    Google Scholar 

  2. Abe, J.M.: Para-Fuzzy Logic Controller. Lecture Notes In Computer Science 3214, Springer, pp. 935–941 (2004)

    Google Scholar 

  3. Abe, J.M., Akama, S.: Paraconsistent Annotated Temporal Logics D*τ, pp. 217–226. Springer, Lecture Notes in Computer Science (2000)

    MATH  Google Scholar 

  4. Abe, J.M., Da Silva Filho, J.I.: Logic, Artificial Intelligence, and Robotics, Editors, Frontiers in Artificial Intelligence and Its Applications, vol. 71, 287 pp. IOS Press, Amsterdam, Ohmsha, Tokyo (2001)

    Google Scholar 

  5. Abe, J.M., Da Silva Filho, J.I.: Advances in Logic, Artificial Intelligence, and Robotics, Editors, Frontiers in Artificial Intelligence and Its Applications, vol. 85, 277 pp. IOS Press, Amsterdan, Ohmsha, Tokyo (2002)

    Google Scholar 

  6. Abe, J.M., Nakamatsu, K., Akama, S.: Non-Alethic Reasoning in Distributed Systems. Lecture Notes In Computer Science 3684, Springer, pp. 724–731 (2005)

    Google Scholar 

  7. Abe, J.M., Ortega, N., Mário, M.C., Del Santo, Jr., M.: Paraconsistent Artificial Neural Network: An Application in Cephalometric Analysis. Lecture Notes In Computer Science 3684, Springer, pp. 716–723 (2005)

    Google Scholar 

  8. Abe, J.M., Lopes, H.F.S., Nakamatsu, K., Akama, S.: Paraconsistent Artificial Neural Networks and EEG Analysis (2010). Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, pp. LNAI 6278, 164–173 (2010)

    Google Scholar 

  9. Abe, J.M., Nakamatsu, K., Akama, S.: Monadic Curry System N1* (2010). Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, pp. LNAI 6278, 143–153. ISSN 0302-9743 (2010)

    Google Scholar 

  10. Abe, J.M., Lopes, H.F.S., Nakamatsu, K.: Paraconsistent neurocomputing and brain signal analysis, Vietnam Journal of Computer Science (2014): Print, pp. 1–12. Springer, Berlin, Heidelberg (2014). ISSN 2196-8888. doi:10.1007/s40595-014-0022-9

    Google Scholar 

  11. Akama, S., Nakamatsu, K., Abe, J.M.: Constructive Discursive Reasoning. Lecture Notes in Computer Science, Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, LNAI 6278, pp. 200–206 (2010)

    Google Scholar 

  12. Akama, S., Abe, J.M., Nakamatsu, K.: Contingent information: a four-valued approach. In: Advances in Intelligent Systems and Computing, vol. 326, pp. 209–217, Springer International Publishing (2015). ISSN 2194-5357. doi:10.1007/978-3-319-11680-8_17

    Google Scholar 

  13. Alasuutari, A., Nakamatsu, K., Abe, J.M.: Safety verification for e-business model based on paraconsistent annotated logic program bf-EVALPSN, frontiers of artificial intelligence and applications (FAIA) series. In: Proceeding of: Intelligent Decision Technologies 2014, Volume 262: Smart Digital Futures 2014, Volume: Frontiers in Artificial Intelligence and Applications, pp. 248–257, Netherlands (2014). ISSN 0922-6389 (print). doi:10.3233/978-1-61499-405-3-248

  14. Ávila, B.C., Abe, J.M., Prado, J.P.A.: ParaLog-e: a paraconsistent evidential logic programming language. In: XVII International Conference of the Chilean Computer Science Society, IEEE Computer Society Press, pp. 2–8 (1997)

    Google Scholar 

  15. Da Costa, N.C.A., O Conhecimento Científico (2000), Discurso Editorial, São Paulo

    Google Scholar 

  16. Da Costa, N.C.A., Abe, J.M., Da Silva Filho, J.I., Murolo, A., Leite, C.: Lógica Paraconsistente Aplicada (in Portuguese), Editora Atlas (1999)

    Google Scholar 

  17. Da Silva Filho, J.I., Abe, J.M.: Paraconsistent analyzer module. Int. J. Comput. Anticip. Syst. 9, 346–352 (2001)

    Google Scholar 

  18. Nakamatsu, K., Abe, J.M.: Advances in Logic-Based Intelligent Systems, Frontiers in Artificial Intelligence and Its Applications, vol. 132, 289 pp. IOS Press, Amsterdan (2005)

    Google Scholar 

  19. Nakamatsu, K., Abe, J.M.: The paraconsistent process order control method. Vietnam J. Comput. Sci. 1(1):29–37 (2014)

    Google Scholar 

  20. Nakamatsu, K., Abe, J.M.: Paraconsistent annotated logic programs and application to intelligent verification systems. Stud. Comput. Intell. (Print) 514, 279–315 (2014). ISSN: 1860-949X. doi:10.1007/s40595-013-0002-5

    Google Scholar 

  21. Nakamatsu, K., Abe, J.M., Suzuki, A.: Annotated Semantics for Defeasible Deontic Reasoning. Lecture Notes in Computer Science 2005, Springer, pp. 470–478 (2000)

    Google Scholar 

  22. Nakamatsu, K., Suito, H., Abe, J.M., Suzuki, A.: Intelligent Real-time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN. Lecture Notes in Computer Science, Springer, Heidelberg, vol. 2639, pp. 719–723 (2003)

    Google Scholar 

  23. Nakamatsu, K, Akama, S., Abe, J.M.: An Intelligent Safety Verification Based on a Paraconsistent Logic Program. Lecture Notes In Computer Science 3684, Springer, pp. 708–723 (2005)

    Google Scholar 

  24. Nakamatsu, K., Abe, J.M., Kountchev, R.: Introduction to Intelligent Elevator Control Based On EVALPSN. Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, LNAI 6278, pp. 133–142 (2010)

    Google Scholar 

  25. Nakamatsu, K., Abe, J.M., Watanabe, T.: Introduction to Intelligent Network Routing Based On EVALPSN. Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, LNAI 6278, pp. 123–132 (2010)

    Google Scholar 

  26. Nakamatsu, K., Imai, T., Abe, J.M., Watanabe, T.: Application of EVALPSN to network routing. In: Advances in Intelligent Decision Technologies, Springer, Berlin/Heidelberg, Germany, pp. 527–536 (2010)

    Google Scholar 

  27. Souza, S., Abe, J.M.: Nevus and Melanoma Paraconsistent Classification, Studies in Health Technology and Informatics, vol. 207, pp. 254–260, (print). IOS Press, Amsterdam, Holanda (2014). ISSN 0926-9630

    Google Scholar 

  28. Souza, S., Abe, J.M.: Handwritten numerical characters recognition based on paraconsistent artificial neural networks. In: Bdic et al., A. (ed.) Recent Developments in Computational Collective Intelligence, Studies in Computational Intelligence 513, pp. 93–102. © Springer International Publishing Switzerland (2014). ISSN: 1860-949X. doi:10.1007/978-3-319-01787-7_9

    Google Scholar 

  29. Sylvan, R., Abe, J.M.: On general annotated logics, with an introduction to full accounting logics. Bull. Symb. Log. 2, 118–119 (1996)

    Google Scholar 

  30. Torres, C.R., Abe, J.M., Torres, G.L., Da Silva Filho, J.I., Martins, H.G.: A Sensing System for an Autonomous Mobile Robot Based on the Paraconsistent Artificial Neural Network. Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, Germany, LNAI 6278, pp. 154–163 (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Graduate Program in Production Engineering, ICET - Paulista University, Rua. Dr. Bacelar, 1212, São Paulo, SP, CEP 04026-002, Brazil

    Jair Minoro Abe

Authors
  1. Jair Minoro Abe
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jair Minoro Abe .

Editor information

Editors and Affiliations

  1. University of Hyogo, Chuo-ku, Japan

    Kazumi Nakamatsu

  2. Technical University of Sofia, Sofia, Bulgaria

    Roumen Kountchev

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Abe, J.M. (2016). Paraconsistent Logics and Applications. In: Nakamatsu, K., Kountchev, R. (eds) New Approaches in Intelligent Control. Intelligent Systems Reference Library, vol 107. Springer, Cham. https://doi.org/10.1007/978-3-319-32168-4_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-32168-4_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-32166-0

  • Online ISBN: 978-3-319-32168-4

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation