Caracterização e classificação de padrões de dados numéricos utilizando a Lógica Paraconsistente Anotada e o conceito da contradição
DOI:
https://doi.org/10.33448/rsd-v10i13.20830Palavras-chave:
Lógica Paraconsistente Anotada; Aprendizado de máquina; Classificação de padrões; Modelo matemático; Efeito da contradição.Resumo
Este trabalho descreve o desenvolvimento de um modelo matemático computacional que utiliza a Lógica Paraconsistente Anotada - LPA e um conceito derivado dela, o efeito da contradição, para identificar padrões em dados numéricos para fins de classificação de padrões. A LPA admite princípios lógicos paraconsistentes e paracompletos, que permitem a manipulação de dados inconsistentes e contraditórios, e sua utilização permitiu a identificação e quantização do atributo relacionado à contradição. Para validação do modelo, foram utilizadas séries de espectroscopias Raman obtidas após exposição de proteínas, lipídios e ácidos nucléicos, coletados de amostras de células de tecido cutâneo previamente examinadas para detecção de lesões cancerígenas, identificadas como: carcinoma basal, melanoma e normal. Inicialmente foram identificados e quantizados os atributos relacionados à contradição, derivada e mediana obtidos das espectroscopias. Um processo de aprendizado de máquina com aproximadamente 31,6% de cada tipo de amostras detecta uma sequência de espectroscopias capaz de caracterizar e classificar o tipo de lesão por meio dos atributos escolhidos. Aproximadamente 68,4% das amostras são utilizadas para os testes de classificação. O modelo proposto identificou um segmento de espectroscopias onde a classificação das amostras de teste teve uma taxa de acerto de 76,92%. Como diferencial e inovação deste trabalho destaca-se a utilização dos princípios da LPA em um processo completo de treinamento, aprendizado e classificação de padrões para conjuntos de dados numéricos, com flexibilidade para escolher os atributos utilizados para a caracterização de padrões, e uma quantidade de amostras de cerca de um terço do total necessário para a caracterização.
Referências
Baranauskas, J. A. & Monard, M. C. (2000). “Reviewing some Machine Learning Concepts and Methods”. Relatório Técnico 102, Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos. ftp://ftp.icmc.usp.br/pub/BIBLIOTECA/rel_tec/RT_102.ps.zip.
Carnielli, W. & Coniglio, M. (2018). “Paraconsistent Logic: consistency, contradiction and negation. Logic, epistemology, and the unity of science series”. Springer – Book Review. 42, 2. https://doi.org/10.1590/0100-6045.2018.V41N2.HV.
Carvalho Jr., A., Da Silva Filho, J. I., Mario, M.C., Blos, M. F. & Cruz, C. M. (2018). ”A Study of Paraconsistent Artificial Neural Cell of Learning Applied as PAL2v Filter”. IEEE Latin America Transactions. 16, 202-209, Issue 1, ISSN 1548-0992.
Coelho, M. S., Da Silva Filho, J. I., Cortes, H. M., Carvalho Jr., A., Blos, M. F., Mario, M.C. & Rocco, A. (2019). “Hybrid PI controller constructed with Paraconsistent Annoted Logic”. Control Engineering Practice. 84, 112-124,
Da Costa, N. C. A., Subrahmanian, V. S. & Vago, C. (1991). ”The Paraconsistent Logic PT”. Zeitschrift für mathematische Logik und Grundlagen der Mathematik. 37, 139-148.
Da Costa, N. C. A., & De Ronde, C. (2013).” The Paraconsistent Logic of Quantum Superpositions”. Foundations of Physics. 43, Issue 7, 845-858.
Da Silva Filho. (2016) “Undulatory Theory with Paraconsistent Logic (Part I): Quantum Logical Model with Two Wave Functions”. Journal of Quantum Information Scienc. 6, 3p. 10.4236/jqis.2016.63012.
Da Silva Filho, J. I., Abe, J. M. (2001). “Emmy: a paraconsistent autonomous mobile robot, in Logic, Artificial Intelligence, and Robotics”. Proc. 2nd Congress of Logic Applied to Technology. LAPTEC’ 2001. J. M. Abe; J. I. Da Silva Filho (editores.), Frontiers in Artificial Intelligence and Its Applications, IOS Press, Amsterdam, Ohmsha, Tókio. 71, 287p
Da Silva Filho, J. I., Abe, J. M. & Torres, G. L. (2008). "Artificial Intelligence with Paraconsistent Analysis Networks - Theory and Applications". Rio de Janeiro, Brasil, Editora LTC.
Da Silva Filho, J. I., Torres, L., Ferrara, L. F. P., Mario, M. C., Santos, M. R., Onuki, A.S., Camargo, J. M. & Rocco, A. (2011). “Paraconsistent Algorithm Extractor of Contradiction Effects”. Jornal of Software Engineering and Applications. 1, 579-584.
Da Silva Filho, J. I., Nunes, C. V., Garcia, D. V., Mario, M.C., Giordano, F., Abe, J. M., Pacheco, M. T. T. & Silveira Jr., L. (2016). “Paraconsistent analysis network applied in the treatment of Raman spectroscopy data to support medical diagnosis of skin cancer”. Medical & Biological Engineering & Computing. 54, 1-15.
Faceli, K., Lorena, A. C., Gama, J. & De Carvalho, A. C. P. L. F. (2019). “Inteligência Artificial – Uma Abordagem de Aprendizado de Máquina”. Rio de Janeiro, Brasil, Editora LTC.
Garcia, D. V., Da Silva Filho, J. I., Silveira Jr., L., Pacheco, M. T. T., Abe, J. M., Carvalho Jr., A., Blos, M. F., Pasqualucci, C. A. G. & Mario, M.C. (2019). “Analysis of Raman spectroscopy data with algorithms based on Paraconsistent Logic for characterization of skin cancer lesions”. Vibrational Spectroscopy. 103, art. number 102929.
Larson, R., Farber, B. (2010). “Estatística Aplicada”. (4a ed.), Editora Pearson Prentice Hall, São Paulo.
Mario, M. C. (2003). “Proposal for the Application of Paraconsistent Artificial Neural Networks as a Signal Classifier using Functional Approach” - Master's Dissertation-UFU, Uberlândia-MG.
Mario, M.C., Abe, J. M., Ortega, N. R. S. & Del Santo Jr., M. (2010). “Paraconsistent Neural Networks as cephalometric diagnosis”: Artificial Organs. 34, serial 7, E215.
Martinez, A. A. G., Minoro, J. A., De Lima, L. A., De Souza, J. S., Bernardini, F. A., De Souza, N. A. & Sakamoto, L. S. (2021). “PANN Component for use in Pattern Recognition in medical diagnostics decision-makin”. 25th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. 192, 1750–1759.
Norihiro, K. & Heinrich, W. (2012). “Proof theory of Nelson’s paraconsistent logic: A uniform perspective”. Theoretical Computer Science. 415, 1-38. https://doi.org/10.1016/j.tcs.2011.11.001. https://www.sciencedirect.com/science/article/pii/S0304397511008978.
Priest, G. (2002). “Paraconsistent Logic”. In: Gabbay D.M., Guenthner F. (eds) Handbook of Philosophical Logic. Handbook of Philosophical Logic, 6. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0460-1_4.
Silveira Jr., L., Silveira, F. L., Bodanese, B., Zângaro, R. A. & Pacheco, M. T. T. (2012). “Discriminating model for diagnosis of basal cell carcinoma and melanoma in vitro based on the Raman spectra of selected biochemical.” Journal of Biomedical Optics. 17, 7p.
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Copyright (c) 2021 Mauricio Conceição Mario; Dorotéa Vilanova Garcia; João Inácio da Silva Filho; Landulfo Silveira Júnior; Heraldo Silveira Barbuy
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.
Autores que publicam nesta revista concordam com os seguintes termos:
1) Autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Attribution que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.
2) Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.
3) Autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou na sua página pessoal) a qualquer ponto antes ou durante o processo editorial, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado.