André Gustavo Andrade...
Interesses
Home

Ensino

Publicações

Pesquisa

Atividades Acadêmicas
 
...
Lógicas:

O que são?

Especificamente me interesso por lógicas relacionadas aos cálculos de processos e raciocínio sobre conhecimento, bem como revisão de crenças. Assim me interesso por modelos AGM, Lógicas Temporas (ACTL,TLA+), Lógicas de Conhecimento, Estruturas de Kripke, dentre outras.

Referências:

  • Wasserman, Renata foi minha professora e é uma grande pesquisadora na área de revisão de crenças e raciocínio sobre conhecimento.
  • TLA Tools Ferramentas da Microsoft e Compaq desenvolvida por Lamport. Uma boa fonte para o aprendizado de TLA.
Meu trabalho na área:
  • Implementação de um programa de diagnóstico baseado no algoritmo de Reiter.
  • Estudo das lógicas ACTL e TLA para uso em Pi-calculus (Jack, Spin, EST, etc).
  • Descrição lógica de alguns agentes biológicos.