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.