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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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)
Abe, J.M.: Some aspects of paraconsistent systems and applications. Logique et Analyse 15, 83–96 (1997)
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)
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)
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)
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)
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)
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
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
Sylvan, R., Abe, J.M.: On general annotated logics, with an introduction to full accounting logics. Bull. Symbolic Logic 2, 118–119 (1996)
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
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
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
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)
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
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
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
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)