Skip to main content
SpringerLink
Log in

The Importance of Paraconsistency and Paracompleteness in Intelligent Systems

  • Conference paper
  • First Online:
Intelligent Decision Technologies 2017 (IDT 2017)

Part of the book series: Smart Innovation, Systems and Technologies ((SIST,volume 73))

Included in the following conference series:

Abstract

Nowadays, paraconsistent logic and paracomplete logic have established a distinctive position in a variety of fields of knowledge. The last systems are among the most original and imaginative systems of non-classical logic developed in the last and present century. Annotated logics are a kind of paraconsistent, paracomplete, and non-alethic logic.

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 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. Abe, J.M.: Fundamentos da lógica anotada (Foundations of annotated logics). Ph.D. thesis, University of São Paulo, São Paulo (1992, in Portuguese)

    Google Scholar 

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

    MATH  Google Scholar 

  3. Pimenta Jr., A.P., Abe, J.M., Oliveira, C.C.: An analyzer of computer network logs based on paraconsistent logic. In: Umeda, S. et al. (eds.) APMS 2015, Part II, IFIP AICT, vol. 460, pp. 620–627. Springer, Cham (2015)

    Chapter  Google Scholar 

  4. Pimenta Jr., A.P., Abe, J.M., Silva, G.C.: Determination of operating parameters and performance analysis of computer networks with paraconsistent annotated evidential logic Eτ. In: Nääs, I. et al. (eds) APMS 2016, IFIP AICT, vol. 488, pp. 3–11. Springer, Cham (2016)

    Chapter  Google Scholar 

  5. Tavares, P.F., Silva, G.C., Sakamoto, L., Abe, J.M., Pimenta, A.P.: IT incident management and analysis using non-classical logics. In: Nääs, I. et al. (eds) APMS 2016, IFIP AICT, vol. 488, pp. 20–27. Springer, Cham (2016)

    Chapter  Google Scholar 

  6. Reis, N.F., Oliveira, C.C., Sakamoto, L., Lira, A.G., Abe, J.M.: Paraconsistent Method of Prospective Scenarios (PMPS). In: Grabot, B., Vallespir, B., Gomes, S., Bouras, A., Kiritsis, D. (eds) APMS 2014, Part I, IFIP AICT, vol 438, pp. 76–84. Springer, Heidelberg (2014)

    Google Scholar 

  7. Oliveira, R.A.B., Abe, J.M., Rocco, A., Mario, M.C., da Silva Filho, J.I.: Modelo de Controle Adaptativo de Excitação de Gerador Síncrono Baseado em Lógica Paraconsistente, Science and Technology, vol. 5, pp. 182–192 (2016)

    Google Scholar 

  8. Da Silva Filho, J.I., Torres, G.L., Abe, J.M.: Uncertainty treatment using paraconsistent logic - introducing paraconsistent artificial neural networks, vol. 211. IOS Press (2011). doi:10.3233/978-1-60750-558-7-I

  9. Da Silva Filho, J.I., Nunes, V.C., Garcia, D.V.N., Mario, M.C., Giordano, F., Abe, J.M. Pacheco, M.T.T., Silveira Jr., L.: Paraconsistent analysis network applied in the treatment of Raman spectroscopy data to support medical diagnosis of skin cancer. Med. Biol. Eng. Comput. 54, 1–15 (2016). Springer. doi:10.1007/s11517-016-1471-3

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

    Google Scholar 

  11. Abe, J.M., Akama, S., Nakamatsu, K.: Introduction to annotated logics - foundations for paracomplete and paraconsistent reasoning. Intelligent Systems Reference Library, vol. 88. Springer, Berlin (2015). doi:10.1007/978-3-319-17912-4

  12. Abe, J.M.: Paraconsistent intelligent based-systems: new trends in the applications of paraconsistency. In: Abe, J.M.(ed.) Intelligent Systems Reference Library, vol. 94. Springer, Cham (2015). doi:10.1007/978-3-319-19722-7

    Google Scholar 

  13. Akama, S.: Towards paraconsistent engineering. In: Akama, S. (ed.) Intelligent Systems Reference Library, vol. 110. Springer, Cham (2016). doi:10.1007/978-3-319-40418-9

    Google Scholar 

  14. Abe, J.M., Lopes, H.F.S., Anghinah, R.: Paraconsistent artificial neural network and alzheimer disease: a preliminary study. Dement. Neuropsychol. 1(3), 241–247 (2007)

    Article  Google Scholar 

  15. 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. 34(6), 1073–1081 (2009). doi:10.1007/s10916-009-9325-2

    Article  Google Scholar 

  16. Carvalho, F.R., Abe, J.M.: A simplified version of the fuzzy decision method and its comparison with the paraconsistent decision method. In: AIP Conference Proceedings, vol. 1303, pp. 216–235 (2010). doi:10.1063/1.3527158

  17. Carvalho, F.R., Brunstein, I., Abe, J.M.: Decision making method based on paraconsistent annotated logic and statistical method: a comparison, computing anticipatory systems. In: Dubois, D. (ed.) American Institute of Physics, Melville, vol. 1051, pp. 195–208 (2008). doi:10.1063/1.3020659

  18. Nakamatsu, K., Kountchev, R.: New approaches in intelligent control, techniques, methodologies and applications. In: Nakamatsu, K., Kountchev, R. (eds.) Intelligent Systems Reference Library, vol. 107. Springer International Publishing, Cham (2016)

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Jair M. Abe

  2. Institute for Advanced Studies, University of São Paulo, São Paulo, Brazil

    Jair M. Abe

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

    Kazumi Nakamatsu

  4. C-Republic, Tokyo, Japan

    Seiki Akama

  5. Santa Cecília University, Santos, Brazil

    João I. S. Filho

Authors
  1. Jair M. Abe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kazumi Nakamatsu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Seiki Akama
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. João I. S. Filho
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jair M. Abe .

Editor information

Editors and Affiliations

  1. Maritime University , Gdynia, Poland

    Ireneusz Czarnowski

  2. Bournemouth University and KES International, Poole, Dorset, United Kingdom

    Robert J. Howlett

  3. University of Canberra, Canberra, Aust Capital Terr, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Cite this paper

Abe, J.M., Nakamatsu, K., Akama, S., Filho, J.I.S. (2018). The Importance of Paraconsistency and Paracompleteness in Intelligent Systems. In: Czarnowski, I., Howlett, R., Jain, L. (eds) Intelligent Decision Technologies 2017. IDT 2017. Smart Innovation, Systems and Technologies, vol 73. Springer, Cham. https://doi.org/10.1007/978-3-319-59424-8_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-59424-8_18

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-59423-1

  • Online ISBN: 978-3-319-59424-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation