Abstract
The authors analyse the contribution of the logical treatment of the concepts of inconsistency and paracompleteness to better understand AI’s current state of development. In particular, the relationship between Artificial Intelligence and a new type of logic, called Paraconsistent Annotated Logic, which effectively manipulates the above concepts, both computationally and in its use in Hardware, is considered.
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
da Costa, N. C. A.: Logiques Classiques et Non Classiques: Essai sur les fondements de la logique, Masson, p. 275. ISBN-10: 2225852472, ISBN-13: 978-2225852473 (1997)
Abe, J. M., Akama, S., Nakamatsu, K.: Introduction to Annotated Logics—Foundations for Paracomplete and Paraconsistent Reasoning, Series Title Intelligent Systems Reference Library, vol. 88, p. 190. Publisher Springer International Publishing, Copyright Holder Springer International Publishing Switzerland, eBook ISBN 978-3-319-17912-4. https://doi.org/10.1007/978-3-319-17912-4, Hardcover ISBN 978-3-319-17911-7, Series ISSN 1868-4394, Edition Number 1 (2015)
Enriques, F.: Per la Storia della Logica, Zanichelli, Bolonha (1922)
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 (in Portuguese), University of São Paulo, Doctor Thesis, São Paulo (1999)
Torres, C.R., Abe, J.M., Lambert-Torres, G., da Silva Filho, J.I., Martins, H.G.: Autonomous Mobile Robot Emmy iii, pp. 317–327. New Advances in Intelligent Decision Technologies, Springer, Berlin, Heidelberg (2009)
Bernardini, F., da Silva, M., Abe J.M.: Application of Paraconsistent Annotated Evidential Logic Eτ for a Terrestrial Mobile Robot to Avoid Obstacles, Procedia Computer Science, vol. 192, pp. 1821–1830. ISSN 1877-0509 (2021)
Campolina, A.G, Estevez-Diz, M.D.P., Abe, J.M., de Soárez, P.C.: Multiple Criteria Decision Analysis (MCDA) for Evaluating Cancer Treatments in Hospital-Based Health Technology Assessment: The Paraconsistent Value Framework. PLoS ONE 17(5) (2022)
Abe, J.M.: Paraconsistent Intelligent-Based Systems: New Trends in the Applications of Paraconsistency, p. 94. Springer (2015)
Akama, S.: Towards Paraconsistent Engineering, Intelligent Systems Reference Library, vol. 110, p. 234. Springer International Publishing (2016). ISBN: 978-3-319-40417-2 (Print) 978-3-319-40418-9 (Online), Series ISSN 1868-4394
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Abe, J.M., I. da Silva Filho, J., Nakamatsu, K. (2023). Paraconsistency and Paracompleteness in AI: Review Paper. In: Nakamatsu, K., Patnaik, S., Kountchev, R., Li, R., Aharari, A. (eds) Advanced Intelligent Virtual Reality Technologies. Smart Innovation, Systems and Technologies, vol 330. Springer, Singapore. https://doi.org/10.1007/978-981-19-7742-8_1
Download citation
DOI: https://doi.org/10.1007/978-981-19-7742-8_1
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-19-7741-1
Online ISBN: 978-981-19-7742-8
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)