| 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) | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |