Marlo Vieira dos Santos e Souza

-
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
Projetos:
- Produção de material educativo e preservação de linguas indígenas
O presente projeto tem como objetivo utilizar técnicas de processamento de linguagem natural para processamento de línguas indigenas e africanas, com o objetivo de gerar material educativo e de consulta sobre essas linguages. Problemas associadas: aprendizagem não-supervisionada de léxico e morfologia, processamento de fala, transcrição linguistica automatizada, anotação interativa de dados linguísticos
Proposta:
- 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
- Ontologias com regras não monotônicas: raciocínio e complexidade
- Negicação de vocabulário para agentes ontolgógicos.
- Google Scholar: Marlo Souza
- cv: lattes cnpq
- e-mail: msouza1 (at) ufba.br
- telefone: +55 71 3283-6293
- escritório: Sala 280 - IM - UFBA