Instituto de Computação da UFBA
Portuguese Chinese (Simplified) English Spanish

Marlo Vieira dos Santos e Souza

Professor do DCI, Dedicação Exclusiva
Departamento de Computação Interdisciplinar (DCI)
 
Titulação: 
Doutorado em Computação — Universidade Federal do Rio Grande do Sul, UFRGS com período sanduíche em Utrecht University, 2016.
Mestrado em Ciência da Computação — Pontifícia Universidade Católica do Rio Grande do Sul, PUCRS, 2012.
Graduação em Matemática — Universidade Federal da Bahia, UFBA, 2009.
Graduação em Ciência da Computação — Universidade Salvador, UNIFACS, 2008.
Linhas de Pesquisa: 
Tópicos de Interesse: 
  • Lógica
    • Lógicas Modais
    • Lógicas Epistêmicas
    • Lógicas Dinâmicas
    • Lógicas de Descrição
  • Semântica Formal
    • Semântica Formal de Linguagens de Programação
    • Semântica Formal de Sistemas Multiagentes
    • Expressividade e Complexidade de raciocínio em frameworks de representação semântica
  • Processamento de Linguagens Naturais
    • Extração de Informação
    • Etiquetação e Parsing
    • Métodos de Aprendizagem de Máquina aplicados a problemas de Linguística de Corpus
  • Agentes Inteligentes
    • Semântica Formal de programação orientada a agentes
    • Métodos lógicos em sistemas multiagentes
Grupos de Pesquisa: 
Propostas para TCC, Dissertações de Mestrado, Teses de Doutorado: 

Projects:

  • Production of educational material and preservation of indigenous languages

The present project aims to use natural language processing techniques to process indigenous and African languages, with the objective of generating educational and consultation material on these languages. Associated problems: unsupervised learning of lexicon and morphology, speech processing, automated linguistic transcription, interactive annotation of linguistic data

Proposal:

  • Aprendizado não-supervisionado de morfologia em linguagens tupianas: estudo e aplicação de métodos estatísticos e de aprendizado não supervisionado para o estudo da morfologia de linguagens tupianas
  • Anotação Automaticazada de informações linguísticas e discursivas para a língua portuguesa

O presente projeto visa desenvolver métodos robustos de anotação automatizada de informação linguística para variantes da língua portuguesa, como anotação morfossintática, anotação sintática, informação semântica ou discursiva, correção gramátical, etc.

Proposta:

  • CoGrOO - Corretor Gramátical do OpenOffice: atualizar e aperfeiçoar o corretor gramátical livre CoGrOO, investigando o aprendizado semi-supervisionado de regras gramáticas a partir de corpora anotados
  • Detecção de Paráfráse e Inferência Textual: estudar métodos baseados em semântica e pragmática de detecção de paráfrase e inferência textual
  • Mudança de Crenças em Lógicas não-clássicas

Esse projeto visa estudar a aplicação de conceitos de Mudança de crença ou Epistomologica Dinâmica para problemas de raciocínio não-monotônico em diversas lógicas não clássicas, como lógicas preferencias, lógicas de descrição, logicas paraconsistentes e lógicas de evidências. Além disso, busca-se investigar a aplicação dessas codificações à problemas em Computação, como evolução de especificações de software, conhecimento e ontologias; planejamento epistêmico e preferencial; programação orientada a agentes; etc.

Proposta:

  • Medeia: uma linguagem de programação orientada a agentes - com foco em MDA - cuja semântica formal é especificada em Lógica Dinâmica Espistêmica
  • Ontologies with non-monotonic rules: reasoning and complexity
  • Vocabulary negation for ontological agents.
Programa de Extensão: 
Informações: