| Apresentação |
Em diversas áreas da engenharia, as informações coletadas para a tomada de decisão por sistemas especialistas podem ser contraditórias, incertas ou contaminadas por ruído. Para atuar em situações como estas, em que a aplicação da lógica clássica não é adequada, uma família de lógicas denominadas paraconsistentes, vem sendo desenvolvidas, apresentando como principal fundamento teórico a revogação do princípio da não-contradição. O presente treinamento visa apresentar aos participantes o potencial de uso da Lógica Paraconsistente Anotada com anotação de 2 valores (LPA2v) aplicada a resolver problemas da Engenharia Moderna, além de preparar o participante para utilizar a Lógica Paraconsistente em Sistemas Especialistas de Inteligência Artificial. Este treinamento será ministrado pelo Dr. Arnaldo de Carvalho Junior do professor titular aposentado do IFSP, cofundador do EAILAB pesquisador do LabMax. |
