Aplicação da Lógica Paraconsistentente Anotada Evidencial Eτ como apoio aos especialistas na predição de suspeitos de crime de roubo no Estado de São Paulo

Resumo (PT)

Esta pesquisa propõe desenvolver um estudo para elucidação do delito de roubo de veículo com o auxílio de teorias e técnicas de IA para a tomada de decisão na investigação policial. Utilizou-se da pesquisa exploratória levantando referências teóricas do funcionamento do sistema de segurança pública, da investigação policial, do estado da arte dos modelos de predição criminal e da Lógica Paraconsistente Anotada Evidencial Eτ. O estudo do sistema de segurança pública serviu para delimitar as atribuições das polícias, sendo que, a partir dessas atribuições que se dá a persecução penal. O estudo do funcionamento da investigação policial mostrou a importância do modus operandi do(s) autor(es) de crime para a elucidação das infrações penais e os critérios básicos suficientes para conduzir pessoa suspeita ao sistema judicial. O estudo foi feito através de um sistema especialista com o apoio de questionário aplicado a especialistas, juntamente com as informações coligidas das análises dos modus operandi, das bases de dados dos registros de ocorrência e dos antecedentes criminais. Como se sabe, ao utilizar especialistas na tomada de decisões, não raramente, eles possuem opiniões subjetivas e, também, podem perfeitamente ser conflitantes. Assim, optou-se pelo uso da Lógica Paraconsistente Anotada Evidencial Eτ como lógica subjacente aos estudos, pois tal lógica permite a representação e manipulação de dados imprecisos, contraditórios e paracompletos (falta de dados) na análise para a tomada de decisão. Assim, este trabalho destina-se analisar o uso dessa Lógica nas informações contidas nas bases de dados da Polícia Civil de São Paulo, relativas à ocorrência de roubos de veículos sob a circunscrição da Delegacia Seccional de Santo André e predizer se determinado suspeito pertence ao crime ora em investigação pelo uso de um sistema especialista baseado na Lógica Paraconsistente Anotada Evidencial Eτ, obtendo-se assim uma análise isenta de vieses subjetivos.