Sobre

Lógica, IA, PLN, Computação e Educação

Sou professor adjunto do Departamento de Computação Interdisciplinar do Instituto de Computação da Universidade Federal da Bahia trabalhando nas áreas de Teoria da Computação e Inteligência Artificial e participo do PGCOMP orientando trabalhos de mestrado e doutorado nas linhas de Computação Teórica e Aplicada, com foco em Lógica, Processamento de Linguagem Natural e Computação e Educação.

Participo dos grupos FORMAS, Onda Digital e ToLOCA com trabalhos em: Extração de Informação em Língua Portuguesa, Revisão de Crenças e Raciocínio Não-monotônico, Lógicas Dinâmicas, Formação de Professores em Computação

Endereço:
Departamento de Computação Interdisciplinar
Instituto de Computação
Pavilhão de Aulas da Federação II - PAF II
Universidade Federal da Bahia
Av. Milton Santos, CEP 40.170-110 Salvador-Ba, Brazil

Telefone: +55 71 3283-6293
Sala: 213

Pesquisa

Áreas de Interesse

  • Linhas

    • Descrição: Esse projeto investiga aplicação de ferramentas da Epistemologia Formal, Teoria da Escolha Social, Lógica Dinâmica e Representação de Conhecimento para investigar fenômenos dinâmicos em áreas como: Programação Orientada a Agentes, Ontologias, Sistemas Normativos, Especificação Formal de Software. Compreende problemas como Revisão de crença, formação/aprendizagem de conceitos, formação e derogação de normas, correção de especificações, etc.

    • Descrição: Esse projeto investiga as conexõões entre lógicas de preferência, raciocínio não-monotônico e mudança de creças e suas aplicações a problemas de planejamento (clássico, preferêncial ou hieráriquico). Compreende problemas como: planejamento epistêmico e lógicas dinâmicas, lógicas de preferências e suas conexões com planejamento, revisão de dompinios de planejamento.

    • Descrição: Esse projeto investiga mecanismos de comunicação entre agentes e suas conexões com a dinâmica de estados seus estados mentais. Compreende problemas como: modelos para teorias de atos de fala, comunicação baseada em ontologia, negociação conceitual, comunicação e decisão.

    • Descrição: Esse projeto investiga o uso de modelos e linguagens de representação de conhecimentop para interoperabildiade semântica e pragmática em sistemas computacionais, como sistemas baseados em agentes, Internet of Things, etc.

  • Linhas

    • Descrição: Esse projeto investiga métodos de extração de informação para a língua portuguesa, i.e. identificar informação estruturada em documentos na língua portuguesa. Compreende problemas como: Reconhecimento de Entidades Nomeadas, Extração de Relações, Extração de Eventos e Análise de Sentimentos.

    • Descrição: Esse projeto investiga métodos de representação e identificação do sentido de unidades linguísticas para a língua portuguesa. Compreende problemas como: Reconhecimento de parafráses, desambiguação de sentido (word sense disambiguation), modelos de representação de sentido, parsing semântico.

    • Descrição: Esse projeto investiga o desenvolvimento de métodoss e recursos linguísticos baseados em informação linguística proveniente de mais de uma linguagem natural. Compreende problemas como: construção de corpora paralelos, métodos baseados em representações multilinguais de sentido, métodos crosslíngues, preservação e processamento de linguagens com poucos recursos.

  • Linhas

    • Descrição: Estudo de Semântica Formal para linguagens de programação orientadas a agente e sistemas multiagentes. Encloga os problemas de: Especificação e Verificação Formal em Sistemas Multiagentes, Mecanismos de Racioncínio baseado em Objetivos, Lógicas dinâmicas de racionalidade prática.

    • Descrição: Estudo de métodos de aprendizagem de máquina para agentes autônomos na área de jogos e estudo de propriedades de teoria de aprendizabilidade à area de jogos.

