Localizando a inconsistência

• Processo: 23/01165-5
• Modalidade de apoio: Bolsas no Exterior - Pesquisa
• Data de Início da vigência: 01 de agosto de 2023
• Data de Término da vigência: 31 de janeiro de 2024
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação
• Pesquisador responsável: Glauber De Bona
• Beneficiário: Glauber De Bona
• Pesquisador Anfitrião: Anthony Hunter
• Instituição Sede: Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Instituição Anfitriã: University College London (UCL), Inglaterra
• Assunto(s): Cálculo proposicional Inteligência artificial
• Palavra(s)-Chave do Pesquisador: inconsistência | localizando a inconsistência | Lógica Proposicional | Inteligência Artificial

Resumo

Em Inteligência Artificial, é comum nos depararmos com a inconsistência, daí a importância do seu tratamento. Quando lidamos com informações inconsistentes, nos interessa analisar tal inconsistência. Como usualmente nem todas as partes colaboram para a inconsistência de um todo, essa análise começa com uma pergunta crucial: "onde está a inconsistência?" ou, mais precisamente, "que partes estão de fato em conflito?". Responder a esta pergunta é fundamental na restauração da consistência, permitindo focar nas partes problemáticas; por exemplo, identificando as fontes de informação (peritos, sensores, etc.) não confiáveis. Na lógica clássica, conjuntos inconsistentes minimais (ou conflitos minimais) têm sido tipicamente a única solução para o problema de apontar quais subconjuntos estão causando a inconsistência; e, de fato, são suficientes em boa parte dos contextos. No entanto, recentemente foram propostos conflitos-*, uma definição de conflito mais apropriada para determinados cenários, onde focar nos conflitos minimais pode levar a resultados indesejados. Conflitos-* são apenas uma primeira tentativa de generalizar os conflitos minimais e não pretendem ser uma solução definitiva. De fato, neste projeto pretendemos explorar uma nova definição de conflito, que chamamos de conflitos subminimais. Mais importante, para avaliar e comparar as diferentes maneiras de se localizar a inconsistência, este projeto tem por objetivo propor propriedades desejáveis para as definições de conflito correspondentes. Pretendemos então estudar a compatibilidades destas propriedades e usá-las para guiar a formulação de novas noções de conflito. Em particular, estudaremos também a complexidade computacional destes métodos, mirando sua aplicabilidade a problema reais. (AU)