| Código do Projeto | PJ9538 |
|---|---|
| Coordenador | Jefferson O. Andrade |
| Título | Verificação de Consistência em Sistemas de IA Neuro-Simbólica |
| Palavras Chave | IA Neuro-Simbólica, Confiabilidade (Trustworthiness), Verificação Formal, Métodos Formais, Lógica Formal, Segurança em IA |
| Grupo de Pesquisa | Nu(TeC)² - Núcleo de estudos em Teoria da Computação e Técnicas de Computação |
| Grupo de Pesquisa Externo | |
| Linha de Pesquisa | Métodos Formais; Inteligência Artificial |
| Inicio | 01/09/2026 |
| Fim | 31/08/2027 |
| Área de Conhecimento | Ciência da Computação |
| Local de Execução | Serra |
| Tipo de Projeto | Iniciação Científica/Tecnológica |
| Natureza | Pesquisa Básica |
| Parceiro Demandante | |
| Nº Parecer CEP | |
| Nº Certificado CEUA |
Financiamentos
| Ano | Tipo | Origem | Destino | Categoria | Quantidade | Duração/Mês | Valor Unitário | Valor Total |
|---|---|---|---|---|---|---|---|---|
| Nenhum Financiamento Cadastrado | ||||||||
Equipe
| Tipo | Nome | Nível Escolar | Unidade | Início | Fim |
|---|---|---|---|---|---|
| Pesquisador | Jefferson O. Andrade Lattes | Doutorado | Serra | 01/09/2026 | 31/08/2027 |
Planos de Trabalho
| Código | Título | Área de Conhecimento |
|---|---|---|
| PT19396 | Especificação Lógica de Regras de Segurança em IA | Ciência da Computação |
| PT19397 | Avaliação Experimental de Consistência Simbólica | Ciência da Computação |
Orientações
| Nenhuma Orientação Cadastrada |