Projetos de Pesquisa

  • Título: CLOUD SECURITY INTEROPERABLE SOCIETY: UM AMBIENTE PARA INTEROPERABILIDADE EM NUVEM - UMA EXPERIÊNCIA NO DOMÍNIO DA SEGURANÇA PÚBLICA

    Edital: FAPESB - TIC Edital 013/2015

    Membros: Daniela Barreiro Claro - coordenadora; Rita Suzana Pitangueira Maciel - Integrante; Marlo Souza - Integrante

    Descrição: .

    URL:

Alunos

  • Graduação
    • Larissa Machado (2019-Atual). Detecção de Fake news e Verificação de Fatos (Trabalho de Conclusão de Curso)
    • Allan Thales Ramos Oliveira. Detecção de Fake news e redes de desinsformação (Iniciação Científica) (2019-2021)
    • Victor Soares Cardel. Reconhecimento de Entidades Nomeadas em domínios específicos através de alinhamento de subespaços (Trabalho de Conclusão de Curso) (2019-2021)
    • Otávio Augusto Cartaxo Araújo. Inferência Textual e Detecção de Parafráses em Português (Iniciação Cient&icaute;fica) (2019-2020)
    • Fernando Medeiros (2018-2019). Como Treinar seu Parser: Classificação Sintática automatizada de textos em português (Trabalho de Conclusão de Curso) (2018-2020)
    • Victor Soares Cardel. Extração de Informação Aberta e Anotação Semâtica (Iniciação Científica) (2017-2018)
    • Fabiano Fraga. Mineração de Opiniões e Expressões Polilexicais (Iniciação Científica) (2017-2018)
  • Mestrado
    • Fabio Nascimento Santos. Reconhecimento de Entidades Noemadas em Domínios Específicos (2020-Atual)
    • Elvio Gomes. Video Game Benchmarks para Aprendizagem por reforço profunda (2019 - Atual)
    • Anderson Sacramento. Um método Computacional de Extração Automática de Eventos em Domínio Fechado na Língua Portuguesa (2019-2021)
    • Aline Meira Rocha. Anotações Semânticas em Repositórios acadêmicos: um estudo de caso com o RI UFBA (2017-2020)
    • Leandro Pereira Sanches. Anotação Semiautomática de Objetos de Aprendizagem em Português. (2017-2019)
  • Doutorado
    • Laécio Araújo Costa. SAPES: Uma arquitetura de avaliação do desempenho acadêmico na Educação a Distância baseada em Learning Analytics e Ontologias (2018-2021)

Eventos

  • XX Encontro Brasileiro de Lógica - Organizador
  • TeoComp-NE 2020 - Organizador
  • LSFA 2019 - Organizador
  • TeoComp-NE 2019 - Organizador

Ensino

Disciplinas comumente ministradas por mim

MATE82 - Tópicos em Fundamentos da Computação

Tópicos avançados em Teoria da Computação, Lógica e Combinatória

Extensão

Projetos de extensao em que participei

Logo do Projeto NUSOL

NuSoL - Núcleo de Difusão e Desenvolvimento de Software Livre

Criado em 2004, sob a coordenação do Departamento de Ciência da Computação do Instituto de Matemática e Estatística da UFBA , o Programa Onda Digital (POD) configura-se como um programa permanente de extensão com a missão de contribuir com a inclusão sociodigital na Bahia, envolvendo a Universidade em ações educativas e de difusão da filosofia do Software Livre (SL). Enquanto, com suas ações educativas, o POD contribuiu com a difusão do uso de software livre na Bahia, poucas ações foram ainda realizadas a fim de fomentar o seu desenvolvimento. Considerando o impacto social que soluções livres podem trazer à comunidade, acreditamos que o desenvolvimento de um ecossitema de produção de SL focado em aplicações de interesse social é de grande importância para a comunidade baiana. Esta proposta tem, então, o objetivo de fortalecer a atuação do Programa Onda Digital no uso e desenvolvimento de softwares livres no Estado.

Publicações

Abaixo segue uma lista não exaustiva de publicações recentes.

Periódicos

Conferências